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/201108251442/aspuncud-paranoid-1.3/rand192.cudf.dudf-random.log.runsolver ./aspuncud-paranoid-1.3 /home/misc2010/data/2011/dudf-random//rand192.cudf /home/misc2010/tmp/201108251442/aspuncud-paranoid-1.3/rand192.cudf.dudf-random.result 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: 0.74 0.19 0.06 1/34 4929 /proc/meminfo: memFree=337732/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=3024 CPUtime=0 /proc/4929/stat : 4929 (runsolver) D 4928 4929 4778 34817 4778 4202560 73 0 0 0 0 0 0 0 25 0 1 0 9944050 3096576 94 1283457024 134512640 134586868 4291347936 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/4929/statm: 756 94 62 19 0 55 0 [startup+0.155068 s] /proc/loadavg: 0.74 0.19 0.06 1/34 4929 /proc/meminfo: memFree=337732/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=0.01 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 2937 0 0 0 0 0 1 25 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+0.20707 s] /proc/loadavg: 0.74 0.19 0.06 1/34 4929 /proc/meminfo: memFree=337732/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=0.01 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 2937 0 0 0 0 0 1 25 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+0.309126 s] /proc/loadavg: 0.74 0.19 0.06 1/34 4929 /proc/meminfo: memFree=337732/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=0.01 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 2937 0 0 0 0 0 1 25 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+0.709203 s] /proc/loadavg: 0.74 0.19 0.06 1/34 4929 /proc/meminfo: memFree=337732/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=0.01 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 2937 0 0 0 0 0 1 25 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2588 [startup+1.50999 s] /proc/loadavg: 0.76 0.20 0.07 2/38 4946 /proc/meminfo: memFree=319852/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=0.01 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 2937 0 0 0 0 0 1 25 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 [pid=4944] ppid=4929 vsize=3448 CPUtime=0 /proc/4944/stat : 4944 (unclasp) S 4929 4929 4778 34817 4778 4202496 403 0 5 0 0 0 0 0 25 0 1 0 9944052 3530752 272 1283457024 134512640 135121179 4286923696 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/4944/statm: 862 272 240 149 0 53 0 [pid=4945] ppid=4929 vsize=2692 CPUtime=0 /proc/4945/stat : 4945 (gringo) S 4929 4929 4778 34817 4778 4202496 388 0 22 0 0 0 0 0 23 0 1 0 9944052 2756608 281 1283457024 134512640 137056543 4286929616 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/4945/statm: 673 281 252 622 0 48 0 [pid=4946] ppid=4929 vsize=25008 CPUtime=1.27 /proc/4946/stat : 4946 (cudf2lp) R 4929 4929 4778 34817 4778 4202496 7048 0 15 0 124 3 0 0 25 0 1 0 9944052 25608192 5470 1283457024 134512640 135786343 4287534736 18446744073709551615 134566951 0 0 6 0 0 0 0 17 0 0 0 0 /proc/4946/statm: 6252 5470 126 311 0 5939 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 33736 [startup+3.11041 s] /proc/loadavg: 0.76 0.20 0.07 2/38 4946 /proc/meminfo: memFree=295920/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=2.4 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 15823 0 15 0 0 233 7 18 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 [pid=4944] ppid=4929 vsize=13508 CPUtime=0.04 /proc/4944/stat : 4944 (unclasp) R 4929 4929 4778 34817 4778 4202496 3215 0 6 0 4 0 0 0 18 0 1 0 9944052 13832192 2790 1283457024 134512640 135121179 4286923696 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4944/statm: 3377 2790 277 149 0 2568 0 [pid=4945] ppid=4929 vsize=16840 CPUtime=0.43 /proc/4945/stat : 4945 (gringo) R 4929 4929 4778 34817 4778 4202496 4695 0 22 0 41 2 0 0 18 0 1 0 9944052 17244160 3155 1283457024 134512640 137056543 4286929616 18446744073709551615 134914487 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4945/statm: 4210 3155 268 622 0 3585 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 32936 Solver just ended. Dumping a history of the last processes samples [startup+3.21043 s] /proc/loadavg: 0.76 0.20 0.07 2/38 4946 /proc/meminfo: memFree=295920/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=2.4 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 15823 0 15 0 0 233 7 18 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 [pid=4944] ppid=4929 vsize=14564 CPUtime=0.08 /proc/4944/stat : 4944 (unclasp) R 4929 4929 4778 34817 4778 4202496 3504 0 6 0 8 0 0 0 18 0 1 0 9944052 14913536 3079 1283457024 134512640 135121179 4286923696 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4944/statm: 3641 3079 277 149 0 2832 0 [pid=4945] ppid=4929 vsize=20308 CPUtime=0.49 /proc/4945/stat : 4945 (gringo) R 4929 4929 4778 34817 4778 4202496 5732 0 22 0 46 3 0 0 18 0 1 0 9944052 20795392 3806 1283457024 134512640 137056543 4286929616 18446744073709551615 135918134 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4945/statm: 5077 3806 268 622 0 4452 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 37460 [startup+4.01357 s] /proc/loadavg: 0.76 0.20 0.07 3/37 4946 /proc/meminfo: memFree=304060/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=3.08 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 23257 0 37 0 0 296 12 16 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 [pid=4944] ppid=4929 vsize=27208 CPUtime=0.68 /proc/4944/stat : 4944 (unclasp) R 4929 4929 4778 34817 4778 4202496 9416 0 7 0 63 5 0 0 18 0 1 0 9944052 27860992 5996 1283457024 134512640 135121179 4286923696 18446744073709551615 134980988 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4944/statm: 6802 5996 328 149 0 5993 0 Current children cumulated CPU time (s) 3.76 Current children cumulated vsize (KiB) 29796 [startup+4.41374 s] /proc/loadavg: 0.76 0.20 0.07 2/36 4946 /proc/meminfo: memFree=310532/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=3.08 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 662 23257 0 37 0 0 296 12 16 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 [pid=4944] ppid=4929 vsize=27448 CPUtime=1.08 /proc/4944/stat : 4944 (unclasp) R 4929 4929 4778 34817 4778 4202496 9739 0 7 0 103 5 0 0 19 0 1 0 9944052 28106752 6055 1283457024 134512640 135121179 4286923696 18446744073709551615 4159239300 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/4944/statm: 6862 6055 328 149 0 6053 0 Current children cumulated CPU time (s) 4.16 Current children cumulated vsize (KiB) 30036 [startup+4.50377 s] /proc/loadavg: 0.76 0.20 0.07 2/36 4946 /proc/meminfo: memFree=310532/1048576 swapFree=0/0 [pid=4929] ppid=4928 vsize=2588 CPUtime=4.25 /proc/4929/stat : 4929 (aspuncud-parano) S 4928 4929 4778 34817 4778 4202496 715 33346 0 44 0 0 407 18 18 0 1 0 9944050 2650112 297 1283457024 134512640 135304128 4293417120 18446744073709551615 4294960130 0 65536 16902 1132543225 18446744071564329979 0 0 17 0 0 0 0 /proc/4929/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 2588 Child status: 0 Real time (s): 4.51475 CPU time (s): 4.27627 CPU user time (s): 4.09626 CPU system time (s): 0.180011 CPU usage (%): 94.7178 Max. virtual memory (cumulated for all children) (KiB): 67804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.09626 system time used= 0.180011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36310 page faults= 44 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1234 involuntary context switches= 906 runsolver used 0 second user time and 0.004 second system time The end