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/201108251442/aspuncud-paranoid-1.3/rand992.cudf.dudf-random.log.runsolver ./aspuncud-paranoid-1.3 /home/misc2010/data/2011/dudf-random//rand992.cudf /home/misc2010/tmp/201108251442/aspuncud-paranoid-1.3/rand992.cudf.dudf-random.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.35 1.40 1.28 3/34 24256 /proc/meminfo: memFree=320080/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2588 CPUtime=0 /proc/24255/stat : 24255 (aspuncud-parano) R 24254 24255 4778 34817 4778 4202496 365 0 0 0 0 0 0 0 25 0 1 0 11184815 2650112 279 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/24255/statm: 647 279 234 194 0 34 0 [pid=24256] ppid=24255 vsize=2588 CPUtime=0 /proc/24256/stat : 24256 (aspuncud-parano) R 24255 24255 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11184815 2650112 45 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/24256/statm: 647 45 0 194 0 34 0 [startup+0.176128 s] /proc/loadavg: 1.35 1.40 1.28 3/34 24256 /proc/meminfo: memFree=320080/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=0.02 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 2941 0 0 0 0 0 2 25 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2592 [startup+0.206128 s] /proc/loadavg: 1.35 1.40 1.28 3/34 24256 /proc/meminfo: memFree=320080/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=0.02 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 2941 0 0 0 0 0 2 25 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2592 [startup+0.306176 s] /proc/loadavg: 1.35 1.40 1.28 3/34 24256 /proc/meminfo: memFree=320080/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=0.02 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 2941 0 0 0 0 0 2 25 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2592 [startup+0.706246 s] /proc/loadavg: 1.35 1.40 1.28 3/34 24256 /proc/meminfo: memFree=320080/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=0.02 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 2941 0 0 0 0 0 2 25 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2592 [startup+1.50641 s] /proc/loadavg: 1.35 1.40 1.28 2/37 24272 /proc/meminfo: memFree=297964/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=0.02 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 2941 0 0 0 0 0 2 25 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 [pid=24270] ppid=24255 vsize=3448 CPUtime=0 /proc/24270/stat : 24270 (unclasp) S 24255 24255 4778 34817 4778 4202496 407 0 0 0 0 0 0 0 25 0 1 0 11184816 3530752 272 1283457024 134512640 135121179 4292089776 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/24270/statm: 862 272 240 149 0 53 0 [pid=24271] ppid=24255 vsize=2696 CPUtime=0 /proc/24271/stat : 24271 (gringo) S 24255 24255 4778 34817 4778 4202496 409 0 0 0 0 0 0 0 25 0 1 0 11184816 2760704 281 1283457024 134512640 137056543 4291069488 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/24271/statm: 674 281 252 622 0 49 0 [pid=24272] ppid=24255 vsize=25004 CPUtime=1.48 /proc/24272/stat : 24272 (cudf2lp) R 24255 24255 4778 34817 4778 4202496 7212 0 0 0 146 2 0 0 25 0 1 0 11184816 25604096 5620 1283457024 134512640 135786343 4287421248 18446744073709551615 135208425 0 0 6 0 0 0 0 17 0 0 0 0 /proc/24272/statm: 6251 5620 126 311 0 5938 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 33740 [startup+3.10679 s] /proc/loadavg: 1.35 1.40 1.28 3/37 24272 /proc/meminfo: memFree=279488/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=2.38 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 15840 0 0 0 0 231 7 18 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 [pid=24270] ppid=24255 vsize=16152 CPUtime=0.1 /proc/24270/stat : 24270 (unclasp) R 24255 24255 4778 34817 4778 4202496 3891 0 0 0 4 6 0 0 18 0 1 0 11184816 16539648 3461 1283457024 134512640 135121179 4292089776 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/24270/statm: 4038 3461 277 149 0 3229 0 [pid=24271] ppid=24255 vsize=23888 CPUtime=0.61 /proc/24271/stat : 24271 (gringo) R 24255 24255 4778 34817 4778 4202496 6572 0 0 0 58 3 0 0 18 0 1 0 11184816 24461312 4496 1283457024 134512640 137056543 4291069488 18446744073709551615 134904296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/24271/statm: 5972 4496 268 622 0 5347 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42632 Solver just ended. Dumping a history of the last processes samples [startup+3.20682 s] /proc/loadavg: 1.35 1.40 1.28 3/37 24272 /proc/meminfo: memFree=279488/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=2.38 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 15840 0 0 0 0 231 7 18 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 [pid=24270] ppid=24255 vsize=19656 CPUtime=0.11 /proc/24270/stat : 24270 (unclasp) R 24255 24255 4778 34817 4778 4202496 4809 0 0 0 4 7 0 0 18 0 1 0 11184816 20127744 4288 1283457024 134512640 135121179 4292089776 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/24270/statm: 4914 4288 279 149 0 4105 0 [pid=24271] ppid=24255 vsize=22856 CPUtime=0.7 /proc/24271/stat : 24271 (gringo) R 24255 24255 4778 34817 4778 4202496 7398 0 0 0 66 4 0 0 18 0 1 0 11184816 23404544 4672 1283457024 134512640 137056543 4291069488 18446744073709551615 134551952 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/24271/statm: 5714 4672 269 622 0 5089 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 45104 [startup+4.00715 s] /proc/loadavg: 1.35 1.40 1.28 2/35 24272 /proc/meminfo: memFree=301220/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=3.11 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 23240 0 0 0 0 298 13 16 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 [pid=24270] ppid=24255 vsize=26872 CPUtime=0.89 /proc/24270/stat : 24270 (unclasp) R 24255 24255 4778 34817 4778 4202496 11589 0 0 0 76 13 0 0 19 0 1 0 11184816 27516928 5893 1283457024 134512640 135121179 4292089776 18446744073709551615 134891024 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/24270/statm: 6718 5893 328 149 0 5909 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 29464 [startup+4.40737 s] /proc/loadavg: 1.32 1.40 1.28 2/35 24272 /proc/meminfo: memFree=297128/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=3.11 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 23240 0 0 0 0 298 13 16 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 [pid=24270] ppid=24255 vsize=26872 CPUtime=1.29 /proc/24270/stat : 24270 (unclasp) R 24255 24255 4778 34817 4778 4202496 14969 0 0 0 115 14 0 0 19 0 1 0 11184816 27516928 5893 1283457024 134512640 135121179 4292089776 18446744073709551615 134734450 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/24270/statm: 6718 5893 328 149 0 5909 0 Current children cumulated CPU time (s) 4.4 Current children cumulated vsize (KiB) 29464 [startup+4.60745 s] /proc/loadavg: 1.32 1.40 1.28 2/35 24272 /proc/meminfo: memFree=297128/1048576 swapFree=0/0 [pid=24255] ppid=24254 vsize=2592 CPUtime=3.11 /proc/24255/stat : 24255 (aspuncud-parano) S 24254 24255 4778 34817 4778 4202496 653 23240 0 0 0 0 298 13 16 0 1 0 11184815 2654208 297 1283457024 134512640 135304128 4291677936 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/24255/statm: 648 297 251 194 0 35 0 [pid=24270] ppid=24255 vsize=27392 CPUtime=1.49 /proc/24270/stat : 24270 (unclasp) R 24255 24255 4778 34817 4778 4202496 16529 0 0 0 135 14 0 0 19 0 1 0 11184816 28049408 6023 1283457024 134512640 135121179 4292089776 18446744073709551615 134980996 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/24270/statm: 6848 6023 328 149 0 6039 0 Current children cumulated CPU time (s) 4.6 Current children cumulated vsize (KiB) 29984 Child status: 0 Real time (s): 4.65694 CPU time (s): 4.64829 CPU user time (s): 4.37227 CPU system time (s): 0.276017 CPU usage (%): 99.8143 Max. virtual memory (cumulated for all children) (KiB): 67396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.37227 system time used= 0.276017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43040 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= 1174 involuntary context switches= 890 runsolver used 0 second user time and 0 second system time The end