runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-339086-1173698225 -o ROOT/results/node72/solver-339086-1173698225 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/339086-1173698225/cmusat_base /tmp/evaluation/339086-1173698225/instance-339086-1173698225.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.98 0.99 3/77 24623
/proc/meminfo: memFree=1798504/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=2308 CPUtime=0
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 169 0 0 0 0 0 0 0 18 0 1 0 389790289 2363392 151 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560009 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 577 151 93 241 0 333 0
[startup+0.0668251 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24623
/proc/meminfo: memFree=1798504/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=2712 CPUtime=0.06
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 282 0 0 0 6 0 0 0 18 0 1 0 389790289 2777088 264 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559914 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 678 264 111 241 0 434 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2712
[startup+0.101826 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24623
/proc/meminfo: memFree=1798504/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=2712 CPUtime=0.09
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 295 0 0 0 9 0 0 0 18 0 1 0 389790289 2777088 277 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134551361 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 678 277 111 241 0 434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2712
[startup+0.301844 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24623
/proc/meminfo: memFree=1798504/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=2844 CPUtime=0.29
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 315 0 0 0 29 0 0 0 19 0 1 0 389790289 2912256 297 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560029 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 711 297 111 241 0 467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2844
[startup+0.701881 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24623
/proc/meminfo: memFree=1798504/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=2988 CPUtime=0.69
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 373 0 0 0 69 0 0 0 23 0 1 0 389790289 3059712 355 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 747 355 111 241 0 503 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2988
[startup+1.50195 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1796896/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=3676 CPUtime=1.49
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 529 0 0 0 149 0 0 0 25 0 1 0 389790289 3764224 511 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134550452 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 919 511 111 241 0 675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3676
[startup+3.1011 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1796384/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=5448 CPUtime=3.09
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 913 0 0 0 309 0 0 0 25 0 1 0 389790289 5578752 895 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134551462 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 1362 895 111 241 0 1118 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5448
[startup+6.30139 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1795040/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=5448 CPUtime=6.29
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 962 0 0 0 629 0 0 0 25 0 1 0 389790289 5578752 944 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560009 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 1362 944 111 241 0 1118 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5448
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1791584/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=9188 CPUtime=12.69
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 2028 0 0 0 1269 0 0 0 25 0 1 0 389790289 9408512 1778 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134551398 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 2297 1778 111 241 0 2053 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9188
[startup+25.5022 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1790048/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=10716 CPUtime=25.49
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 2679 0 0 0 2548 1 0 0 25 0 1 0 389790289 10973184 2234 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 2679 2234 111 241 0 2435 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10716
[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1784480/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=16532 CPUtime=51.08
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 4634 0 0 0 5106 2 0 0 25 0 1 0 389790289 16928768 3536 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559881 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 4133 3536 111 241 0 3889 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16532
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1772896/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=29704 CPUtime=102.27
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 8674 0 0 0 10222 5 0 0 25 0 1 0 389790289 30416896 6429 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 7426 6429 111 241 0 7182 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29704
[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1771616/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=30568 CPUtime=162.25
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 9307 0 0 0 16219 6 0 0 25 0 1 0 389790289 31301632 6741 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 7642 6741 111 241 0 7398 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 30568
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1768608/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=33184 CPUtime=222.23
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 10442 0 0 0 22216 7 0 0 25 0 1 0 389790289 33980416 7488 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560006 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 8296 7488 111 241 0 8052 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 33184
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1765792/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=35716 CPUtime=282.22
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 11378 0 0 0 28213 9 0 0 25 0 1 0 389790289 36573184 8201 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559881 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 8929 8201 111 241 0 8685 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 35716
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1762208/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=39136 CPUtime=342.21
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 12511 0 0 0 34210 11 0 0 25 0 1 0 389790289 40075264 9056 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560149 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 9784 9056 111 241 0 9540 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 39136
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1746208/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=59168 CPUtime=402.19
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 17922 0 0 0 40206 13 0 0 25 0 1 0 389790289 60588032 13074 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560066 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 14792 13074 111 241 0 14548 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 59168
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1745632/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=59284 CPUtime=462.17
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 18370 0 0 0 46203 14 0 0 25 0 1 0 389790289 60706816 13226 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 14821 13226 111 241 0 14577 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 59284
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1745504/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=59152 CPUtime=522.17
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 18390 0 0 0 52202 15 0 0 25 0 1 0 389790289 60571648 13213 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 14788 13213 111 241 0 14544 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 59152
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1745440/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=59152 CPUtime=582.15
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 18446 0 0 0 58200 15 0 0 25 0 1 0 389790289 60571648 13269 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559862 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 14788 13269 111 241 0 14544 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 59152
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 24624
/proc/meminfo: memFree=1744992/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=59280 CPUtime=642.14
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 18884 0 0 0 64198 16 0 0 25 0 1 0 389790289 60702720 13382 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 14820 13382 111 241 0 14576 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 59280
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1744608/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=59796 CPUtime=702.12
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 18956 0 0 0 70195 17 0 0 25 0 1 0 389790289 61231104 13454 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 14949 13454 111 241 0 14705 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 59796
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1743840/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=59940 CPUtime=762.11
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 19498 0 0 0 76194 17 0 0 25 0 1 0 389790289 61378560 13639 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560509 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 14985 13639 111 241 0 14741 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 59940
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1743648/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=60324 CPUtime=822.09
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 19579 0 0 0 82191 18 0 0 25 0 1 0 389790289 61771776 13687 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 15081 13687 111 241 0 14837 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 60324
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1743648/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=60324 CPUtime=882.07
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 19588 0 0 0 88189 18 0 0 25 0 1 0 389790289 61771776 13696 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134563209 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 15081 13696 111 241 0 14837 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 60324
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1741472/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=62204 CPUtime=942.06
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 20137 0 0 0 94187 19 0 0 25 0 1 0 389790289 63696896 14245 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560462 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 15551 14245 111 241 0 15307 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 62204
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1739616/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=63940 CPUtime=1002.05
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 20978 0 0 0 100184 21 0 0 25 0 1 0 389790289 65474560 14693 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559881 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 15985 14693 111 241 0 15741 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 63940
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1739424/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=64204 CPUtime=1062.03
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 21028 0 0 0 106182 21 0 0 25 0 1 0 389790289 65744896 14743 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134549672 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 16051 14743 111 241 0 15807 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 64204
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1739360/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=64336 CPUtime=1122.02
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 21049 0 0 0 112180 22 0 0 25 0 1 0 389790289 65880064 14764 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560149 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 16084 14764 111 241 0 15840 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 64336
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24624
/proc/meminfo: memFree=1735392/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=68052 CPUtime=1182
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 22100 0 0 0 118177 23 0 0 25 0 1 0 389790289 69685248 15782 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559989 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 17013 15782 111 241 0 16769 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 68052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 24624
/proc/meminfo: memFree=1734624/2055920 swapFree=4147304/4192956
[pid=24623] ppid=24621 vsize=68620 CPUtime=1200.1
/proc/24623/stat : 24623 (cmusat_base) R 24621 24623 24261 0 -1 4194304 22698 0 0 0 119987 23 0 0 25 0 1 0 389790289 70266880 15948 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/24623/statm: 17155 15948 111 241 0 16911 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 68620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.42
CPU time (s): 1200.12
CPU user time (s): 1199.87
CPU system time (s): 0.249962
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 68620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.87
system time used= 0.249962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22698
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= 20334
runsolver used 1.3198 second user time and 3.05454 second system time
The end
Begin job on node72 on Mon Mar 12 11:17:05 UTC 2007
IDJOB= 339086
IDBENCH= 24738
IDSOLVER= 120
FILE ID= node72/339086-1173698225
PBS_JOBID= 4101763
Free space on /tmp= 66082 MiB
SOLVER NAME= CMUSAT BASE 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/jarvisalo/mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/339086-1173698225/cmusat_base /tmp/evaluation/339086-1173698225/instance-339086-1173698225.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-339086-1173698225 -o ROOT/results/node72/solver-339086-1173698225 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/339086-1173698225/cmusat_base /tmp/evaluation/339086-1173698225/instance-339086-1173698225.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= 5c670fd8fd3fa9f00ac6df3f4ca9c99c
RANDOM SEED= 453666647
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node72.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.236
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.236
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: 1798912 kB
Buffers: 39936 kB
Cached: 153596 kB
SwapCached: 14140 kB
Active: 111436 kB
Inactive: 106256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798912 kB
SwapTotal: 4192956 kB
SwapFree: 4147304 kB
Dirty: 2468 kB
Writeback: 0 kB
Mapped: 30552 kB
Slab: 24940 kB
Committed_AS: 10537324 kB
PageTables: 1680 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= 66082 MiB
End job on node72 on Mon Mar 12 11:37:07 UTC 2007