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/randaaa8ea.cudf.easy.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/easy//randaaa8ea.cudf /home/misc2010/tmp/201007050905/uns-paranoid-0.0002/randaaa8ea.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.24 1.25 1.06 6/37 28828 /proc/meminfo: memFree=481040/1048576 swapFree=2095456/2097144 [pid=28827] ppid=28826 vsize=2388 CPUtime=0.01 /proc/28827/stat : 28827 (uns-paranoid-0.) R 28826 28827 24102 769 24102 4194304 346 0 0 0 0 1 0 0 25 0 1 0 525124137 2445312 259 1283457024 134512640 135191968 4287714336 18446744073709551615 4158980512 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/28827/statm: 597 259 220 166 0 29 0 [pid=28828] ppid=28827 vsize=2388 CPUtime=0 /proc/28828/stat : 28828 (uns-paranoid-0.) R 28827 28827 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525124138 2445312 39 1283457024 134512640 135191968 4287714336 18446744073709551615 4158980512 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/28828/statm: 597 39 0 166 0 29 0 [startup+0.180891 s] /proc/loadavg: 1.24 1.25 1.06 6/37 28828 /proc/meminfo: memFree=481040/1048576 swapFree=2095456/2097144 [pid=28827] ppid=28826 vsize=2388 CPUtime=0.01 /proc/28827/stat : 28827 (uns-paranoid-0.) S 28826 28827 24102 769 24102 4194304 364 0 0 0 0 1 0 0 25 0 1 0 525124137 2445312 260 1283457024 134512640 135191968 4287714336 18446744073709551615 4158978462 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28827/statm: 597 260 221 166 0 29 0 [pid=28828] ppid=28827 vsize=16184 CPUtime=0.17 /proc/28828/stat : 28828 (cudfsolver-stat) R 28827 28827 24102 769 24102 4202496 2616 0 0 0 16 1 0 0 25 0 1 0 525124138 16572416 2504 1283457024 134512640 140938604 4288394416 18446744073709551615 134605311 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28828/statm: 4046 2504 132 1569 0 2454 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 18572 [startup+0.2109 s] /proc/loadavg: 1.24 1.25 1.06 6/37 28828 /proc/meminfo: memFree=481040/1048576 swapFree=2095456/2097144 [pid=28827] ppid=28826 vsize=2388 CPUtime=0.01 /proc/28827/stat : 28827 (uns-paranoid-0.) S 28826 28827 24102 769 24102 4194304 364 0 0 0 0 1 0 0 25 0 1 0 525124137 2445312 260 1283457024 134512640 135191968 4287714336 18446744073709551615 4158978462 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28827/statm: 597 260 221 166 0 29 0 [pid=28828] ppid=28827 vsize=17540 CPUtime=0.2 /proc/28828/stat : 28828 (cudfsolver-stat) R 28827 28827 24102 769 24102 4202496 2981 0 0 0 19 1 0 0 25 0 1 0 525124138 17960960 2861 1283457024 134512640 140938604 4288394416 18446744073709551615 134567615 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28828/statm: 4385 2861 132 1569 0 2793 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 19928 [startup+0.310927 s] /proc/loadavg: 1.24 1.25 1.06 6/37 28828 /proc/meminfo: memFree=481040/1048576 swapFree=2095456/2097144 [pid=28827] ppid=28826 vsize=2388 CPUtime=0.01 /proc/28827/stat : 28827 (uns-paranoid-0.) S 28826 28827 24102 769 24102 4194304 364 0 0 0 0 1 0 0 25 0 1 0 525124137 2445312 260 1283457024 134512640 135191968 4287714336 18446744073709551615 4158978462 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28827/statm: 597 260 221 166 0 29 0 [pid=28828] ppid=28827 vsize=22160 CPUtime=0.3 /proc/28828/stat : 28828 (cudfsolver-stat) R 28827 28827 24102 769 24102 4202496 4138 0 0 0 28 2 0 0 25 0 1 0 525124138 22691840 4018 1283457024 134512640 140938604 4288394416 18446744073709551615 140190633 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28828/statm: 5540 4018 132 1569 0 3948 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 24548 [startup+0.711051 s] /proc/loadavg: 1.24 1.25 1.06 6/37 28828 /proc/meminfo: memFree=481040/1048576 swapFree=2095456/2097144 [pid=28827] ppid=28826 vsize=2388 CPUtime=0.01 /proc/28827/stat : 28827 (uns-paranoid-0.) S 28826 28827 24102 769 24102 4194304 364 0 0 0 0 1 0 0 25 0 1 0 525124137 2445312 260 1283457024 134512640 135191968 4287714336 18446744073709551615 4158978462 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28827/statm: 597 260 221 166 0 29 0 [pid=28828] ppid=28827 vsize=42452 CPUtime=0.7 /proc/28828/stat : 28828 (cudfsolver-stat) R 28827 28827 24102 769 24102 4202496 8977 0 0 0 65 5 0 0 25 0 1 0 525124138 43470848 8629 1283457024 134512640 140938604 4288394416 18446744073709551615 134555766 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28828/statm: 10613 8629 313 1569 0 8667 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 44840 Solver just ended. Dumping a history of the last processes samples [startup+0.811085 s] /proc/loadavg: 1.24 1.25 1.06 6/37 28828 /proc/meminfo: memFree=481040/1048576 swapFree=2095456/2097144 [pid=28827] ppid=28826 vsize=2388 CPUtime=0.01 /proc/28827/stat : 28827 (uns-paranoid-0.) S 28826 28827 24102 769 24102 4194304 364 0 0 0 0 1 0 0 25 0 1 0 525124137 2445312 260 1283457024 134512640 135191968 4287714336 18446744073709551615 4158978462 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28827/statm: 597 260 221 166 0 29 0 [pid=28828] ppid=28827 vsize=47480 CPUtime=0.8 /proc/28828/stat : 28828 (cudfsolver-stat) R 28827 28827 24102 769 24102 4202496 11096 0 0 0 75 5 0 0 25 0 1 0 525124138 48619520 9892 1283457024 134512640 140938604 4288394416 18446744073709551615 137239322 0 0 0 0 0 0 0 17 0 0 0 0 /proc/28828/statm: 11870 9892 411 1569 0 9924 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 49868 Child status: 0 Real time (s): 0.884915 CPU time (s): 0.892055 CPU user time (s): 0.816051 CPU system time (s): 0.076004 CPU usage (%): 100.807 Max. virtual memory (cumulated for all children) (KiB): 49868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.816051 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= 12303 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= 20 runsolver used 0 second user time and 0 second system time The end