runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-335684-1173632283 -o ROOT/results/node55/solver-335684-1173632283 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/335684-1173632283/cmusat_base /tmp/evaluation/335684-1173632283/instance-335684-1173632283.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/64 11971
/proc/meminfo: memFree=1941456/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=3248 CPUtime=0
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 383184751 3325952 239 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 812 239 90 241 0 568 0
[startup+0.101323 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11971
/proc/meminfo: memFree=1941456/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=5688 CPUtime=0.09
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 1096 0 0 0 9 0 0 0 18 0 1 0 383184751 5824512 861 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562349 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 1422 861 112 241 0 1178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5688
[startup+0.201332 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11971
/proc/meminfo: memFree=1941456/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=6612 CPUtime=0.19
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 1318 0 0 0 19 0 0 0 19 0 1 0 383184751 6770688 1083 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 1653 1083 112 241 0 1409 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6612
[startup+0.301341 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11971
/proc/meminfo: memFree=1941456/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=7272 CPUtime=0.29
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 1520 0 0 0 29 0 0 0 19 0 1 0 383184751 7446528 1285 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560023 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 1818 1285 112 241 0 1574 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7272
[startup+0.70138 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11971
/proc/meminfo: memFree=1941456/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=10044 CPUtime=0.69
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 2204 0 0 0 69 0 0 0 23 0 1 0 383184751 10285056 1969 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 2511 1969 112 241 0 2267 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10044
[startup+1.50146 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11972
/proc/meminfo: memFree=1931656/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=14004 CPUtime=1.5
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 3242 0 0 0 149 1 0 0 25 0 1 0 383184751 14340096 3007 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560023 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 3501 3007 112 241 0 3257 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14004
[startup+3.10161 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11972
/proc/meminfo: memFree=1926152/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=18040 CPUtime=3.09
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 4279 0 0 0 308 1 0 0 25 0 1 0 383184751 18472960 4044 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559989 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 4510 4044 112 241 0 4266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18040
[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11972
/proc/meminfo: memFree=1923592/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=19768 CPUtime=6.29
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 4807 0 0 0 628 1 0 0 25 0 1 0 383184751 20242432 4487 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134549319 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 4942 4487 112 241 0 4698 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19768
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11972
/proc/meminfo: memFree=1919688/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=23620 CPUtime=12.69
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 5956 0 0 0 1268 1 0 0 25 0 1 0 383184751 24186880 5458 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560015 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 5905 5458 112 241 0 5661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23620
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 11972
/proc/meminfo: memFree=1911560/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=31612 CPUtime=25.48
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 8273 0 0 0 2546 2 0 0 25 0 1 0 383184751 32370688 7488 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560049 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 7903 7488 112 241 0 7659 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31612
[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 11972
/proc/meminfo: memFree=1901000/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=42184 CPUtime=51.07
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 11115 0 0 0 5103 4 0 0 25 0 1 0 383184751 43196416 10122 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559932 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 10546 10122 112 241 0 10302 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42184
[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 11972
/proc/meminfo: memFree=1861640/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=83092 CPUtime=102.26
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 21727 0 0 0 10217 9 0 0 25 0 1 0 383184751 85086208 19894 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560044 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 20773 19894 112 241 0 20529 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 83092
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11972
/proc/meminfo: memFree=1861448/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=83092 CPUtime=162.24
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 21819 0 0 0 16215 9 0 0 25 0 1 0 383184751 85086208 19986 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560047 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 20773 19986 112 241 0 20529 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 83092
[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 12094
/proc/meminfo: memFree=1856920/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=86120 CPUtime=222.18
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 22628 0 0 0 22207 11 0 0 25 0 1 0 383184751 88186880 20795 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560029 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 21530 20795 112 241 0 21286 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 86120
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1844936/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=99176 CPUtime=282.12
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 26035 0 0 0 28199 13 0 0 25 0 1 0 383184751 101556224 24039 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560023 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 24794 24039 112 241 0 24550 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 99176
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1832328/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=112464 CPUtime=342.1
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 29379 0 0 0 34195 15 0 0 25 0 1 0 383184751 115163136 27211 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135065075 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 28116 27211 112 241 0 27872 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 112464
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1825032/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=119504 CPUtime=402.08
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 31367 0 0 0 40191 17 0 0 25 0 1 0 383184751 122372096 29016 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 29876 29016 112 241 0 29632 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 119504
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1812616/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=131916 CPUtime=462.07
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 34644 0 0 0 46188 19 0 0 25 0 1 0 383184751 135081984 32098 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559989 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 32979 32098 112 241 0 32735 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 131916
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1795848/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=148784 CPUtime=522.05
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 39015 0 0 0 52183 22 0 0 25 0 1 0 383184751 152354816 36261 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135065075 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 37196 36261 112 241 0 36952 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 148784
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1795464/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=149044 CPUtime=582.03
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 39121 0 0 0 58181 22 0 0 25 0 1 0 383184751 152621056 36334 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559989 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 37261 36334 112 241 0 37017 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 149044
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1778760/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=165792 CPUtime=642.02
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 43564 0 0 0 64176 26 0 0 25 0 1 0 383184751 169771008 40521 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134549305 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 41448 40521 112 241 0 41204 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 165792
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1693704/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254296 CPUtime=702
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66007 0 0 0 70167 33 0 0 25 0 1 0 383184751 260399104 61737 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560029 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63574 61737 112 241 0 63330 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 254296
[startup+762.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1693768/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254296 CPUtime=761.99
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66011 0 0 0 76166 33 0 0 25 0 1 0 383184751 260399104 61741 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560110 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63574 61741 112 241 0 63330 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 254296
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1693448/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254372 CPUtime=821.97
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66364 0 0 0 82163 34 0 0 25 0 1 0 383184751 260476928 61838 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560009 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63593 61838 112 241 0 63349 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 254372
[startup+882.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1693320/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254372 CPUtime=881.96
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66373 0 0 0 88162 34 0 0 25 0 1 0 383184751 260476928 61847 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560002 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63593 61847 112 241 0 63349 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 254372
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1693320/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254372 CPUtime=941.94
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66389 0 0 0 94160 34 0 0 25 0 1 0 383184751 260476928 61863 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560029 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63593 61863 112 241 0 63349 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 254372
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1693000/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254372 CPUtime=1001.92
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66455 0 0 0 100158 34 0 0 25 0 1 0 383184751 260476928 61929 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560029 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63593 61929 112 241 0 63349 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 254372
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1692872/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254460 CPUtime=1061.9
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66773 0 0 0 106156 34 0 0 25 0 1 0 383184751 260567040 61972 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63615 61972 112 241 0 63371 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 254460
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1692808/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254460 CPUtime=1121.89
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66776 0 0 0 112155 34 0 0 25 0 1 0 383184751 260567040 61975 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560023 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63615 61975 112 241 0 63371 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 254460
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1692424/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254460 CPUtime=1181.88
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 66856 0 0 0 118153 35 0 0 25 0 1 0 383184751 260567040 62055 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63615 62055 112 241 0 63371 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 254460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12170
/proc/meminfo: memFree=1692296/2055920 swapFree=4183484/4192956
[pid=11971] ppid=11969 vsize=254552 CPUtime=1200.07
/proc/11971/stat : 11971 (cmusat_base) R 11969 11971 11518 0 -1 4194304 67188 0 0 0 119972 35 0 0 25 0 1 0 383184751 260661248 62090 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560029 0 0 4096 35 0 0 0 17 1 0 0
/proc/11971/statm: 63638 62090 112 241 0 63394 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 254552
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.55
CPU time (s): 1200.12
CPU user time (s): 1199.73
CPU system time (s): 0.38894
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 254552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.73
system time used= 0.38894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67188
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= 1926
runsolver used 0.91686 second user time and 2.45463 second system time
The end
Begin job on node55 on Sun Mar 11 16:58:03 UTC 2007
IDJOB= 335684
IDBENCH= 24657
IDSOLVER= 120
FILE ID= node55/335684-1173632283
PBS_JOBID= 4101321
Free space on /tmp= 66552 MiB
SOLVER NAME= CMUSAT BASE 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/counting-php/easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/335684-1173632283/cmusat_base /tmp/evaluation/335684-1173632283/instance-335684-1173632283.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-335684-1173632283 -o ROOT/results/node55/solver-335684-1173632283 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/335684-1173632283/cmusat_base /tmp/evaluation/335684-1173632283/instance-335684-1173632283.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= 4176ac9a36a2f88072132072fe2be571
RANDOM SEED= 411406986
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node55.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.247
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.247
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: 1941864 kB
Buffers: 16036 kB
Cached: 53384 kB
SwapCached: 3272 kB
Active: 24940 kB
Inactive: 54096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1941864 kB
SwapTotal: 4192956 kB
SwapFree: 4183484 kB
Dirty: 2780 kB
Writeback: 0 kB
Mapped: 15320 kB
Slab: 21116 kB
Committed_AS: 989704 kB
PageTables: 1380 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= 66552 MiB
End job on node55 on Sun Mar 11 17:18:06 UTC 2007