runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3288062-1303768210/watcher-3288062-1303768210 -o /tmp/evaluation-result-3288062-1303768210/solver-3288062-1303768210 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3288062-1303768210.cnf rnovelty
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.87 3.87 3.81 4/195 29389
/proc/meminfo: memFree=12668440/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=0 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) R 29387 29389 27759 0 -1 4202496 314 0 0 0 0 0 0 0 25 0 1 0 567051695 8912896 252 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734998933 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/29389/statm: 2176 252 211 178 0 69 0
[startup+0.00763301 s]
/proc/loadavg: 3.87 3.87 3.81 4/195 29389
/proc/meminfo: memFree=12668440/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=0 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) R 29387 29389 27759 0 -1 4202496 314 0 0 0 0 0 0 0 25 0 1 0 567051695 8912896 252 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734998933 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/29389/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100651 s]
/proc/loadavg: 3.87 3.87 3.81 4/195 29389
/proc/meminfo: memFree=12668440/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=0 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 567051695 8912896 252 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29389/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300616 s]
/proc/loadavg: 3.87 3.87 3.81 4/195 29389
/proc/meminfo: memFree=12668440/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=0 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 567051695 8912896 252 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29389/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700549 s]
/proc/loadavg: 3.87 3.87 3.81 4/195 29389
/proc/meminfo: memFree=12668440/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=0 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 567051695 8912896 252 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29389/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50038 s]
/proc/loadavg: 3.87 3.87 3.81 5/197 29391
/proc/meminfo: memFree=12613492/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 8704
[startup+3.10113 s]
/proc/loadavg: 3.87 3.87 3.81 5/198 29393
/proc/meminfo: memFree=12610384/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=52952 CPUtime=2.04 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 11481 0 0 0 203 1 0 0 25 0 1 0 567051800 54222848 11392 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 13238 11392 136 12 0 11702 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 70360
[startup+6.30057 s]
/proc/loadavg: 3.88 3.87 3.81 5/198 29393
/proc/meminfo: memFree=12609812/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=53512 CPUtime=5.24 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 11606 0 0 0 523 1 0 0 25 0 1 0 567051800 54796288 11517 33554432000 4194304 4241092 140735893628560 18446744073709551615 4209455 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 13378 11517 136 12 0 11842 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 70920
[startup+12.7005 s]
/proc/loadavg: 3.89 3.87 3.81 5/198 29394
/proc/meminfo: memFree=12606364/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=54564 CPUtime=11.64 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 11864 0 0 0 1163 1 0 0 25 0 1 0 567051800 55873536 11775 33554432000 4194304 4241092 140735893628560 18446744073709551615 4206008 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 13641 11775 136 12 0 12105 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 71972
[startup+25.5012 s]
/proc/loadavg: 3.91 3.88 3.81 5/198 29394
/proc/meminfo: memFree=12601024/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=56440 CPUtime=24.44 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 12334 0 0 0 2442 2 0 0 25 0 1 0 567051800 57794560 12245 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 14110 12245 136 12 0 12574 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 73848
[startup+51.1007 s]
/proc/loadavg: 3.94 3.89 3.82 5/198 29395
/proc/meminfo: memFree=12590452/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=60096 CPUtime=50.04 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 13261 0 0 0 5002 2 0 0 25 0 1 0 567051800 61538304 13172 33554432000 4194304 4241092 140735893628560 18446744073709551615 4222336 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 15024 13172 136 12 0 13488 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77504
[startup+102.308 s]
/proc/loadavg: 3.97 3.90 3.82 5/198 29396
/proc/meminfo: memFree=12575524/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=65508 CPUtime=101.25 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 14622 0 0 0 10122 3 0 0 25 0 1 0 567051800 67080192 14532 33554432000 4194304 4241092 140735893628560 18446744073709551615 4204580 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 16377 14532 136 12 0 14841 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 82916
[startup+162.3 s]
/proc/loadavg: 3.99 3.92 3.83 5/198 29398
/proc/meminfo: memFree=12560992/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=69436 CPUtime=161.24 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 15601 0 0 0 16121 3 0 0 25 0 1 0 567051800 71102464 15508 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223410 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 17359 15508 136 12 0 15823 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 86844
[startup+222.301 s]
/proc/loadavg: 4.04 3.94 3.84 5/198 29399
/proc/meminfo: memFree=12540988/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=73428 CPUtime=221.25 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 16605 0 0 0 22121 4 0 0 25 0 1 0 567051800 75190272 16494 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 18357 16494 136 12 0 16821 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 90836
[startup+282.3 s]
/proc/loadavg: 4.01 3.95 3.85 5/198 29401
/proc/meminfo: memFree=12528076/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=12451944/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=98560 CPUtime=761.26 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 23295 0 0 0 76118 8 0 0 25 0 1 0 567051800 100925440 22793 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 24640 22793 136 12 0 23104 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 115968
[startup+822.301 s]
/proc/loadavg: 4.02 4.01 3.91 5/198 29424
/proc/meminfo: memFree=12448444/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=98560 CPUtime=821.26 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 23357 0 0 0 82118 8 0 0 25 0 1 0 567051800 100925440 22797 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 24640 22797 136 12 0 23104 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 115968
[startup+882.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/198 29426
/proc/meminfo: memFree=12447932/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=98720 CPUtime=881.26 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 23422 0 0 0 88118 8 0 0 25 0 1 0 567051800 101089280 22831 33554432000 4194304 4241092 140735893628560 18446744073709551615 4228867 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 24680 22831 136 12 0 23144 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 116128
[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 29427
/proc/meminfo: memFree=12442808/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=98880 CPUtime=941.26 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 23494 0 0 0 94118 8 0 0 25 0 1 0 567051800 101253120 22870 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 24720 22870 136 12 0 23184 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 116288
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 29429
/proc/meminfo: memFree=12431628/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=100204 CPUtime=1001.26 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 23880 0 0 0 100118 8 0 0 25 0 1 0 567051800 102608896 23203 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 25051 23203 136 12 0 23515 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 117612
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 29431
/proc/meminfo: memFree=12427640/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=103584 CPUtime=1061.26 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 24782 0 0 0 106117 9 0 0 25 0 1 0 567051800 106070016 24058 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 25896 24058 136 12 0 24360 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 120992
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 29432
/proc/meminfo: memFree=12421792/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=103680 CPUtime=1121.26 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 24841 0 0 0 112117 9 0 0 25 0 1 0 567051800 106168320 24079 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223668 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 25920 24079 136 12 0 24384 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 121088
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 29434
/proc/meminfo: memFree=12419284/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=104580 CPUtime=1181.27 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 25126 0 0 0 118117 10 0 0 25 0 1 0 567051800 107089920 24307 33554432000 4194304 4241092 140735893628560 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 26145 24307 136 12 0 24609 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 121988
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 29593
/proc/meminfo: memFree=12420496/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=106460 CPUtime=1241.27 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 25668 0 0 0 124117 10 0 0 25 0 1 0 567051800 109015040 24781 33554432000 4194304 4241092 140735893628560 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 26615 24781 136 12 0 25079 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 123868
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 29595
/proc/meminfo: memFree=12394772/32951124 swapFree=67102140/67111528
[pid=29389] ppid=29387 vsize=8704 CPUtime=1.03 cores=1,3
/proc/29389/stat : 29389 (esg_static.sh) S 29387 29389 27759 0 -1 4202496 348 13250 0 0 0 0 100 3 18 0 1 0 567051695 8912896 255 33554432000 4194304 4922060 140735763869936 18446744073709551615 216735178496 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/29389/statm: 2176 255 211 178 0 69 0
[pid=29392] ppid=29389 vsize=8704 CPUtime=0 cores=1,3
/proc/29392/stat : 29392 (esg_static.sh) S 29389 29389 27759 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 567051800 8912896 134 33554432000 4194304 4922060 140735763869936 18446744073709551615 216734997637 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/29392/statm: 2176 134 90 178 0 69 0
[pid=29393] ppid=29392 vsize=114392 CPUtime=1298.97 cores=1,3
/proc/29393/stat : 29393 (sathys) R 29392 29389 27759 0 -1 4202496 27672 0 0 0 129887 10 0 0 25 0 1 0 567051800 117137408 26743 33554432000 4194304 4241092 140735893628560 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/29393/statm: 28598 26743 136 12 0 27062 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 131800
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29389 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=9846
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=37994
# CPU time returned by wait4() is 1.04784
# while last known CPU time is 1300
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1300.02
CPU time (s): 1300
CPU user time (s): 1299.87
CPU system time (s): 0.13
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 131800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.00985
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13764
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= 32
involuntary context switches= 6
runsolver used 2.05269 second user time and 5.06223 second system time
The end
Begin job on node119 at 2011-04-25 23:50:10
IDJOB=3288062
IDBENCH=82482
IDSOLVER=1610
FILE ID=node119/3288062-1303768210
RUNJOBID= node119-1303768099-29244
PBS_JOBID= 13157136
Free space on /tmp= 71672 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288062-1303768210/watcher-3288062-1303768210 -o /tmp/evaluation-result-3288062-1303768210/solver-3288062-1303768210 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3288062-1303768210.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 3fad4722cb319d6fee4192f2fe2c31ed
RANDOM SEED=46955353
node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 12668712 kB
Buffers: 2225352 kB
Cached: 17246588 kB
SwapCached: 5504 kB
Active: 8324704 kB
Inactive: 11375508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12668712 kB
SwapTotal: 67111528 kB
SwapFree: 67102140 kB
Dirty: 12996 kB
Writeback: 0 kB
AnonPages: 225712 kB
Mapped: 15124 kB
Slab: 517640 kB
PageTables: 5752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 419952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71632 MiB
End job on node119 at 2011-04-26 00:11:52