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/201007050905/uns-paranoid-0.0002/randea6106.cudf.easy.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/easy//randea6106.cudf /home/misc2010/tmp/201007050905/uns-paranoid-0.0002/randea6106.cudf.easy.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.32 1.21 1.11 4/38 30446 /proc/meminfo: memFree=464516/1048576 swapFree=2095456/2097144 [pid=30445] ppid=30444 vsize=2384 CPUtime=0 /proc/30445/stat : 30445 (uns-paranoid-0.) S 30444 30445 24102 769 24102 4194304 363 0 0 0 0 0 0 0 22 0 1 0 525200812 2441216 260 1283457024 134512640 135191968 4294298208 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30445/statm: 596 260 221 166 0 28 0 [pid=30446] ppid=30445 vsize=7464 CPUtime=0.02 /proc/30446/stat : 30446 (cudfsolver-stat) R 30445 30445 24102 769 24102 4202496 413 0 0 0 2 0 0 0 25 0 1 0 525200812 7643136 352 1283457024 134512640 140938604 4293509520 18446744073709551615 134604662 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30446/statm: 1866 352 132 1569 0 274 0 [startup+0.134136 s] /proc/loadavg: 1.32 1.21 1.11 4/38 30446 /proc/meminfo: memFree=464516/1048576 swapFree=2095456/2097144 [pid=30445] ppid=30444 vsize=2384 CPUtime=0 /proc/30445/stat : 30445 (uns-paranoid-0.) S 30444 30445 24102 769 24102 4194304 363 0 0 0 0 0 0 0 22 0 1 0 525200812 2441216 260 1283457024 134512640 135191968 4294298208 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30445/statm: 596 260 221 166 0 28 0 [pid=30446] ppid=30445 vsize=13840 CPUtime=0.14 /proc/30446/stat : 30446 (cudfsolver-stat) R 30445 30445 24102 769 24102 4202496 2040 0 0 0 14 0 0 0 25 0 1 0 525200812 14172160 1953 1283457024 134512640 140938604 4293509520 18446744073709551615 134569776 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30446/statm: 3460 1953 132 1569 0 1868 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 16224 [startup+0.214154 s] /proc/loadavg: 1.32 1.21 1.11 4/38 30446 /proc/meminfo: memFree=464516/1048576 swapFree=2095456/2097144 [pid=30445] ppid=30444 vsize=2384 CPUtime=0 /proc/30445/stat : 30445 (uns-paranoid-0.) S 30444 30445 24102 769 24102 4194304 363 0 0 0 0 0 0 0 22 0 1 0 525200812 2441216 260 1283457024 134512640 135191968 4294298208 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30445/statm: 596 260 221 166 0 28 0 [pid=30446] ppid=30445 vsize=17668 CPUtime=0.21 /proc/30446/stat : 30446 (cudfsolver-stat) R 30445 30445 24102 769 24102 4202496 3016 0 0 0 21 0 0 0 25 0 1 0 525200812 18092032 2897 1283457024 134512640 140938604 4293509520 18446744073709551615 134608450 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30446/statm: 4417 2897 132 1569 0 2825 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 20052 [startup+0.314192 s] /proc/loadavg: 1.32 1.21 1.11 4/38 30446 /proc/meminfo: memFree=464516/1048576 swapFree=2095456/2097144 [pid=30445] ppid=30444 vsize=2384 CPUtime=0 /proc/30445/stat : 30445 (uns-paranoid-0.) S 30444 30445 24102 769 24102 4194304 363 0 0 0 0 0 0 0 22 0 1 0 525200812 2441216 260 1283457024 134512640 135191968 4294298208 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30445/statm: 596 260 221 166 0 28 0 [pid=30446] ppid=30445 vsize=22024 CPUtime=0.32 /proc/30446/stat : 30446 (cudfsolver-stat) R 30445 30445 24102 769 24102 4202496 4105 0 0 0 28 4 0 0 25 0 1 0 525200812 22552576 3986 1283457024 134512640 140938604 4293509520 18446744073709551615 140190645 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30446/statm: 5506 3986 132 1569 0 3914 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 24408 [startup+0.714262 s] /proc/loadavg: 1.32 1.21 1.11 4/38 30446 /proc/meminfo: memFree=464516/1048576 swapFree=2095456/2097144 [pid=30445] ppid=30444 vsize=2384 CPUtime=0 /proc/30445/stat : 30445 (uns-paranoid-0.) S 30444 30445 24102 769 24102 4194304 363 0 0 0 0 0 0 0 22 0 1 0 525200812 2441216 260 1283457024 134512640 135191968 4294298208 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30445/statm: 596 260 221 166 0 28 0 [pid=30446] ppid=30445 vsize=42544 CPUtime=0.71 /proc/30446/stat : 30446 (cudfsolver-stat) R 30445 30445 24102 769 24102 4202496 9021 0 0 0 66 5 0 0 25 0 1 0 525200812 43565056 8658 1283457024 134512640 140938604 4293509520 18446744073709551615 134526872 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30446/statm: 10636 8658 313 1569 0 8690 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 44928 Solver just ended. Dumping a history of the last processes samples [startup+0.814272 s] /proc/loadavg: 1.32 1.21 1.11 4/38 30446 /proc/meminfo: memFree=464516/1048576 swapFree=2095456/2097144 [pid=30445] ppid=30444 vsize=2384 CPUtime=0 /proc/30445/stat : 30445 (uns-paranoid-0.) S 30444 30445 24102 769 24102 4194304 363 0 0 0 0 0 0 0 22 0 1 0 525200812 2441216 260 1283457024 134512640 135191968 4294298208 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30445/statm: 596 260 221 166 0 28 0 [pid=30446] ppid=30445 vsize=47508 CPUtime=0.81 /proc/30446/stat : 30446 (cudfsolver-stat) R 30445 30445 24102 769 24102 4202496 11127 0 0 0 76 5 0 0 25 0 1 0 525200812 48648192 9903 1283457024 134512640 140938604 4293509520 18446744073709551615 137239332 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30446/statm: 11877 9903 411 1569 0 9931 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 49892 Child status: 0 Real time (s): 0.876357 CPU time (s): 0.880054 CPU user time (s): 0.80405 CPU system time (s): 0.076004 CPU usage (%): 100.422 Max. virtual memory (cumulated for all children) (KiB): 49892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.80405 system time used= 0.076004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12361 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= 3 involuntary context switches= 16 runsolver used 0 second user time and 0 second system time The end