runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108300820/aspuncud-user-1.0/deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf.dudf-real.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-real//deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf /home/misc2010/tmp/201108300820/aspuncud-user-1.0/deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf.dudf-real.result +sum(installedsize) Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.06 1.06 1.02 1/35 17195 /proc/meminfo: memFree=948976/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=3020 CPUtime=0 /proc/17195/stat : 17195 (runsolver) D 17194 17195 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 25 0 1 0 58864833 3092480 94 1283457024 134512640 134586868 4294058016 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/17195/statm: 755 94 62 19 0 54 0 [startup+0.167976 s] /proc/loadavg: 1.06 1.06 1.02 1/35 17195 /proc/meminfo: memFree=948976/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=0 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 1520 0 3 0 0 0 0 25 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.207977 s] /proc/loadavg: 1.06 1.06 1.02 1/35 17195 /proc/meminfo: memFree=948976/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=0 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 1520 0 3 0 0 0 0 25 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.311979 s] /proc/loadavg: 1.06 1.06 1.02 1/35 17195 /proc/meminfo: memFree=948976/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=0 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 1520 0 3 0 0 0 0 25 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+0.712089 s] /proc/loadavg: 1.06 1.06 1.02 1/35 17195 /proc/meminfo: memFree=948976/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=0 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 1520 0 3 0 0 0 0 25 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2592 [startup+1.51232 s] /proc/loadavg: 1.06 1.06 1.02 2/39 17206 /proc/meminfo: memFree=920724/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=0 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 1520 0 3 0 0 0 0 25 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=6132 CPUtime=0.01 /proc/17204/stat : 17204 (unclasp) S 17195 17195 2160 34817 2160 4202496 1092 0 6 0 1 0 0 0 18 0 1 0 58864839 6279168 963 1283457024 134512640 135121179 4293050480 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/17204/statm: 1533 963 275 149 0 724 0 [pid=17205] ppid=17195 vsize=6272 CPUtime=0.09 /proc/17205/stat : 17205 (gringo) R 17195 17195 2160 34817 2160 4202496 1455 0 23 0 9 0 0 0 18 0 1 0 58864839 6422528 1075 1283457024 134512640 137056543 4288289696 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17205/statm: 1568 1075 253 622 0 943 0 [pid=17206] ppid=17195 vsize=27588 CPUtime=1.16 /proc/17206/stat : 17206 (cudf2lp) R 17195 17195 2160 34817 2160 4202496 8918 0 15 0 112 4 0 0 25 0 1 0 58864839 28250112 6666 1283457024 134512640 135786343 4289260800 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0 /proc/17206/statm: 6897 6666 139 311 0 6584 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 42584 [startup+3.11284 s] /proc/loadavg: 1.06 1.06 1.02 3/39 17206 /proc/meminfo: memFree=890840/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=0 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 1520 0 3 0 0 0 0 25 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=27964 CPUtime=0.12 /proc/17204/stat : 17204 (unclasp) S 17195 17195 2160 34817 2160 4202496 7562 0 6 0 9 3 0 0 18 0 1 0 58864839 28635136 6369 1283457024 134512640 135121179 4293050480 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/17204/statm: 6991 6369 275 149 0 6182 0 [pid=17205] ppid=17195 vsize=40928 CPUtime=1.32 /proc/17205/stat : 17205 (gringo) S 17195 17195 2160 34817 2160 4202496 12477 0 23 0 126 6 0 0 18 0 1 0 58864839 41910272 7764 1283457024 134512640 137056543 4288289696 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/17205/statm: 10232 7764 253 622 0 9607 0 [pid=17206] ppid=17195 vsize=27588 CPUtime=1.43 /proc/17206/stat : 17206 (cudf2lp) R 17195 17195 2160 34817 2160 4202496 8918 0 15 0 139 4 0 0 25 0 1 0 58864839 28250112 6666 1283457024 134512640 135786343 4289260800 18446744073709551615 135174814 0 0 6 0 0 0 0 17 0 0 0 0 /proc/17206/statm: 6897 6666 139 311 0 6584 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 99072 [startup+6.31374 s] /proc/loadavg: 1.13 1.07 1.02 2/37 17206 /proc/meminfo: memFree=886036/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=64892 CPUtime=2.1 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 35332 0 7 0 199 11 0 0 20 0 1 0 58864839 66449408 14958 1283457024 134512640 135121179 4293050480 18446744073709551615 134734450 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 16223 14958 319 149 0 15414 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 67484 [startup+12.7058 s] /proc/loadavg: 1.12 1.07 1.02 2/37 17207 /proc/meminfo: memFree=886416/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=64896 CPUtime=8.49 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 117569 0 7 0 801 48 0 0 25 0 1 0 58864839 66453504 14963 1283457024 134512640 135121179 4293050480 18446744073709551615 4159386693 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 16224 14963 319 149 0 15415 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 67488 [startup+25.5098 s] /proc/loadavg: 1.09 1.06 1.02 2/37 17208 /proc/meminfo: memFree=883316/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=65680 CPUtime=21.28 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 266546 0 7 0 2020 108 0 0 25 0 1 0 58864839 67256320 15174 1283457024 134512640 135121179 4293050480 18446744073709551615 134981267 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 16420 15174 321 149 0 15611 0 Current children cumulated CPU time (s) 25.24 Current children cumulated vsize (KiB) 68272 [startup+51.1073 s] /proc/loadavg: 1.06 1.06 1.02 2/37 17211 /proc/meminfo: memFree=886168/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=63904 CPUtime=46.86 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 558660 0 7 0 4456 230 0 0 25 0 1 0 58864839 65437696 14751 1283457024 134512640 135121179 4293050480 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 15976 14751 321 149 0 15167 0 Current children cumulated CPU time (s) 50.82 Current children cumulated vsize (KiB) 66496 [startup+102.306 s] /proc/loadavg: 1.02 1.05 1.02 2/36 17213 /proc/meminfo: memFree=886060/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=63916 CPUtime=98.04 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 1211057 0 7 0 9306 498 0 0 25 0 1 0 58864839 65449984 14785 1283457024 134512640 135121179 4293050480 18446744073709551615 134734477 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 15979 14785 321 149 0 15170 0 Current children cumulated CPU time (s) 102 Current children cumulated vsize (KiB) 66508 [startup+162.306 s] /proc/loadavg: 1.01 1.04 1.01 2/35 17213 /proc/meminfo: memFree=885572/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=63928 CPUtime=157.96 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 1984186 0 7 0 14955 841 0 0 25 0 1 0 58864839 65462272 14820 1283457024 134512640 135121179 4293050480 18446744073709551615 134734310 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 15982 14820 321 149 0 15173 0 Current children cumulated CPU time (s) 161.92 Current children cumulated vsize (KiB) 66520 [startup+222.307 s] /proc/loadavg: 1.00 1.03 1.00 2/35 17213 /proc/meminfo: memFree=885076/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=66116 CPUtime=217.9 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 2752093 0 7 0 20612 1178 0 0 25 0 1 0 58864839 67702784 15391 1283457024 134512640 135121179 4293050480 18446744073709551615 134981267 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 16529 15391 321 149 0 15720 0 Current children cumulated CPU time (s) 221.86 Current children cumulated vsize (KiB) 68708 [startup+282.309 s] /proc/loadavg: 1.00 1.02 1.00 2/35 17213 /proc/meminfo: memFree=880860/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=69056 CPUtime=277.84 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 3521741 0 7 0 26272 1512 0 0 25 0 1 0 58864839 70713344 16183 1283457024 134512640 135121179 4293050480 18446744073709551615 134734273 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 17264 16183 323 149 0 16455 0 Current children cumulated CPU time (s) 281.8 Current children cumulated vsize (KiB) 71648 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.612 s] /proc/loadavg: 1.00 1.02 1.00 2/35 17213 /proc/meminfo: memFree=875156/1048576 swapFree=0/0 [pid=17195] ppid=17194 vsize=2592 CPUtime=3.96 /proc/17195/stat : 17195 (aspuncud-user-1) S 17194 17195 2160 34817 2160 4202496 568 37610 0 41 0 0 374 22 18 0 1 0 58864833 2654208 298 1283457024 134512640 135304128 4291952368 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/17195/statm: 648 298 251 194 0 35 0 [pid=17204] ppid=17195 vsize=73832 CPUtime=286.13 /proc/17204/stat : 17204 (unclasp) R 17195 17195 2160 34817 2160 4202496 3627155 0 7 0 27057 1556 0 0 25 0 1 0 58864839 75603968 17346 1283457024 134512640 135121179 4293050480 18446744073709551615 134873584 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/17204/statm: 18458 17346 323 149 0 17649 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 76424 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 290.654 CPU time (s): 290.134 CPU user time (s): 274.321 CPU system time (s): 15.813 CPU usage (%): 99.8211 Max. virtual memory (cumulated for all children) (KiB): 144480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 274.321 system time used= 15.813 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3667708 page faults= 50 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4267 involuntary context switches= 6783 runsolver used 0 second user time and 0 second system time The end