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-trendy-0.0002/randc192b7.cudf.easy.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/easy//randc192b7.cudf /home/misc2010/tmp/201007050905/uns-trendy-0.0002/randc192b7.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.19 1.18 1.10 4/38 30237 /proc/meminfo: memFree=462656/1048576 swapFree=2095456/2097144 [pid=30236] ppid=30235 vsize=2384 CPUtime=0 /proc/30236/stat : 30236 (uns-trendy-0.00) S 30235 30236 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525190474 2441216 260 1283457024 134512640 135191968 4288257184 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30236/statm: 596 260 221 166 0 28 0 [pid=30237] ppid=30236 vsize=7996 CPUtime=0.03 /proc/30237/stat : 30237 (cudfsolver-stat) R 30236 30236 24102 769 24102 4202496 550 0 0 0 3 0 0 0 25 0 1 0 525190474 8187904 489 1283457024 134512640 140938604 4293749152 18446744073709551615 134601890 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30237/statm: 1999 489 132 1569 0 407 0 [startup+0.192999 s] /proc/loadavg: 1.19 1.18 1.10 4/38 30237 /proc/meminfo: memFree=462656/1048576 swapFree=2095456/2097144 [pid=30236] ppid=30235 vsize=2384 CPUtime=0 /proc/30236/stat : 30236 (uns-trendy-0.00) S 30235 30236 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525190474 2441216 260 1283457024 134512640 135191968 4288257184 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30236/statm: 596 260 221 166 0 28 0 [pid=30237] ppid=30236 vsize=16880 CPUtime=0.2 /proc/30237/stat : 30237 (cudfsolver-stat) R 30236 30236 24102 769 24102 4202496 2796 0 0 0 18 2 0 0 25 0 1 0 525190474 17285120 2677 1283457024 134512640 140938604 4293749152 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30237/statm: 4220 2677 132 1569 0 2628 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 19264 [startup+0.213 s] /proc/loadavg: 1.19 1.18 1.10 4/38 30237 /proc/meminfo: memFree=462656/1048576 swapFree=2095456/2097144 [pid=30236] ppid=30235 vsize=2384 CPUtime=0 /proc/30236/stat : 30236 (uns-trendy-0.00) S 30235 30236 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525190474 2441216 260 1283457024 134512640 135191968 4288257184 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30236/statm: 596 260 221 166 0 28 0 [pid=30237] ppid=30236 vsize=17804 CPUtime=0.21 /proc/30237/stat : 30237 (cudfsolver-stat) R 30236 30236 24102 769 24102 4202496 3033 0 0 0 18 3 0 0 25 0 1 0 525190474 18231296 2914 1283457024 134512640 140938604 4293749152 18446744073709551615 134580574 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30237/statm: 4451 2914 132 1569 0 2859 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 20188 [startup+0.313027 s] /proc/loadavg: 1.19 1.18 1.10 4/38 30237 /proc/meminfo: memFree=462656/1048576 swapFree=2095456/2097144 [pid=30236] ppid=30235 vsize=2384 CPUtime=0 /proc/30236/stat : 30236 (uns-trendy-0.00) S 30235 30236 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525190474 2441216 260 1283457024 134512640 135191968 4288257184 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30236/statm: 596 260 221 166 0 28 0 [pid=30237] ppid=30236 vsize=22424 CPUtime=0.31 /proc/30237/stat : 30237 (cudfsolver-stat) R 30236 30236 24102 769 24102 4202496 4206 0 0 0 26 5 0 0 25 0 1 0 525190474 22962176 4087 1283457024 134512640 140938604 4293749152 18446744073709551615 140187328 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30237/statm: 5606 4087 132 1569 0 4014 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 24808 [startup+0.713121 s] /proc/loadavg: 1.19 1.18 1.10 4/38 30237 /proc/meminfo: memFree=462656/1048576 swapFree=2095456/2097144 [pid=30236] ppid=30235 vsize=2384 CPUtime=0 /proc/30236/stat : 30236 (uns-trendy-0.00) S 30235 30236 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525190474 2441216 260 1283457024 134512640 135191968 4288257184 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30236/statm: 596 260 221 166 0 28 0 [pid=30237] ppid=30236 vsize=43536 CPUtime=0.71 /proc/30237/stat : 30237 (cudfsolver-stat) R 30236 30236 24102 769 24102 4202496 9343 0 0 0 64 7 0 0 25 0 1 0 525190474 44580864 8877 1283457024 134512640 140938604 4293749152 18446744073709551615 135179998 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30237/statm: 10884 8877 316 1569 0 8938 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 45920 Solver just ended. Dumping a history of the last processes samples [startup+0.813146 s] /proc/loadavg: 1.19 1.18 1.10 4/38 30237 /proc/meminfo: memFree=462656/1048576 swapFree=2095456/2097144 [pid=30236] ppid=30235 vsize=2384 CPUtime=0 /proc/30236/stat : 30236 (uns-trendy-0.00) S 30235 30236 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525190474 2441216 260 1283457024 134512640 135191968 4288257184 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30236/statm: 596 260 221 166 0 28 0 [pid=30237] ppid=30236 vsize=51636 CPUtime=0.81 /proc/30237/stat : 30237 (cudfsolver-stat) R 30236 30236 24102 769 24102 4202496 12179 0 0 0 73 8 0 0 25 0 1 0 525190474 52875264 10727 1283457024 134512640 140938604 4293749152 18446744073709551615 135804438 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30237/statm: 12909 10727 405 1569 0 10963 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 54020 [startup+1.01322 s] /proc/loadavg: 1.19 1.18 1.10 4/38 30237 /proc/meminfo: memFree=462656/1048576 swapFree=2095456/2097144 [pid=30236] ppid=30235 vsize=2384 CPUtime=0 /proc/30236/stat : 30236 (uns-trendy-0.00) S 30235 30236 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525190474 2441216 260 1283457024 134512640 135191968 4288257184 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30236/statm: 596 260 221 166 0 28 0 [pid=30237] ppid=30236 vsize=81288 CPUtime=1.02 /proc/30237/stat : 30237 (cudfsolver-stat) R 30236 30236 24102 769 24102 4202496 18008 0 0 0 90 12 0 0 25 0 1 0 525190474 83238912 12923 1283457024 134512640 140938604 4293749152 18446744073709551615 134889872 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30237/statm: 20322 12923 658 1569 0 18376 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 83672 [startup+1.11327 s] /proc/loadavg: 1.19 1.18 1.10 2/39 30238 /proc/meminfo: memFree=420752/1048576 swapFree=2095456/2097144 [pid=30236] ppid=30235 vsize=2384 CPUtime=0 /proc/30236/stat : 30236 (uns-trendy-0.00) S 30235 30236 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525190474 2441216 260 1283457024 134512640 135191968 4288257184 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30236/statm: 596 260 221 166 0 28 0 [pid=30237] ppid=30236 vsize=51468 CPUtime=1.11 /proc/30237/stat : 30237 (cudfsolver-stat) R 30236 30236 24102 769 24102 4202496 21015 0 0 0 97 14 0 0 25 0 1 0 525190474 52703232 11194 1283457024 134512640 140938604 4293749152 18446744073709551615 134609147 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30237/statm: 12867 11194 660 1569 0 10921 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 53852 Child status: 0 Real time (s): 1.12995 CPU time (s): 1.13207 CPU user time (s): 0.97206 CPU system time (s): 0.16001 CPU usage (%): 100.188 Max. virtual memory (cumulated for all children) (KiB): 83672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.97206 system time used= 0.16001 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21393 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= 18 runsolver used 0 second user time and 0 second system time The end