runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-330177-1173158852 -o ROOT/results/node70/solver-330177-1173158852 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/330177-1173158852/cmusat /tmp/evaluation/330177-1173158852/instance-330177-1173158852.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: 1.83 1.82 1.44 3/64 13080
/proc/meminfo: memFree=1123808/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=2184 CPUtime=0
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 41837551 2236416 359 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134517271 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 546 359 88 243 0 300 0
[startup+0.052268 s]
/proc/loadavg: 1.83 1.82 1.44 3/64 13080
/proc/meminfo: memFree=1123808/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=5688 CPUtime=0.04
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 1255 0 0 0 4 0 0 0 18 0 1 0 41837551 5824512 1238 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 135095640 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 1422 1244 96 243 0 1176 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5688
[startup+0.101268 s]
/proc/loadavg: 1.83 1.82 1.44 3/64 13080
/proc/meminfo: memFree=1123808/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=9836 CPUtime=0.09
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 2181 0 0 0 8 1 0 0 18 0 1 0 41837551 10072064 2164 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 2459 2164 96 243 0 2213 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9836
[startup+0.301289 s]
/proc/loadavg: 1.83 1.82 1.44 3/64 13080
/proc/meminfo: memFree=1123808/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=27128 CPUtime=0.29
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 5948 0 0 0 27 2 0 0 19 0 1 0 41837551 27779072 5931 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134548965 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 6782 5932 96 243 0 6536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27128
[startup+0.701328 s]
/proc/loadavg: 1.83 1.82 1.44 3/64 13080
/proc/meminfo: memFree=1123808/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=41884 CPUtime=0.69
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 9713 0 0 0 65 4 0 0 22 0 1 0 41837551 42889216 9696 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 10471 9696 109 243 0 10225 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41884
[startup+1.50141 s]
/proc/loadavg: 1.83 1.82 1.44 2/65 13081
/proc/meminfo: memFree=1078488/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=59152 CPUtime=1.49
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 13898 0 0 0 143 6 0 0 25 0 1 0 41837551 60571648 13881 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 135092575 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 14788 13881 109 243 0 14542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59152
[startup+3.10157 s]
/proc/loadavg: 1.83 1.82 1.44 2/65 13081
/proc/meminfo: memFree=1065496/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=49096 CPUtime=3.09
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 16402 0 0 0 300 9 0 0 25 0 1 0 41837551 50274304 12139 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 135107896 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 12274 12139 112 243 0 12028 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49096
[startup+6.30189 s]
/proc/loadavg: 1.77 1.81 1.44 2/65 13081
/proc/meminfo: memFree=1075032/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=49096 CPUtime=6.29
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 16409 0 0 0 620 9 0 0 25 0 1 0 41837551 50274304 12146 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134580275 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 12274 12146 119 243 0 12028 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49096
[startup+12.7015 s]
/proc/loadavg: 1.71 1.79 1.44 2/65 13081
/proc/meminfo: memFree=1075224/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=49096 CPUtime=12.69
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 16409 0 0 0 1260 9 0 0 25 0 1 0 41837551 50274304 12146 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 12274 12146 119 243 0 12028 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49096
[startup+25.5028 s]
/proc/loadavg: 1.55 1.75 1.43 2/65 13081
/proc/meminfo: memFree=1075224/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=49096 CPUtime=25.49
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 16409 0 0 0 2540 9 0 0 25 0 1 0 41837551 50274304 12146 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 12274 12146 119 243 0 12028 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49096
[startup+51.1024 s]
/proc/loadavg: 1.36 1.69 1.42 2/65 13081
/proc/meminfo: memFree=1069272/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=55696 CPUtime=51.08
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 18033 0 0 0 5098 10 0 0 25 0 1 0 41837551 57032704 13770 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134581434 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 13924 13770 119 243 0 13678 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55696
[startup+102.306 s]
/proc/loadavg: 1.15 1.58 1.40 2/65 13081
/proc/meminfo: memFree=1046424/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=78208 CPUtime=102.27
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 23677 0 0 0 10212 15 0 0 25 0 1 0 41837551 80084992 19414 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134580894 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 19552 19414 119 243 0 19306 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78208
[startup+162.303 s]
/proc/loadavg: 1.06 1.47 1.37 2/65 13081
/proc/meminfo: memFree=1026840/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=97896 CPUtime=162.25
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 28579 0 0 0 16204 21 0 0 25 0 1 0 41837551 100245504 24316 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 24474 24316 119 243 0 24228 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 97896
[startup+222.303 s]
/proc/loadavg: 1.02 1.38 1.34 2/65 13081
/proc/meminfo: memFree=1022552/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=101988 CPUtime=222.23
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 30356 0 0 0 22200 23 0 0 25 0 1 0 41837551 104435712 25349 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589593 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 25497 25349 119 243 0 25251 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 101988
[startup+282.303 s]
/proc/loadavg: 1.00 1.31 1.32 2/65 13081
/proc/meminfo: memFree=1018136/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=106392 CPUtime=282.21
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 32236 0 0 0 28198 23 0 0 25 0 1 0 41837551 108945408 26452 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 26598 26452 119 243 0 26352 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 106392
[startup+342.302 s]
/proc/loadavg: 1.00 1.25 1.29 2/65 13081
/proc/meminfo: memFree=1016344/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=108372 CPUtime=342.19
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 32725 0 0 0 34195 24 0 0 25 0 1 0 41837551 110972928 26941 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 27093 26941 119 243 0 26847 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 108372
[startup+402.302 s]
/proc/loadavg: 1.00 1.20 1.27 2/65 13081
/proc/meminfo: memFree=985112/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=139816 CPUtime=402.18
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 40593 0 0 0 40185 33 0 0 25 0 1 0 41837551 143171584 34809 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134591993 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 34954 34809 119 243 0 34708 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 139816
[startup+462.302 s]
/proc/loadavg: 1.00 1.16 1.25 2/65 13081
/proc/meminfo: memFree=956824/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=167624 CPUtime=462.16
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 48305 0 0 0 46176 40 0 0 25 0 1 0 41837551 171646976 41733 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 41906 41733 119 243 0 41660 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 167624
[startup+522.302 s]
/proc/loadavg: 1.00 1.13 1.24 2/65 13081
/proc/meminfo: memFree=956888/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=167624 CPUtime=522.14
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 48307 0 0 0 52174 40 0 0 25 0 1 0 41837551 171646976 41735 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 41906 41735 119 243 0 41660 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 167624
[startup+582.302 s]
/proc/loadavg: 1.00 1.11 1.22 2/65 13081
/proc/meminfo: memFree=956824/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=167624 CPUtime=582.13
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 48311 0 0 0 58172 41 0 0 25 0 1 0 41837551 171646976 41739 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134578742 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 41906 41739 119 243 0 41660 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 167624
[startup+642.302 s]
/proc/loadavg: 1.00 1.08 1.20 2/65 13081
/proc/meminfo: memFree=950040/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=174368 CPUtime=642.12
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 49990 0 0 0 64169 43 0 0 25 0 1 0 41837551 178552832 43418 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589835 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 43592 43418 119 243 0 43346 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 174368
[startup+702.302 s]
/proc/loadavg: 1.00 1.07 1.18 2/65 13081
/proc/meminfo: memFree=928472/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=196088 CPUtime=702.09
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 56256 0 0 0 70160 49 0 0 25 0 1 0 41837551 200794112 48821 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 49022 48821 119 243 0 48776 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 196088
[startup+762.305 s]
/proc/loadavg: 1.00 1.05 1.17 2/65 13081
/proc/meminfo: memFree=928472/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=196088 CPUtime=762.08
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 56256 0 0 0 76159 49 0 0 25 0 1 0 41837551 200794112 48821 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 135091424 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 49022 48821 119 243 0 48776 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 196088
[startup+822.302 s]
/proc/loadavg: 1.00 1.04 1.16 2/65 13081
/proc/meminfo: memFree=928536/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=196088 CPUtime=822.06
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 56256 0 0 0 82157 49 0 0 25 0 1 0 41837551 200794112 48821 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134591381 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 49022 48821 119 243 0 48776 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 196088
[startup+882.302 s]
/proc/loadavg: 1.00 1.03 1.15 2/65 13081
/proc/meminfo: memFree=928472/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=196088 CPUtime=882.04
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 56256 0 0 0 88155 49 0 0 25 0 1 0 41837551 200794112 48821 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134581016 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 49022 48821 119 243 0 48776 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 196088
[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.14 2/65 13081
/proc/meminfo: memFree=914008/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=210880 CPUtime=942.03
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 59970 0 0 0 94150 53 0 0 25 0 1 0 41837551 215941120 52535 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134591993 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 52720 52535 119 243 0 52474 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 210880
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.12 2/65 13081
/proc/meminfo: memFree=905688/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=218816 CPUtime=1002.01
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 62831 0 0 0 100145 56 0 0 25 0 1 0 41837551 224067584 54504 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 54704 54504 119 243 0 54458 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 218816
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/65 13081
/proc/meminfo: memFree=905688/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=218816 CPUtime=1062
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 62831 0 0 0 106144 56 0 0 25 0 1 0 41837551 224067584 54504 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589524 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 54704 54504 119 243 0 54458 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 218816
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/65 13081
/proc/meminfo: memFree=905688/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=218816 CPUtime=1121.98
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 62831 0 0 0 112142 56 0 0 25 0 1 0 41837551 224067584 54504 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589684 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 54704 54504 119 243 0 54458 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 218816
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 13081
/proc/meminfo: memFree=905688/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=218816 CPUtime=1181.96
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 62831 0 0 0 118140 56 0 0 25 0 1 0 41837551 224067584 54504 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589601 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 54704 54504 119 243 0 54458 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 218816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 13081
/proc/meminfo: memFree=905688/2055920 swapFree=4192952/4192956
[pid=13080] ppid=13078 vsize=218816 CPUtime=1200.06
/proc/13080/stat : 13080 (cmusat) R 13078 13080 11169 0 -1 4194304 62831 0 0 0 119950 56 0 0 25 0 1 0 41837551 224067584 54504 18446744073709551615 134512640 135508737 4294956720 18446744073709551615 134589650 0 0 4096 35 0 0 0 17 1 0 0
/proc/13080/statm: 54704 54504 119 243 0 54458 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 218816
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.44
CPU time (s): 1200.11
CPU user time (s): 1199.51
CPU system time (s): 0.600908
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 218836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.51
system time used= 0.600908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62831
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= 2887
runsolver used 0.758884 second user time and 2.53361 second system time
The end
Begin job on node70 on Tue Mar 6 05:27:33 UTC 2007
IDJOB= 330177
IDBENCH= 20557
IDSOLVER= 121
FILE ID= node70/330177-1173158852
PBS_JOBID= 4015205
Free space on /tmp= 66542 MiB
SOLVER NAME= CMUSAT 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
COMMAND LINE= /tmp/evaluation/330177-1173158852/cmusat /tmp/evaluation/330177-1173158852/instance-330177-1173158852.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-330177-1173158852 -o ROOT/results/node70/solver-330177-1173158852 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/330177-1173158852/cmusat /tmp/evaluation/330177-1173158852/instance-330177-1173158852.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= a98ae53616f0aac946d1660291c4c36b
RANDOM SEED= 277652920
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node70.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.234
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.234
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: 1124088 kB
Buffers: 40356 kB
Cached: 797196 kB
SwapCached: 4 kB
Active: 185696 kB
Inactive: 670456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1124088 kB
SwapTotal: 4192956 kB
SwapFree: 4192952 kB
Dirty: 12260 kB
Writeback: 0 kB
Mapped: 28820 kB
Slab: 61616 kB
Committed_AS: 131720 kB
PageTables: 1408 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= 66542 MiB
End job on node70 on Tue Mar 6 05:47:36 UTC 2007