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/rand5c1800.cudf.easy.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/easy//rand5c1800.cudf /home/misc2010/tmp/201007050905/uns-trendy-0.0002/rand5c1800.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.30 1.18 0.77 4/37 26628 /proc/meminfo: memFree=355528/1048576 swapFree=2095456/2097144 [pid=26627] ppid=26626 vsize=2384 CPUtime=0 /proc/26627/stat : 26627 (uns-trendy-0.00) S 26626 26627 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525019734 2441216 260 1283457024 134512640 135191968 4289478096 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26627/statm: 596 260 221 166 0 28 0 [pid=26628] ppid=26627 vsize=8260 CPUtime=0.02 /proc/26628/stat : 26628 (cudfsolver-stat) R 26627 26627 24102 769 24102 4202496 625 0 0 0 0 2 0 0 25 0 1 0 525019734 8458240 562 1283457024 134512640 140938604 4287269760 18446744073709551615 140173403 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26628/statm: 2065 562 132 1569 0 473 0 [startup+0.200276 s] /proc/loadavg: 1.30 1.18 0.77 4/37 26628 /proc/meminfo: memFree=355528/1048576 swapFree=2095456/2097144 [pid=26627] ppid=26626 vsize=2384 CPUtime=0 /proc/26627/stat : 26627 (uns-trendy-0.00) S 26626 26627 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525019734 2441216 260 1283457024 134512640 135191968 4289478096 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26627/statm: 596 260 221 166 0 28 0 [pid=26628] ppid=26627 vsize=16316 CPUtime=0.19 /proc/26628/stat : 26628 (cudfsolver-stat) R 26627 26627 24102 769 24102 4202496 2677 0 0 0 17 2 0 0 25 0 1 0 525019734 16707584 2566 1283457024 134512640 140938604 4287269760 18446744073709551615 140187465 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26628/statm: 4079 2566 132 1569 0 2487 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 18700 [startup+0.310298 s] /proc/loadavg: 1.30 1.18 0.77 4/37 26628 /proc/meminfo: memFree=355528/1048576 swapFree=2095456/2097144 [pid=26627] ppid=26626 vsize=2384 CPUtime=0 /proc/26627/stat : 26627 (uns-trendy-0.00) S 26626 26627 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525019734 2441216 260 1283457024 134512640 135191968 4289478096 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26627/statm: 596 260 221 166 0 28 0 [pid=26628] ppid=26627 vsize=20840 CPUtime=0.3 /proc/26628/stat : 26628 (cudfsolver-stat) R 26627 26627 24102 769 24102 4202496 3826 0 0 0 28 2 0 0 25 0 1 0 525019734 21340160 3707 1283457024 134512640 140938604 4287269760 18446744073709551615 134604541 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26628/statm: 5210 3707 132 1569 0 3618 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23224 [startup+0.410333 s] /proc/loadavg: 1.30 1.18 0.77 4/37 26628 /proc/meminfo: memFree=355528/1048576 swapFree=2095456/2097144 [pid=26627] ppid=26626 vsize=2384 CPUtime=0 /proc/26627/stat : 26627 (uns-trendy-0.00) S 26626 26627 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525019734 2441216 260 1283457024 134512640 135191968 4289478096 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26627/statm: 596 260 221 166 0 28 0 [pid=26628] ppid=26627 vsize=24932 CPUtime=0.39 /proc/26628/stat : 26628 (cudfsolver-stat) R 26627 26627 24102 769 24102 4202496 4851 0 0 0 36 3 0 0 25 0 1 0 525019734 25530368 4700 1283457024 134512640 140938604 4287269760 18446744073709551615 140190666 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26628/statm: 6233 4700 132 1569 0 4641 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 27316 [startup+0.710362 s] /proc/loadavg: 1.30 1.18 0.77 4/37 26628 /proc/meminfo: memFree=355528/1048576 swapFree=2095456/2097144 [pid=26627] ppid=26626 vsize=2384 CPUtime=0 /proc/26627/stat : 26627 (uns-trendy-0.00) S 26626 26627 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525019734 2441216 260 1283457024 134512640 135191968 4289478096 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26627/statm: 596 260 221 166 0 28 0 [pid=26628] ppid=26627 vsize=37316 CPUtime=0.69 /proc/26628/stat : 26628 (cudfsolver-stat) R 26627 26627 24102 769 24102 4202496 8003 0 0 0 64 5 0 0 25 0 1 0 525019734 38211584 7786 1283457024 134512640 140938604 4287269760 18446744073709551615 134604314 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26628/statm: 9329 7786 132 1569 0 7737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39700 Solver just ended. Dumping a history of the last processes samples [startup+0.910403 s] /proc/loadavg: 1.30 1.18 0.77 4/37 26628 /proc/meminfo: memFree=355528/1048576 swapFree=2095456/2097144 [pid=26627] ppid=26626 vsize=2384 CPUtime=0 /proc/26627/stat : 26627 (uns-trendy-0.00) S 26626 26627 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525019734 2441216 260 1283457024 134512640 135191968 4289478096 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26627/statm: 596 260 221 166 0 28 0 [pid=26628] ppid=26627 vsize=51700 CPUtime=0.88 /proc/26628/stat : 26628 (cudfsolver-stat) R 26627 26627 24102 769 24102 4202496 13012 0 0 0 82 6 0 0 25 0 1 0 525019734 52940800 10859 1283457024 134512640 140938604 4287269760 18446744073709551615 137948699 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26628/statm: 12925 10859 411 1569 0 10979 0 Current children cumulated CPU time (s) 0.88 Current children cumulated vsize (KiB) 54084 [startup+1.11046 s] /proc/loadavg: 1.30 1.18 0.77 4/37 26628 /proc/meminfo: memFree=355528/1048576 swapFree=2095456/2097144 [pid=26627] ppid=26626 vsize=2384 CPUtime=0 /proc/26627/stat : 26627 (uns-trendy-0.00) S 26626 26627 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525019734 2441216 260 1283457024 134512640 135191968 4289478096 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26627/statm: 596 260 221 166 0 28 0 [pid=26628] ppid=26627 vsize=80532 CPUtime=1.09 /proc/26628/stat : 26628 (cudfsolver-stat) R 26627 26627 24102 769 24102 4202496 19394 0 0 0 97 12 0 0 25 0 1 0 525019734 82464768 12148 1283457024 134512640 140938604 4287269760 18446744073709551615 135160567 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26628/statm: 20133 12148 617 1569 0 18187 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 82916 [startup+1.2105 s] /proc/loadavg: 1.28 1.18 0.77 2/38 26629 /proc/meminfo: memFree=311748/1048576 swapFree=2095456/2097144 [pid=26627] ppid=26626 vsize=2384 CPUtime=0 /proc/26627/stat : 26627 (uns-trendy-0.00) S 26626 26627 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525019734 2441216 260 1283457024 134512640 135191968 4289478096 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26627/statm: 596 260 221 166 0 28 0 [pid=26628] ppid=26627 vsize=51072 CPUtime=1.19 /proc/26628/stat : 26628 (cudfsolver-stat) R 26627 26627 24102 769 24102 4202496 22009 0 0 0 105 14 0 0 25 0 1 0 525019734 52297728 11109 1283457024 134512640 140938604 4287269760 18446744073709551615 139957837 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26628/statm: 12768 11109 656 1569 0 10822 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 53456 Child status: 0 Real time (s): 1.22564 CPU time (s): 1.20807 CPU user time (s): 1.05206 CPU system time (s): 0.156009 CPU usage (%): 98.567 Max. virtual memory (cumulated for all children) (KiB): 82916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.05207 system time used= 0.156009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22386 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= 66 runsolver used 0 second user time and 0 second system time The end