runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-313282-1176881500 -o ROOT/results/node21/solver-313282-1176881500 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/313282-1176881500/adaptg2wsat /tmp/evaluation/313282-1176881500/instance-313282-1176881500.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.97 2/77 9882
/proc/meminfo: memFree=1641088/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=215024 CPUtime=0
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 93 0 0 0 0 0 0 0 18 0 1 0 136067302 220184576 77 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134583127 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 53756 77 40 101 0 53262 0
[startup+0.0794949 s]
/proc/loadavg: 0.92 0.98 0.97 2/77 9882
/proc/meminfo: memFree=1641088/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=216212 CPUtime=0.07
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 622 0 0 0 7 0 0 0 18 0 1 0 136067302 221401088 606 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134603405 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 54053 608 40 101 0 53559 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 216212
[startup+0.101497 s]
/proc/loadavg: 0.92 0.98 0.97 2/77 9882
/proc/meminfo: memFree=1641088/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=216608 CPUtime=0.09
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 771 0 0 0 9 0 0 0 18 0 1 0 136067302 221806592 755 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134583127 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 54152 755 40 101 0 53658 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 216608
[startup+0.301519 s]
/proc/loadavg: 0.92 0.98 0.97 2/77 9882
/proc/meminfo: memFree=1641088/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=219512 CPUtime=0.29
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 2073 0 0 0 28 1 0 0 19 0 1 0 136067302 224780288 2057 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134603405 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 54878 2057 40 101 0 54384 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 219512
[startup+0.701562 s]
/proc/loadavg: 0.92 0.98 0.97 2/77 9882
/proc/meminfo: memFree=1641088/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=225584 CPUtime=0.69
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 4570 0 0 0 66 3 0 0 23 0 1 0 136067302 230998016 4554 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134521553 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 56396 4554 40 101 0 55902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 225584
[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1614968/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=271912 CPUtime=1.49
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 19355 0 0 0 141 8 0 0 25 0 1 0 136067302 278437888 19338 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134523400 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 67978 19338 40 101 0 67484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 271912
[startup+3.10182 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1563512/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=3.09
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 298 11 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546900 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 281692
[startup+6.30117 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1528824/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=6.28
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 617 11 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134552140 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 281692
[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1528824/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=12.68
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 1257 11 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134547184 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 281692
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1529016/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=25.47
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 2536 11 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134545660 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 281692
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1528952/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=51.07
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 5096 11 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134545047 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 281692
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1529016/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=102.25
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 10214 11 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134547138 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 281692
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1529016/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=162.24
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 16212 12 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134547138 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 281692
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1529016/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=222.23
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 22210 13 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546245 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 281692
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1529016/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=282.21
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 28208 13 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546116 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 281692
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9883
/proc/meminfo: memFree=1529016/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=342.2
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 34206 14 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134545252 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 281692
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528824/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=402.18
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 40204 14 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134547457 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 281692
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528824/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=462.16
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 46202 14 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546170 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 281692
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528824/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=522.14
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 52199 15 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546201 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 281692
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528760/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=582.13
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 58197 16 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546245 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 281692
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528760/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=642.12
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 64196 16 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134540609 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 281692
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528760/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=702.1
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 70193 17 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134545372 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 281692
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528632/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=762.09
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 76192 17 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134547138 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 281692
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528632/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=822.06
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 82189 17 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134547001 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 281692
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528632/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=882.05
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 88187 18 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546030 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 281692
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528568/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=942.03
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 94185 18 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546866 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 281692
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528568/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=1002.02
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 100183 19 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546170 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 281692
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528568/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=1062
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 106181 19 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546245 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 281692
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528440/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=1121.99
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 112179 20 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546882 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 281692
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528440/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=1181.97
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 118177 20 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134546194 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 281692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 9885
/proc/meminfo: memFree=1528376/2055920 swapFree=4159076/4192956
[pid=9882] ppid=9880 vsize=281692 CPUtime=1200.07
/proc/9882/stat : 9882 (adaptg2wsat) R 9880 9882 9328 0 -1 4194304 28053 0 0 0 119987 20 0 0 25 0 1 0 136067302 288452608 28033 18446744073709551615 134512640 134930400 4294956656 18446744073709551615 134547464 0 0 4096 0 0 0 0 17 1 0 0
/proc/9882/statm: 70423 28033 43 101 0 69929 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 281692
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.43
CPU time (s): 1200.1
CPU user time (s): 1199.88
CPU system time (s): 0.226965
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 281692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.88
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28053
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= 24361
runsolver used 1.50077 second user time and 2.85556 second system time
The end
Begin job on node21 on Wed Apr 18 07:31:40 UTC 2007
IDJOB= 313282
IDBENCH= 20362
IDSOLVER= 127
FILE ID= node21/313282-1176881500
PBS_JOBID= 4595104
Free space on /tmp= 66367 MiB
SOLVER NAME= adaptg2wsat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/medium-sat/partial-5-15-s.cnf
COMMAND LINE= /tmp/evaluation/313282-1176881500/adaptg2wsat /tmp/evaluation/313282-1176881500/instance-313282-1176881500.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-313282-1176881500 -o ROOT/results/node21/solver-313282-1176881500 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/313282-1176881500/adaptg2wsat /tmp/evaluation/313282-1176881500/instance-313282-1176881500.cnf
META MD5SUM SOLVER= dc7cfffb7b5aa51d884144c196acd75c
MD5SUM BENCH= aeddf6934ba21adf4a25a76bc314ef43
RANDOM SEED= 530850697
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node21.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: 2055920 kB
MemFree: 1641560 kB
Buffers: 16288 kB
Cached: 307436 kB
SwapCached: 12264 kB
Active: 203928 kB
Inactive: 168036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1641560 kB
SwapTotal: 4192956 kB
SwapFree: 4159076 kB
Dirty: 24348 kB
Writeback: 0 kB
Mapped: 50616 kB
Slab: 27904 kB
Committed_AS: 1033224 kB
PageTables: 1844 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= 66367 MiB
End job on node21 on Wed Apr 18 07:51:43 UTC 2007