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/rand13b58e.cudf.easy.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/easy//rand13b58e.cudf /home/misc2010/tmp/201007050905/uns-trendy-0.0002/rand13b58e.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.07 0.56 0.22 5/37 24645 /proc/meminfo: memFree=416740/1048576 swapFree=2095456/2097144 [pid=24644] ppid=24643 vsize=2388 CPUtime=0 /proc/24644/stat : 24644 (uns-trendy-0.00) R 24643 24644 24102 769 24102 4194304 346 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 260 1283457024 134512640 135191968 4288595184 18446744073709551615 4159467936 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/24644/statm: 597 260 220 166 0 29 0 [pid=24645] ppid=24644 vsize=2388 CPUtime=0 /proc/24645/stat : 24645 (uns-trendy-0.00) R 24644 24644 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 40 1283457024 134512640 135191968 4288595184 18446744073709551615 4159467936 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/24645/statm: 597 40 0 166 0 29 0 [startup+0.117851 s] /proc/loadavg: 1.07 0.56 0.22 5/37 24645 /proc/meminfo: memFree=416740/1048576 swapFree=2095456/2097144 [pid=24644] ppid=24643 vsize=2388 CPUtime=0 /proc/24644/stat : 24644 (uns-trendy-0.00) S 24643 24644 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 261 1283457024 134512640 135191968 4288595184 18446744073709551615 4159465886 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24644/statm: 597 261 221 166 0 29 0 [pid=24645] ppid=24644 vsize=12920 CPUtime=0.12 /proc/24645/stat : 24645 (cudfsolver-stat) R 24644 24644 24102 769 24102 4202496 1819 0 0 0 12 0 0 0 25 0 1 0 524943256 13230080 1731 1283457024 134512640 140938604 4290864864 18446744073709551615 134608450 0 0 0 0 0 0 0 17 0 0 0 0 /proc/24645/statm: 3230 1731 132 1569 0 1638 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 15308 [startup+0.207854 s] /proc/loadavg: 1.07 0.56 0.22 5/37 24645 /proc/meminfo: memFree=416740/1048576 swapFree=2095456/2097144 [pid=24644] ppid=24643 vsize=2388 CPUtime=0 /proc/24644/stat : 24644 (uns-trendy-0.00) S 24643 24644 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 261 1283457024 134512640 135191968 4288595184 18446744073709551615 4159465886 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24644/statm: 597 261 221 166 0 29 0 [pid=24645] ppid=24644 vsize=17276 CPUtime=0.2 /proc/24645/stat : 24645 (cudfsolver-stat) R 24644 24644 24102 769 24102 4202496 2898 0 0 0 18 2 0 0 25 0 1 0 524943256 17690624 2778 1283457024 134512640 140938604 4290864864 18446744073709551615 134604294 0 0 0 0 0 0 0 17 0 0 0 0 /proc/24645/statm: 4319 2778 132 1569 0 2727 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 19664 [startup+0.307877 s] /proc/loadavg: 1.07 0.56 0.22 5/37 24645 /proc/meminfo: memFree=416740/1048576 swapFree=2095456/2097144 [pid=24644] ppid=24643 vsize=2388 CPUtime=0 /proc/24644/stat : 24644 (uns-trendy-0.00) S 24643 24644 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 261 1283457024 134512640 135191968 4288595184 18446744073709551615 4159465886 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24644/statm: 597 261 221 166 0 29 0 [pid=24645] ppid=24644 vsize=21764 CPUtime=0.3 /proc/24645/stat : 24645 (cudfsolver-stat) R 24644 24644 24102 769 24102 4202496 4045 0 0 0 27 3 0 0 25 0 1 0 524943256 22286336 3925 1283457024 134512640 140938604 4290864864 18446744073709551615 140190654 0 0 0 0 0 0 0 17 0 0 0 0 /proc/24645/statm: 5441 3925 132 1569 0 3849 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 24152 [startup+0.707943 s] /proc/loadavg: 1.07 0.56 0.22 5/37 24645 /proc/meminfo: memFree=416740/1048576 swapFree=2095456/2097144 [pid=24644] ppid=24643 vsize=2388 CPUtime=0 /proc/24644/stat : 24644 (uns-trendy-0.00) S 24643 24644 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 261 1283457024 134512640 135191968 4288595184 18446744073709551615 4159465886 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24644/statm: 597 261 221 166 0 29 0 [pid=24645] ppid=24644 vsize=38504 CPUtime=0.7 /proc/24645/stat : 24645 (cudfsolver-stat) R 24644 24644 24102 769 24102 4202496 8310 0 0 0 64 6 0 0 25 0 1 0 524943256 39428096 8092 1283457024 134512640 140938604 4290864864 18446744073709551615 134569699 0 0 0 0 0 0 0 17 0 0 0 0 /proc/24645/statm: 9626 8092 132 1569 0 8034 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 40892 Solver just ended. Dumping a history of the last processes samples [startup+0.807967 s] /proc/loadavg: 1.07 0.56 0.22 5/37 24645 /proc/meminfo: memFree=416740/1048576 swapFree=2095456/2097144 [pid=24644] ppid=24643 vsize=2388 CPUtime=0 /proc/24644/stat : 24644 (uns-trendy-0.00) S 24643 24644 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 261 1283457024 134512640 135191968 4288595184 18446744073709551615 4159465886 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24644/statm: 597 261 221 166 0 29 0 [pid=24645] ppid=24644 vsize=52304 CPUtime=0.8 /proc/24645/stat : 24645 (cudfsolver-stat) R 24644 24644 24102 769 24102 4202496 12064 0 0 0 74 6 0 0 25 0 1 0 524943256 53559296 10867 1283457024 134512640 140938604 4290864864 18446744073709551615 137924001 0 0 0 0 0 0 0 17 0 0 0 0 /proc/24645/statm: 13076 10867 391 1569 0 11130 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 54692 [startup+1.00798 s] /proc/loadavg: 1.07 0.56 0.22 5/37 24645 /proc/meminfo: memFree=416740/1048576 swapFree=2095456/2097144 [pid=24644] ppid=24643 vsize=2388 CPUtime=0 /proc/24644/stat : 24644 (uns-trendy-0.00) S 24643 24644 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 261 1283457024 134512640 135191968 4288595184 18446744073709551615 4159465886 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24644/statm: 597 261 221 166 0 29 0 [pid=24645] ppid=24644 vsize=52780 CPUtime=1.01 /proc/24645/stat : 24645 (cudfsolver-stat) R 24644 24644 24102 769 24102 4202496 14211 0 0 0 93 8 0 0 25 0 1 0 524943256 54046720 10759 1283457024 134512640 140938604 4290864864 18446744073709551615 136200329 0 0 0 0 0 0 0 17 0 0 0 0 /proc/24645/statm: 13195 10759 480 1569 0 11249 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 55168 [startup+1.10801 s] /proc/loadavg: 1.07 0.57 0.22 2/38 24646 /proc/meminfo: memFree=369104/1048576 swapFree=2095456/2097144 [pid=24644] ppid=24643 vsize=2388 CPUtime=0 /proc/24644/stat : 24644 (uns-trendy-0.00) S 24643 24644 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524943256 2445312 261 1283457024 134512640 135191968 4288595184 18446744073709551615 4159465886 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24644/statm: 597 261 221 166 0 29 0 [pid=24645] ppid=24644 vsize=55908 CPUtime=1.11 /proc/24645/stat : 24645 (cudfsolver-stat) R 24644 24644 24102 769 24102 4202496 21735 0 0 0 101 10 0 0 25 0 1 0 524943256 57249792 12241 1283457024 134512640 140938604 4290864864 18446744073709551615 134802604 0 0 0 0 0 0 0 17 0 0 0 0 /proc/24645/statm: 13977 12241 623 1569 0 12031 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 58296 Child status: 0 Real time (s): 1.1952 CPU time (s): 1.19207 CPU user time (s): 1.06807 CPU system time (s): 0.124007 CPU usage (%): 99.7382 Max. virtual memory (cumulated for all children) (KiB): 58296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.06807 system time used= 0.124007 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22148 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= 53 runsolver used 0 second user time and 0 second system time The end