runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-318345-1176317132 -o ROOT/results/node6/solver-318345-1176317132 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/318345-1176317132/cmusat_base /tmp/evaluation/318345-1176317132/instance-318345-1176317132.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.95 0.87 3/77 22483
/proc/meminfo: memFree=1445048/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=9028 CPUtime=0
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 528 0 0 0 0 0 0 0 18 0 1 0 107751017 9244672 510 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 2257 512 90 241 0 2013 0
[startup+0.042166 s]
/proc/loadavg: 0.92 0.95 0.87 3/77 22483
/proc/meminfo: memFree=1445048/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=14572 CPUtime=0.03
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 2926 0 0 0 3 0 0 0 18 0 1 0 107751017 14921728 2908 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 3643 2910 90 241 0 3399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14572
[startup+0.101172 s]
/proc/loadavg: 0.92 0.95 0.87 3/77 22483
/proc/meminfo: memFree=1445048/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=47008 CPUtime=0.09
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 4555 0 0 0 8 1 0 0 18 0 1 0 107751017 48136192 4537 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 11752 4538 90 241 0 11508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47008
[startup+0.301195 s]
/proc/loadavg: 0.92 0.95 0.87 3/77 22483
/proc/meminfo: memFree=1445048/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=49788 CPUtime=0.29
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 6219 0 0 0 27 2 0 0 19 0 1 0 107751017 50982912 6201 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 12447 6201 90 241 0 12203 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49788
[startup+0.701242 s]
/proc/loadavg: 0.92 0.95 0.87 3/77 22483
/proc/meminfo: memFree=1445048/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=55332 CPUtime=0.69
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 9506 0 0 0 65 4 0 0 23 0 1 0 107751017 56659968 9488 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134564434 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 13833 9488 90 241 0 13589 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55332
[startup+1.50134 s]
/proc/loadavg: 0.92 0.95 0.87 2/78 22484
/proc/meminfo: memFree=1397552/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=66288 CPUtime=1.49
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 16033 0 0 0 141 8 0 0 25 0 1 0 107751017 67878912 16015 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134564484 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 16572 16015 90 241 0 16328 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66288
[startup+3.10252 s]
/proc/loadavg: 0.92 0.95 0.87 2/78 22484
/proc/meminfo: memFree=1361776/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=89080 CPUtime=3.09
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 21140 0 0 0 299 10 0 0 25 0 1 0 107751017 91217920 21122 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 22270 21122 110 241 0 22026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89080
[startup+6.3019 s]
/proc/loadavg: 0.93 0.95 0.87 2/78 22484
/proc/meminfo: memFree=1346608/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=131636 CPUtime=6.29
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 31974 0 0 0 615 14 0 0 25 0 1 0 107751017 134795264 24712 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134561627 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 32909 24712 110 241 0 32665 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131636
[startup+12.7016 s]
/proc/loadavg: 0.93 0.96 0.87 2/78 22484
/proc/meminfo: memFree=1345264/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=132296 CPUtime=12.69
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 32349 0 0 0 1254 15 0 0 25 0 1 0 107751017 135471104 25087 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 33074 25087 110 241 0 32830 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132296
[startup+25.5011 s]
/proc/loadavg: 0.95 0.96 0.88 2/78 22484
/proc/meminfo: memFree=1336368/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=139704 CPUtime=25.48
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 34546 0 0 0 2532 16 0 0 25 0 1 0 107751017 143056896 27284 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134563209 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 34926 27284 110 241 0 34682 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 139704
[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.88 2/78 22484
/proc/meminfo: memFree=1311280/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=162152 CPUtime=51.08
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 40838 0 0 0 5088 20 0 0 25 0 1 0 107751017 166043648 33576 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 40538 33576 110 241 0 40294 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 162152
[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.88 2/78 22484
/proc/meminfo: memFree=1279792/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=190632 CPUtime=102.27
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 48649 0 0 0 10199 28 0 0 25 0 1 0 107751017 195207168 41387 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 47658 41387 110 241 0 47414 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 190632
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.89 2/78 22484
/proc/meminfo: memFree=1226992/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=240848 CPUtime=162.24
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 61911 0 0 0 16186 38 0 0 25 0 1 0 107751017 246628352 54649 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 60212 54649 110 241 0 59968 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 240848
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.89 2/78 22484
/proc/meminfo: memFree=1218608/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=248424 CPUtime=222.22
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 66357 0 0 0 22180 42 0 0 25 0 1 0 107751017 254386176 56652 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134562545 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 62106 56652 110 241 0 61862 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 248424
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.90 2/78 22484
/proc/meminfo: memFree=1202416/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=264716 CPUtime=282.21
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 70426 0 0 0 28174 47 0 0 25 0 1 0 107751017 271069184 60721 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134551734 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 66179 60721 110 241 0 65935 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 264716
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1189168/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=277356 CPUtime=342.19
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 76219 0 0 0 34168 51 0 0 25 0 1 0 107751017 284012544 63995 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 69339 63995 110 241 0 69095 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 277356
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1180080/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=286108 CPUtime=402.17
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 78594 0 0 0 40164 53 0 0 25 0 1 0 107751017 292974592 66370 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 71527 66370 110 241 0 71283 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 286108
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1152432/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=312132 CPUtime=462.15
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 87943 0 0 0 46154 61 0 0 25 0 1 0 107751017 319623168 73169 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 78033 73169 110 241 0 77789 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 312132
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1152368/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=312132 CPUtime=522.14
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 87956 0 0 0 52152 62 0 0 25 0 1 0 107751017 319623168 73182 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134560006 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 78033 73182 110 241 0 77789 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 312132
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1150704/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=312728 CPUtime=582.12
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 91028 0 0 0 58148 64 0 0 25 0 1 0 107751017 320233472 73581 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 78182 73581 110 241 0 77938 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 312728
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1150384/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=313080 CPUtime=642.11
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 91119 0 0 0 64147 64 0 0 25 0 1 0 107751017 320593920 73672 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 78270 73672 110 241 0 78026 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 313080
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1149424/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=313240 CPUtime=702.09
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 91359 0 0 0 70144 65 0 0 25 0 1 0 107751017 320757760 73912 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559881 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 78310 73912 110 241 0 78066 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 313240
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1148848/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=313660 CPUtime=762.07
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 94239 0 0 0 76140 67 0 0 25 0 1 0 107751017 321187840 74047 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 78415 74047 110 241 0 78171 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 313660
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1148720/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=313796 CPUtime=822.05
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 94265 0 0 0 82138 67 0 0 25 0 1 0 107751017 321327104 74073 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559932 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 78449 74073 110 241 0 78205 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 313796
[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22484
/proc/meminfo: memFree=1147888/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=314208 CPUtime=882.03
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 94477 0 0 0 88135 68 0 0 25 0 1 0 107751017 321748992 74285 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134560493 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 78552 74285 110 241 0 78308 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 314208
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/84 22566
/proc/meminfo: memFree=1121920/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=337080 CPUtime=941.98
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 103434 0 0 0 94121 77 0 0 25 0 1 0 107751017 345169920 80432 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 84270 80432 110 241 0 84026 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 337080
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22682
/proc/meminfo: memFree=1122864/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=337080 CPUtime=1001.88
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 103435 0 0 0 100111 77 0 0 25 0 1 0 107751017 345169920 80433 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134561636 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 84270 80433 110 241 0 84026 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 337080
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 22682
/proc/meminfo: memFree=1122928/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=337080 CPUtime=1061.87
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 103436 0 0 0 106109 78 0 0 25 0 1 0 107751017 345169920 80434 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 84270 80434 110 241 0 84026 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 337080
[startup+1122.3 s]
/proc/loadavg: 1.06 0.99 0.91 2/78 22682
/proc/meminfo: memFree=1110512/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=349380 CPUtime=1121.85
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 106623 0 0 0 112103 82 0 0 25 0 1 0 107751017 357765120 83621 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559932 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 87345 83621 110 241 0 87101 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 349380
[startup+1182.3 s]
/proc/loadavg: 1.02 0.99 0.91 2/78 22682
/proc/meminfo: memFree=1098480/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=360780 CPUtime=1181.83
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 112528 0 0 0 118097 86 0 0 25 0 1 0 107751017 369438720 86579 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134560002 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 90195 86579 110 241 0 89951 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 360780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 22682
/proc/meminfo: memFree=1098480/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=360780 CPUtime=1200.03
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 112529 0 0 0 119917 86 0 0 25 0 1 0 107751017 369438720 86580 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 90195 86580 110 241 0 89951 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 360780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 22682
/proc/meminfo: memFree=1098480/2055924 swapFree=4192812/4192956
[pid=22483] ppid=22481 vsize=360780 CPUtime=1200.03
/proc/22483/stat : 22483 (cmusat_base) R 22481 22483 22184 0 -1 4194304 112529 0 0 0 119917 86 0 0 25 0 1 0 107751017 369438720 86580 18446744073709551615 134512640 135500113 4294956576 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/22483/statm: 90195 86580 110 241 0 89951 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 360780
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.56
CPU time (s): 1200.1
CPU user time (s): 1199.18
CPU system time (s): 0.92086
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 360780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.18
system time used= 0.92086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112529
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= 6
involuntary context switches= 25433
runsolver used 1.41078 second user time and 2.94055 second system time
The end
Begin job on node6 on Wed Apr 11 18:45:34 UTC 2007
IDJOB= 318345
IDBENCH= 20452
IDSOLVER= 120
FILE ID= node6/318345-1176317132
PBS_JOBID= 4516501
Free space on /tmp= 66541 MiB
SOLVER NAME= CMUSAT BASE 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/babic/dspam/dspam_dump_vc1104.cnf
COMMAND LINE= /tmp/evaluation/318345-1176317132/cmusat_base /tmp/evaluation/318345-1176317132/instance-318345-1176317132.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-318345-1176317132 -o ROOT/results/node6/solver-318345-1176317132 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/318345-1176317132/cmusat_base /tmp/evaluation/318345-1176317132/instance-318345-1176317132.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= b832b12eac41e59883ac2887c5963c54
RANDOM SEED= 832496192
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1445520 kB
Buffers: 38636 kB
Cached: 452724 kB
SwapCached: 144 kB
Active: 248824 kB
Inactive: 297636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1445520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 21476 kB
Writeback: 0 kB
Mapped: 73840 kB
Slab: 49552 kB
Committed_AS: 4798180 kB
PageTables: 1784 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66541 MiB
End job on node6 on Wed Apr 11 19:05:36 UTC 2007