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/rand951a14.cudf.easy.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/easy//rand951a14.cudf /home/misc2010/tmp/201007050905/uns-paranoid-0.0002/rand951a14.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.43 1.31 1.03 4/34 28142 /proc/meminfo: memFree=462924/1048576 swapFree=2095456/2097144 [pid=28141] ppid=28140 vsize=2388 CPUtime=0 /proc/28141/stat : 28141 (uns-paranoid-0.) S 28140 28141 24102 769 24102 4194304 364 0 0 0 0 0 0 0 24 0 1 0 525097712 2445312 260 1283457024 134512640 135191968 4288435408 18446744073709551615 4158839198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28141/statm: 597 260 221 166 0 29 0 [pid=28142] ppid=28141 vsize=8132 CPUtime=0.02 /proc/28142/stat : 28142 (cudfsolver-stat) R 28141 28141 24102 769 24102 4202496 605 0 0 0 2 0 0 0 25 0 1 0 525097713 8327168 541 1283457024 134512640 140938604 4294363760 18446744073709551615 134609590 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28142/statm: 2033 541 132 1569 0 441 0 [startup+0.236757 s] /proc/loadavg: 1.43 1.31 1.03 4/34 28142 /proc/meminfo: memFree=462924/1048576 swapFree=2095456/2097144 [pid=28141] ppid=28140 vsize=2388 CPUtime=0 /proc/28141/stat : 28141 (uns-paranoid-0.) S 28140 28141 24102 769 24102 4194304 364 0 0 0 0 0 0 0 24 0 1 0 525097712 2445312 260 1283457024 134512640 135191968 4288435408 18446744073709551615 4158839198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28141/statm: 597 260 221 166 0 29 0 [pid=28142] ppid=28141 vsize=18732 CPUtime=0.23 /proc/28142/stat : 28142 (cudfsolver-stat) R 28141 28141 24102 769 24102 4202496 3261 0 0 0 22 1 0 0 25 0 1 0 525097713 19181568 3141 1283457024 134512640 140938604 4294363760 18446744073709551615 134604560 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28142/statm: 4683 3141 132 1569 0 3091 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 21120 [startup+0.30679 s] /proc/loadavg: 1.43 1.31 1.03 4/34 28142 /proc/meminfo: memFree=462924/1048576 swapFree=2095456/2097144 [pid=28141] ppid=28140 vsize=2388 CPUtime=0 /proc/28141/stat : 28141 (uns-paranoid-0.) S 28140 28141 24102 769 24102 4194304 364 0 0 0 0 0 0 0 24 0 1 0 525097712 2445312 260 1283457024 134512640 135191968 4288435408 18446744073709551615 4158839198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28141/statm: 597 260 221 166 0 29 0 [pid=28142] ppid=28141 vsize=21900 CPUtime=0.3 /proc/28142/stat : 28142 (cudfsolver-stat) R 28141 28141 24102 769 24102 4202496 4065 0 0 0 29 1 0 0 25 0 1 0 525097713 22425600 3945 1283457024 134512640 140938604 4294363760 18446744073709551615 139957837 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28142/statm: 5475 3945 132 1569 0 3883 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 24288 [startup+0.406817 s] /proc/loadavg: 1.43 1.31 1.03 4/34 28142 /proc/meminfo: memFree=462924/1048576 swapFree=2095456/2097144 [pid=28141] ppid=28140 vsize=2388 CPUtime=0 /proc/28141/stat : 28141 (uns-paranoid-0.) S 28140 28141 24102 769 24102 4194304 364 0 0 0 0 0 0 0 24 0 1 0 525097712 2445312 260 1283457024 134512640 135191968 4288435408 18446744073709551615 4158839198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28141/statm: 597 260 221 166 0 29 0 [pid=28142] ppid=28141 vsize=26388 CPUtime=0.4 /proc/28142/stat : 28142 (cudfsolver-stat) R 28141 28141 24102 769 24102 4202496 5207 0 0 0 39 1 0 0 25 0 1 0 525097713 27021312 5055 1283457024 134512640 140938604 4294363760 18446744073709551615 139852191 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28142/statm: 6597 5055 132 1569 0 5005 0 Current children cumulated CPU time (s) 0.4 Current children cumulated vsize (KiB) 28776 [startup+0.706898 s] /proc/loadavg: 1.43 1.31 1.03 4/34 28142 /proc/meminfo: memFree=462924/1048576 swapFree=2095456/2097144 [pid=28141] ppid=28140 vsize=2388 CPUtime=0 /proc/28141/stat : 28141 (uns-paranoid-0.) S 28140 28141 24102 769 24102 4194304 364 0 0 0 0 0 0 0 24 0 1 0 525097712 2445312 260 1283457024 134512640 135191968 4288435408 18446744073709551615 4158839198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28141/statm: 597 260 221 166 0 29 0 [pid=28142] ppid=28141 vsize=38900 CPUtime=0.7 /proc/28142/stat : 28142 (cudfsolver-stat) R 28141 28141 24102 769 24102 4202496 8433 0 0 0 69 1 0 0 25 0 1 0 525097713 39833600 8150 1283457024 134512640 140938604 4294363760 18446744073709551615 139851776 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28142/statm: 9725 8150 132 1569 0 8133 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 41288 Solver just ended. Dumping a history of the last processes samples [startup+0.806919 s] /proc/loadavg: 1.43 1.31 1.03 4/34 28142 /proc/meminfo: memFree=462924/1048576 swapFree=2095456/2097144 [pid=28141] ppid=28140 vsize=2388 CPUtime=0 /proc/28141/stat : 28141 (uns-paranoid-0.) S 28140 28141 24102 769 24102 4194304 364 0 0 0 0 0 0 0 24 0 1 0 525097712 2445312 260 1283457024 134512640 135191968 4288435408 18446744073709551615 4158839198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28141/statm: 597 260 221 166 0 29 0 [pid=28142] ppid=28141 vsize=46252 CPUtime=0.8 /proc/28142/stat : 28142 (cudfsolver-stat) R 28141 28141 24102 769 24102 4202496 11197 0 0 0 79 1 0 0 25 0 1 0 525097713 47362048 9651 1283457024 134512640 140938604 4294363760 18446744073709551615 134907135 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28142/statm: 11563 9651 452 1569 0 9617 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 48640 Child status: 0 Real time (s): 0.896961 CPU time (s): 0.856053 CPU user time (s): 0.832052 CPU system time (s): 0.024001 CPU usage (%): 95.4393 Max. virtual memory (cumulated for all children) (KiB): 48640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.832052 system time used= 0.024001 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12508 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 12 runsolver used 0 second user time and 0 second system time The end