runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-314195-1176897860 -o ROOT/results/node69/solver-314195-1176897860 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/314195-1176897860/cmusat_base /tmp/evaluation/314195-1176897860/instance-314195-1176897860.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.91 0.95 0.95 3/64 24298
/proc/meminfo: memFree=1496236/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=7548 CPUtime=0
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 523 0 0 0 0 0 0 0 18 0 1 0 165775467 7729152 505 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 1887 508 90 241 0 1643 0
[startup+0.0146071 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 24298
/proc/meminfo: memFree=1496236/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=9132 CPUtime=0
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 1188 0 0 0 0 0 0 0 18 0 1 0 165775467 9351168 1170 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 2283 1172 90 241 0 2039 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9132
[startup+0.10162 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 24298
/proc/meminfo: memFree=1496236/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=46420 CPUtime=0.09
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 3918 0 0 0 8 1 0 0 18 0 1 0 165775467 47534080 3900 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 11605 3901 90 241 0 11361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46420
[startup+0.301653 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 24298
/proc/meminfo: memFree=1496236/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=49588 CPUtime=0.29
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 5916 0 0 0 26 3 0 0 19 0 1 0 165775467 50778112 5898 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134564434 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 12397 5898 90 241 0 12153 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49588
[startup+0.701717 s]
/proc/loadavg: 0.91 0.95 0.95 3/64 24298
/proc/meminfo: memFree=1496236/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=56188 CPUtime=0.69
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 9887 0 0 0 64 5 0 0 23 0 1 0 165775467 57536512 9869 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134564434 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 14047 9869 90 241 0 13803 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56188
[startup+1.50185 s]
/proc/loadavg: 0.91 0.95 0.95 2/65 24299
/proc/meminfo: memFree=1443492/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=83204 CPUtime=1.49
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 19666 0 0 0 139 10 0 0 25 0 1 0 165775467 85200896 19648 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134553269 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 20801 19648 92 241 0 20557 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83204
[startup+3.10111 s]
/proc/loadavg: 0.91 0.95 0.95 2/65 24299
/proc/meminfo: memFree=1416996/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=83468 CPUtime=3.09
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 19955 0 0 0 298 11 0 0 25 0 1 0 165775467 85471232 19937 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134560538 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 20867 19937 111 241 0 20623 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83468
[startup+6.30163 s]
/proc/loadavg: 0.92 0.95 0.95 2/65 24299
/proc/meminfo: memFree=1416420/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=83864 CPUtime=6.29
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 20026 0 0 0 617 12 0 0 25 0 1 0 165775467 85876736 20008 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559804 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 20966 20008 111 241 0 20722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83864
[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.95 2/65 24299
/proc/meminfo: memFree=1415660/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=84788 CPUtime=12.68
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 20293 0 0 0 1256 12 0 0 25 0 1 0 165775467 86822912 20275 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134560538 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 21197 20275 111 241 0 20953 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84788
[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.95 2/65 24299
/proc/meminfo: memFree=1412204/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=88100 CPUtime=25.48
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 21151 0 0 0 2535 13 0 0 25 0 1 0 165775467 90214400 21133 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 22025 21133 111 241 0 21781 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88100
[startup+51.1019 s]
/proc/loadavg: 0.96 0.96 0.95 2/65 24299
/proc/meminfo: memFree=1401004/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=99272 CPUtime=51.06
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 23948 0 0 0 5090 16 0 0 25 0 1 0 165775467 101654528 23930 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134561662 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 24818 23930 111 241 0 24574 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 99272
[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.95 2/65 24299
/proc/meminfo: memFree=1349228/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=182248 CPUtime=102.24
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 44666 0 0 0 10198 26 0 0 25 0 1 0 165775467 186621952 36811 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134562408 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 45562 36811 111 241 0 45318 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 182248
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1348524/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=182248 CPUtime=162.22
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 44846 0 0 0 16196 26 0 0 25 0 1 0 165775467 186621952 36991 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134552542 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 45562 36991 111 241 0 45318 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 182248
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1321260/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=210236 CPUtime=222.21
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 51673 0 0 0 22190 31 0 0 25 0 1 0 165775467 215281664 43818 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134560476 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 52559 43818 111 241 0 52315 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 210236
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1290220/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=241828 CPUtime=282.18
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 59463 0 0 0 28182 36 0 0 25 0 1 0 165775467 247631872 51608 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559857 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 60457 51608 111 241 0 60213 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 241828
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1261676/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=271568 CPUtime=342.17
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 66552 0 0 0 34174 43 0 0 25 0 1 0 165775467 278085632 58697 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134560538 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 67892 58697 111 241 0 67648 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 271568
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1239596/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=294324 CPUtime=402.14
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 72120 0 0 0 40168 46 0 0 25 0 1 0 165775467 301387776 64265 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 73581 64265 111 241 0 73337 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 294324
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1160684/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=379164 CPUtime=462.13
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 91761 0 0 0 46156 57 0 0 25 0 1 0 165775467 388263936 83906 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134562416 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 94791 83906 111 241 0 94547 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 379164
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1119212/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=422596 CPUtime=522.11
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 102240 0 0 0 52148 63 0 0 25 0 1 0 165775467 432738304 94385 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 105649 94385 111 241 0 105405 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 422596
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1073004/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=470388 CPUtime=582.09
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 113742 0 0 0 58140 69 0 0 25 0 1 0 165775467 481677312 105887 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559804 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 117597 105887 111 241 0 117353 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 470388
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=1019180/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=525348 CPUtime=642.08
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 126990 0 0 0 64130 78 0 0 25 0 1 0 165775467 537956352 119135 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 131337 119135 111 241 0 131093 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 525348
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=912748/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=639112 CPUtime=702.05
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 153565 0 0 0 70115 90 0 0 25 0 1 0 165775467 654450688 145710 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 159778 145710 111 241 0 159534 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 639112
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=868972/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=685088 CPUtime=762.04
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 164485 0 0 0 76105 99 0 0 25 0 1 0 165775467 701530112 156630 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134560023 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 171272 156630 111 241 0 171028 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 685088
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=841388/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=713508 CPUtime=822.01
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 171389 0 0 0 82098 103 0 0 25 0 1 0 165775467 730632192 163534 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 178377 163534 111 241 0 178133 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 713508
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=817196/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=738060 CPUtime=882
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 177400 0 0 0 88094 106 0 0 25 0 1 0 165775467 755773440 169545 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 184515 169545 111 241 0 184271 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 738060
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=788524/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=768824 CPUtime=941.98
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 184625 0 0 0 94087 111 0 0 25 0 1 0 165775467 787275776 176770 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134560538 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 192206 176770 111 241 0 191962 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 768824
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 24299
/proc/meminfo: memFree=755500/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=802780 CPUtime=1001.96
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 192799 0 0 0 100081 115 0 0 25 0 1 0 165775467 822046720 184944 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559932 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 200695 184944 111 241 0 200451 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 802780
[startup+1062.3 s]
/proc/loadavg: 1.03 0.99 0.96 2/65 24299
/proc/meminfo: memFree=720364/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=840132 CPUtime=1061.94
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 201641 0 0 0 106072 122 0 0 25 0 1 0 165775467 860295168 193786 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134562414 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 210033 193786 111 241 0 209789 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 840132
[startup+1122.3 s]
/proc/loadavg: 1.04 1.00 0.96 2/65 24299
/proc/meminfo: memFree=683500/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=878240 CPUtime=1121.92
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 210787 0 0 0 112065 127 0 0 25 0 1 0 165775467 899317760 202932 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134560002 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 219560 202932 111 241 0 219316 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 878240
[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 24299
/proc/meminfo: memFree=648364/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=915124 CPUtime=1181.91
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 219552 0 0 0 118059 132 0 0 25 0 1 0 165775467 937086976 211697 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 228781 211697 111 241 0 228537 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 915124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 24299
/proc/meminfo: memFree=642028/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=921308 CPUtime=1200
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4194304 221055 0 0 0 119867 133 0 0 25 0 1 0 165775467 943419392 213200 18446744073709551615 134512640 135500113 4294956656 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 230327 213200 111 241 0 230083 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 921308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.51 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 24299
/proc/meminfo: memFree=642028/2055920 swapFree=4182860/4192956
[pid=24298] ppid=24296 vsize=0 CPUtime=1200.1
/proc/24298/stat : 24298 (cmusat_base) R 24296 24298 23418 0 -1 4195332 221055 0 0 0 119867 143 0 0 25 0 1 0 165775467 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 35 0 0 0 17 1 0 0
/proc/24298/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.54
CPU time (s): 1200.14
CPU user time (s): 1198.68
CPU system time (s): 1.46678
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 921308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.68
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221055
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= 1890
runsolver used 0.804877 second user time and 2.48762 second system time
The end
Begin job on node69 on Wed Apr 18 12:04:20 UTC 2007
IDJOB= 314195
IDBENCH= 20385
IDSOLVER= 120
FILE ID= node69/314195-1176897860
PBS_JOBID= 4595164
Free space on /tmp= 66478 MiB
SOLVER NAME= CMUSAT BASE 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf
COMMAND LINE= /tmp/evaluation/314195-1176897860/cmusat_base /tmp/evaluation/314195-1176897860/instance-314195-1176897860.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-314195-1176897860 -o ROOT/results/node69/solver-314195-1176897860 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/314195-1176897860/cmusat_base /tmp/evaluation/314195-1176897860/instance-314195-1176897860.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= c2f768afbb9db3d5f5133c3f48734894
RANDOM SEED= 125759384
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node69.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.264
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 : 5931.00
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.264
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: 2055920 kB
MemFree: 1496708 kB
Buffers: 8784 kB
Cached: 481268 kB
SwapCached: 3628 kB
Active: 129344 kB
Inactive: 369996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1496708 kB
SwapTotal: 4192956 kB
SwapFree: 4182860 kB
Dirty: 20324 kB
Writeback: 0 kB
Mapped: 15468 kB
Slab: 45832 kB
Committed_AS: 1454628 kB
PageTables: 1472 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= 66478 MiB
End job on node69 on Wed Apr 18 12:24:23 UTC 2007