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/rand332173.cudf.impossible.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/impossible//rand332173.cudf /home/misc2010/tmp/201007051419/uns-paranoid-0.0002/rand332173.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.07 1.14 1.07 3/106 23174 /proc/meminfo: memFree=1014508/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2880 CPUtime=0 /proc/23174/stat : 23174 (runsolver) R 23173 23174 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 25 0 1 0 415398123 2949120 93 1283457024 134512640 134586868 4286877696 18446744073709551615 4157650202 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/23174/statm: 720 93 62 19 0 52 0 [startup+0.173187 s] /proc/loadavg: 1.07 1.14 1.07 3/106 23174 /proc/meminfo: memFree=1014508/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.203238 s] /proc/loadavg: 1.07 1.14 1.07 3/106 23174 /proc/meminfo: memFree=1014508/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.313235 s] /proc/loadavg: 1.07 1.14 1.07 3/106 23174 /proc/meminfo: memFree=1014508/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.713318 s] /proc/loadavg: 1.07 1.14 1.07 3/106 23174 /proc/meminfo: memFree=1014508/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.5135 s] /proc/loadavg: 1.06 1.14 1.07 2/106 23176 /proc/meminfo: memFree=1020232/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=68908 CPUtime=1.5 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 16178 0 0 0 145 5 0 0 25 0 1 0 415398123 70561792 15574 1283457024 134512640 140938604 4286689424 18446744073709551615 140170555 0 0 0 0 0 0 0 17 0 0 0 0 /proc/23176/statm: 17227 15574 132 1569 0 15635 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 71284 [startup+3.11388 s] /proc/loadavg: 1.06 1.14 1.07 2/106 23176 /proc/meminfo: memFree=980056/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=123064 CPUtime=3.08 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 36291 0 0 0 294 14 0 0 25 0 1 0 415398123 126017536 28515 1283457024 134512640 140938604 4286689424 18446744073709551615 134907135 0 0 0 0 0 0 0 17 0 0 0 0 /proc/23176/statm: 30766 28515 434 1569 0 28780 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 125440 [startup+6.30459 s] /proc/loadavg: 1.06 1.14 1.07 2/106 23176 /proc/meminfo: memFree=935540/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=202912 CPUtime=6.26 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 98861 0 0 0 584 42 0 0 25 0 1 0 415398123 207781888 35566 1283457024 134512640 140938604 4286689424 18446744073709551615 137598893 0 0 0 0 0 0 0 17 0 0 0 0 /proc/23176/statm: 50728 35566 652 1569 0 48742 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 205288 Solver just ended. Dumping a history of the last processes samples [startup+6.40472 s] /proc/loadavg: 1.06 1.14 1.07 2/106 23176 /proc/meminfo: memFree=935540/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=201376 CPUtime=6.36 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 102909 0 0 0 592 44 0 0 25 0 1 0 415398123 206209024 34264 1283457024 134512640 140938604 4286689424 18446744073709551615 137528971 0 0 0 0 0 0 0 17 0 0 0 0 /proc/23176/statm: 50344 34264 652 1569 0 48358 0 Current children cumulated CPU time (s) 6.36 Current children cumulated vsize (KiB) 203752 [startup+9.60553 s] /proc/loadavg: 1.14 1.15 1.07 2/106 23177 /proc/meminfo: memFree=927860/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=205748 CPUtime=9.56 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 216048 0 0 0 863 93 0 0 25 0 1 0 415398123 210685952 36711 1283457024 134512640 140938604 4286689424 18446744073709551615 134945413 0 0 0 0 0 0 0 17 0 0 0 0 /proc/23176/statm: 51437 36711 704 1569 0 49451 0 Current children cumulated CPU time (s) 9.56 Current children cumulated vsize (KiB) 208124 [startup+11.2037 s] /proc/loadavg: 1.12 1.15 1.07 2/107 23178 /proc/meminfo: memFree=872920/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=313876 CPUtime=11.2 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 268436 0 0 0 1001 119 0 0 18 0 2 0 415398123 321409024 54425 1283457024 134512640 140938604 4286689424 18446744073709551615 137529018 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/23176/statm: 78469 54425 749 1569 0 76483 0 [pid=23176/tid=23178] ppid=23174 vsize=313876 CPUtime=0.04 /proc/23176/task/23178/stat : 23178 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202560 4227 0 0 0 3 1 0 0 18 0 2 0 415399206 321409024 54425 1283457024 134512640 140938604 4286689424 18446744073709551615 135045047 0 2 0 0 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 11.2 Current children cumulated vsize (KiB) 316252 [startup+12.0136 s] /proc/loadavg: 1.12 1.15 1.07 2/107 23178 /proc/meminfo: memFree=872920/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=320852 CPUtime=12.62 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 297597 0 0 0 1131 131 0 0 17 0 2 0 415398123 328552448 56712 1283457024 134512640 140938604 4286689424 18446744073709551615 136278296 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/23176/statm: 80213 56712 749 1569 0 78227 0 [pid=23176/tid=23178] ppid=23174 vsize=320852 CPUtime=0.79 /proc/23176/task/23178/stat : 23178 (cudfsolver-stat) S 23174 23174 13759 34823 13904 4202560 20578 0 0 0 69 10 0 0 18 0 2 0 415399206 328552448 56712 1283457024 134512640 140938604 4286689424 18446744073709551615 139661721 0 2 0 0 18446612133525676352 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 323228 [startup+12.4137 s] /proc/loadavg: 1.12 1.15 1.07 3/107 23178 /proc/meminfo: memFree=842928/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=323052 CPUtime=13.32 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 305413 0 0 0 1198 134 0 0 17 0 2 0 415398123 330805248 56860 1283457024 134512640 140938604 4286689424 18446744073709551615 138298583 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/23176/statm: 80763 56860 749 1569 0 78777 0 [pid=23176/tid=23178] ppid=23174 vsize=323052 CPUtime=1.1 /proc/23176/task/23178/stat : 23178 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202560 23800 0 0 0 98 12 0 0 16 0 2 0 415399206 330805248 56860 1283457024 134512640 140938604 4286689424 18446744073709551615 138298603 0 2 0 0 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 13.32 Current children cumulated vsize (KiB) 325428 [startup+12.5038 s] /proc/loadavg: 1.12 1.15 1.07 3/107 23178 /proc/meminfo: memFree=842928/2097152 swapFree=2055676/2097144 [pid=23174] ppid=23173 vsize=2376 CPUtime=0 /proc/23174/stat : 23174 (uns-paranoid-0.) S 23173 23174 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 25 0 1 0 415398123 2433024 257 1283457024 134512640 135191968 4289147616 18446744073709551615 4159314574 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/23174/statm: 594 257 220 166 0 26 0 [pid=23176] ppid=23174 vsize=245664 CPUtime=13.42 /proc/23176/stat : 23176 (cudfsolver-stat) R 23174 23174 13759 34823 13904 4202496 306310 0 0 0 1206 136 0 0 18 0 1 0 415398123 251559936 43941 1283457024 134512640 140938604 4286689424 18446744073709551615 140247153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/23176/statm: 61416 43941 750 1569 0 59430 0 Current children cumulated CPU time (s) 13.42 Current children cumulated vsize (KiB) 248040 Child status: 0 Real time (s): 12.5887 CPU time (s): 13.5208 CPU user time (s): 12.0888 CPU system time (s): 1.43209 CPU usage (%): 107.405 Max. virtual memory (cumulated for all children) (KiB): 325428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.0888 system time used= 1.43209 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 306686 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= 575 involuntary context switches= 327 runsolver used 0.004 second user time and 0 second system time The end