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/201007051419/uns-paranoid-0.0002/rand0695fb.cudf.impossible.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/impossible//rand0695fb.cudf /home/misc2010/tmp/201007051419/uns-paranoid-0.0002/rand0695fb.cudf.impossible.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: 1.42 1.19 0.79 1/106 16487 /proc/meminfo: memFree=1052684/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=840 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) R 16486 16487 13759 34823 13904 4194304 104 0 0 0 0 0 0 0 25 0 1 0 415122223 860160 29 1283457024 134512640 135191968 4290679888 18446744073709551615 4160282756 0 2147483391 0 0 0 0 0 17 0 0 0 0 /proc/16487/statm: 210 29 21 166 0 11 0 [startup+0.137209 s] /proc/loadavg: 1.42 1.19 0.79 1/106 16487 /proc/meminfo: memFree=1052684/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.207223 s] /proc/loadavg: 1.42 1.19 0.79 1/106 16487 /proc/meminfo: memFree=1052684/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.307238 s] /proc/loadavg: 1.42 1.19 0.79 1/106 16487 /proc/meminfo: memFree=1052684/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.707299 s] /proc/loadavg: 1.42 1.19 0.79 1/106 16487 /proc/meminfo: memFree=1052684/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50743 s] /proc/loadavg: 1.42 1.19 0.79 2/108 16489 /proc/meminfo: memFree=1005192/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 [pid=16489] ppid=16487 vsize=68776 CPUtime=1.47 /proc/16489/stat : 16489 (cudfsolver-stat) R 16487 16487 13759 34823 13904 4202496 16150 0 0 0 142 5 0 0 25 0 1 0 415122223 70426624 15545 1283457024 134512640 140938604 4293660464 18446744073709551615 140190684 0 0 0 0 0 0 0 17 0 0 0 0 /proc/16489/statm: 17194 15545 132 1569 0 15602 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 71156 [startup+3.10776 s] /proc/loadavg: 1.42 1.19 0.79 2/108 16489 /proc/meminfo: memFree=964768/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 [pid=16489] ppid=16487 vsize=121392 CPUtime=3.06 /proc/16489/stat : 16489 (cudfsolver-stat) R 16487 16487 13759 34823 13904 4202496 37558 0 0 0 292 14 0 0 25 0 1 0 415122223 124305408 28042 1283457024 134512640 140938604 4293660464 18446744073709551615 135820389 0 0 0 0 0 0 0 17 0 0 0 0 /proc/16489/statm: 30348 28042 434 1569 0 28362 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 123772 Solver just ended. Dumping a history of the last processes samples [startup+3.20778 s] /proc/loadavg: 1.42 1.19 0.79 2/108 16489 /proc/meminfo: memFree=964768/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 [pid=16489] ppid=16487 vsize=123008 CPUtime=3.16 /proc/16489/stat : 16489 (cudfsolver-stat) R 16487 16487 13759 34823 13904 4202496 38223 0 0 0 302 14 0 0 25 0 1 0 415122223 125960192 28277 1283457024 134512640 140938604 4293660464 18446744073709551615 135810327 0 0 0 0 0 0 0 17 0 0 0 0 /proc/16489/statm: 30752 28277 434 1569 0 28766 0 Current children cumulated CPU time (s) 3.16 Current children cumulated vsize (KiB) 125388 [startup+4.8082 s] /proc/loadavg: 1.42 1.19 0.79 2/108 16489 /proc/meminfo: memFree=916408/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 [pid=16489] ppid=16487 vsize=190252 CPUtime=4.76 /proc/16489/stat : 16489 (cudfsolver-stat) R 16487 16487 13759 34823 13904 4202496 79128 0 0 0 447 29 0 0 25 0 1 0 415122223 194818048 34512 1283457024 134512640 140938604 4293660464 18446744073709551615 136258977 0 0 0 0 0 0 0 17 0 0 0 0 /proc/16489/statm: 47563 34512 643 1569 0 45577 0 Current children cumulated CPU time (s) 4.76 Current children cumulated vsize (KiB) 192632 [startup+5.60843 s] /proc/loadavg: 1.38 1.19 0.79 2/108 16490 /proc/meminfo: memFree=905992/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 [pid=16489] ppid=16487 vsize=191544 CPUtime=5.54 /proc/16489/stat : 16489 (cudfsolver-stat) R 16487 16487 13759 34823 13904 4202496 97687 0 0 0 518 36 0 0 25 0 1 0 415122223 196141056 35908 1283457024 134512640 140938604 4293660464 18446744073709551615 140247153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/16489/statm: 47886 35908 682 1569 0 45900 0 Current children cumulated CPU time (s) 5.54 Current children cumulated vsize (KiB) 193924 [startup+6.00851 s] /proc/loadavg: 1.38 1.19 0.79 2/108 16490 /proc/meminfo: memFree=905992/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 [pid=16489] ppid=16487 vsize=187584 CPUtime=5.94 /proc/16489/stat : 16489 (cudfsolver-stat) R 16487 16487 13759 34823 13904 4202496 116646 0 0 0 550 44 0 0 25 0 1 0 415122223 192086016 33766 1283457024 134512640 140938604 4293660464 18446744073709551615 134945455 0 0 0 0 0 0 0 17 0 0 0 0 /proc/16489/statm: 46896 33766 700 1569 0 44910 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 189964 [startup+6.20856 s] /proc/loadavg: 1.38 1.19 0.79 2/108 16490 /proc/meminfo: memFree=905992/2097152 swapFree=2055676/2097144 [pid=16487] ppid=16486 vsize=2380 CPUtime=0 /proc/16487/stat : 16487 (uns-paranoid-0.) S 16486 16487 13759 34823 13904 4194304 363 0 0 0 0 0 0 0 25 0 1 0 415122223 2437120 258 1283457024 134512640 135191968 4290679888 18446744073709551615 4159253134 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16487/statm: 595 258 220 166 0 27 0 [pid=16489] ppid=16487 vsize=187108 CPUtime=6.14 /proc/16489/stat : 16489 (cudfsolver-stat) R 16487 16487 13759 34823 13904 4202496 126926 0 0 0 566 48 0 0 25 0 1 0 415122223 191598592 33799 1283457024 134512640 140938604 4293660464 18446744073709551615 137543646 0 0 0 0 0 0 0 17 0 0 0 0 /proc/16489/statm: 46777 33799 700 1569 0 44791 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 189488 Child status: 0 Real time (s): 6.27381 CPU time (s): 6.21239 CPU user time (s): 5.68835 CPU system time (s): 0.524032 CPU usage (%): 99.0209 Max. virtual memory (cumulated for all children) (KiB): 207188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.68835 system time used= 0.524032 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 128706 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 227 runsolver used 0 second user time and 0.004 second system time The end