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/randaafcce.cudf.impossible.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/impossible//randaafcce.cudf /home/misc2010/tmp/201007051419/uns-paranoid-0.0002/randaafcce.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.16 1.10 1.03 1/94 20388 /proc/meminfo: memFree=1127872/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=6804 CPUtime=0 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 245 0 0 0 0 0 0 0 20 0 1 0 418168439 6967296 185 1283457024 134512640 140938604 4288549456 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20389/statm: 1701 185 132 1569 0 109 0 [startup+0.144849 s] /proc/loadavg: 1.16 1.10 1.03 1/94 20388 /proc/meminfo: memFree=1127872/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=14384 CPUtime=0.13 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 2172 0 0 0 11 2 0 0 20 0 1 0 418168439 14729216 2083 1283457024 134512640 140938604 4288549456 18446744073709551615 134608943 0 0 0 0 0 0 0 17 1 0 0 0 /proc/20389/statm: 3596 2083 132 1569 0 2004 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 16764 [startup+0.204865 s] /proc/loadavg: 1.16 1.10 1.03 1/94 20388 /proc/meminfo: memFree=1127872/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=17212 CPUtime=0.19 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 2896 0 0 0 17 2 0 0 20 0 1 0 418168439 17625088 2775 1283457024 134512640 140938604 4288549456 18446744073709551615 140154854 0 0 0 0 0 0 0 17 1 0 0 0 /proc/20389/statm: 4303 2775 132 1569 0 2711 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19592 [startup+0.304888 s] /proc/loadavg: 1.16 1.10 1.03 1/94 20388 /proc/meminfo: memFree=1127872/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=21832 CPUtime=0.29 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 4052 0 0 0 27 2 0 0 21 0 1 0 418168439 22355968 3931 1283457024 134512640 140938604 4288549456 18446744073709551615 140190669 0 0 0 0 0 0 0 17 1 0 0 0 /proc/20389/statm: 5458 3931 132 1569 0 3866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24212 [startup+0.70496 s] /proc/loadavg: 1.16 1.10 1.03 1/94 20388 /proc/meminfo: memFree=1127872/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=38572 CPUtime=0.7 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 8339 0 0 0 62 8 0 0 22 0 1 0 418168439 39497728 8121 1283457024 134512640 140938604 4288549456 18446744073709551615 140190639 0 0 0 0 0 0 0 17 1 0 0 0 /proc/20389/statm: 9643 8121 132 1569 0 8051 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 40952 [startup+1.5069 s] /proc/loadavg: 1.16 1.10 1.03 2/96 20390 /proc/meminfo: memFree=1080644/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=69964 CPUtime=1.5 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 16443 0 0 0 138 12 0 0 25 0 1 0 418168439 71643136 15837 1283457024 134512640 140938604 4288549456 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/20389/statm: 17491 15837 132 1569 0 15899 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 72344 [startup+3.1113 s] /proc/loadavg: 1.16 1.10 1.03 2/96 20391 /proc/meminfo: memFree=1038608/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=121808 CPUtime=3.09 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 37402 0 0 0 289 20 0 0 25 0 1 0 418168439 124731392 28187 1283457024 134512640 140938604 4288549456 18446744073709551615 135812639 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20389/statm: 30452 28187 434 1569 0 28466 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 124188 Solver just ended. Dumping a history of the last processes samples [startup+3.21135 s] /proc/loadavg: 1.16 1.10 1.03 2/96 20391 /proc/meminfo: memFree=1038608/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=122320 CPUtime=3.19 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 40114 0 0 0 299 20 0 0 25 0 1 0 418168439 125255680 28241 1283457024 134512640 140938604 4288549456 18446744073709551615 134907127 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20389/statm: 30580 28241 434 1569 0 28594 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 124700 [startup+4.01159 s] /proc/loadavg: 1.16 1.10 1.03 2/96 20391 /proc/meminfo: memFree=1016536/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=154024 CPUtime=3.99 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 55283 0 0 0 375 24 0 0 25 0 1 0 418168439 157720576 29545 1283457024 134512640 140938604 4288549456 18446744073709551615 137902870 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20389/statm: 38506 29545 523 1569 0 36520 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 156404 [startup+4.81182 s] /proc/loadavg: 1.15 1.10 1.03 2/96 20391 /proc/meminfo: memFree=993224/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=182216 CPUtime=4.79 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 81287 0 0 0 448 31 0 0 25 0 1 0 418168439 186589184 34259 1283457024 134512640 140938604 4288549456 18446744073709551615 136362908 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20389/statm: 45554 34259 673 1569 0 43568 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 184596 [startup+5.01189 s] /proc/loadavg: 1.15 1.10 1.03 2/96 20391 /proc/meminfo: memFree=993224/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=175764 CPUtime=4.99 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 89786 0 0 0 466 33 0 0 25 0 1 0 418168439 179982336 33093 1283457024 134512640 140938604 4288549456 18446744073709551615 135301460 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20389/statm: 43941 33093 687 1569 0 41955 0 Current children cumulated CPU time (s) 4.99 Current children cumulated vsize (KiB) 178144 [startup+5.11192 s] /proc/loadavg: 1.15 1.10 1.03 2/96 20391 /proc/meminfo: memFree=993224/2097152 swapFree=2055620/2097144 [pid=20388] ppid=20387 vsize=2380 CPUtime=0 /proc/20388/stat : 20388 (uns-paranoid-0.) S 20387 20388 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 19 0 1 0 418168439 2437120 258 1283457024 134512640 135191968 4292560416 18446744073709551615 4159244942 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20388/statm: 595 258 220 166 0 27 0 [pid=20389] ppid=20388 vsize=116052 CPUtime=5.09 /proc/20389/stat : 20389 (cudfsolver-stat) R 20388 20388 13759 34823 13904 4202496 94873 0 0 0 473 36 0 0 25 0 1 0 418168439 118837248 26939 1283457024 134512640 140938604 4288549456 18446744073709551615 134609147 0 0 0 0 0 0 0 17 0 0 0 0 /proc/20389/statm: 29013 26939 702 1569 0 27027 0 Current children cumulated CPU time (s) 5.09 Current children cumulated vsize (KiB) 118432 Child status: 0 Real time (s): 5.13029 CPU time (s): 5.10432 CPU user time (s): 4.73229 CPU system time (s): 0.372023 CPU usage (%): 99.4937 Max. virtual memory (cumulated for all children) (KiB): 189532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.73229 system time used= 0.372023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95248 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= 22 involuntary context switches= 99 runsolver used 0.004 second user time and 0.004 second system time The end