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-3288016-1303768149/watcher-3288016-1303768149 -o /tmp/evaluation-result-3288016-1303768149/solver-3288016-1303768149 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3288016-1303768149.cnf rnovelty
running on 2 cores: 5,7
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.00 3.06 3.35 3/187 20544
/proc/meminfo: memFree=13315420/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=0 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 488413606 8912896 253 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20544/statm: 2176 253 211 178 0 69 0
[startup+0.010427 s]
/proc/loadavg: 3.00 3.06 3.35 3/187 20544
/proc/meminfo: memFree=13315420/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=0 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 488413606 8912896 253 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20544/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100417 s]
/proc/loadavg: 3.00 3.06 3.35 3/187 20544
/proc/meminfo: memFree=13315420/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=0 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 488413606 8912896 253 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20544/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.30038 s]
/proc/loadavg: 3.00 3.06 3.35 3/187 20544
/proc/meminfo: memFree=13315420/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=0 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 488413606 8912896 253 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20544/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700312 s]
/proc/loadavg: 3.00 3.06 3.35 3/187 20544
/proc/meminfo: memFree=13315420/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=0 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 488413606 8912896 253 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20544/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50018 s]
/proc/loadavg: 3.00 3.06 3.35 4/189 20546
/proc/meminfo: memFree=13225164/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=0 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 488413606 8912896 253 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20544/statm: 2176 253 211 178 0 69 0
[pid=20545] ppid=20544 vsize=95808 CPUtime=1.49 cores=5,7
/proc/20545/stat : 20545 (SatELite_releas) R 20544 20544 18371 0 -1 4202496 22293 0 0 0 143 6 0 0 25 0 1 0 488413606 98107392 20729 33554432000 134512640 135144242 4293363040 18446744073709551615 134726939 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20545/statm: 23952 20729 77 155 0 23795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104512
[startup+3.10091 s]
/proc/loadavg: 3.00 3.06 3.35 4/189 20546
/proc/meminfo: memFree=13213012/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 8704
[startup+6.30038 s]
/proc/loadavg: 3.00 3.06 3.35 4/190 20548
/proc/meminfo: memFree=13237244/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=58848 CPUtime=3.62 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 12902 0 0 0 361 1 0 0 25 0 1 0 488413873 60260352 12813 33554432000 4194304 4241092 140736902328816 18446744073709551615 4206166 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 14712 12813 136 12 0 13176 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76256
[startup+12.7003 s]
/proc/loadavg: 3.00 3.06 3.34 4/190 20548
/proc/meminfo: memFree=13231680/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=60264 CPUtime=10.02 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 13260 0 0 0 1001 1 0 0 25 0 1 0 488413873 61710336 13171 33554432000 4194304 4241092 140736902328816 18446744073709551615 4204604 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 15066 13171 136 12 0 13530 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 77672
[startup+25.5012 s]
/proc/loadavg: 3.00 3.05 3.34 4/190 20549
/proc/meminfo: memFree=13215332/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=62932 CPUtime=22.82 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 13934 0 0 0 2281 1 0 0 25 0 1 0 488413873 64442368 13845 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223555 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 15733 13845 136 12 0 14197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 80340
[startup+51.1008 s]
/proc/loadavg: 3.00 3.05 3.33 4/190 20550
/proc/meminfo: memFree=13200800/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=66984 CPUtime=48.42 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 14933 0 0 0 4840 2 0 0 25 0 1 0 488413873 68591616 14844 33554432000 4194304 4241092 140736902328816 18446744073709551615 4225156 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 16746 14844 136 12 0 15210 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84392
[startup+102.307 s]
/proc/loadavg: 3.06 3.06 3.31 4/190 20551
/proc/meminfo: memFree=13185276/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=73072 CPUtime=99.62 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 16457 0 0 0 9960 2 0 0 25 0 1 0 488413873 74825728 16368 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 18268 16368 136 12 0 16732 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 90480
[startup+162.301 s]
/proc/loadavg: 3.05 3.06 3.29 4/190 20552
/proc/meminfo: memFree=13174840/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=77192 CPUtime=159.62 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 17515 0 0 0 15959 3 0 0 25 0 1 0 488413873 79044608 17415 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 19298 17415 136 12 0 17762 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 94600
[startup+222.301 s]
/proc/loadavg: 3.02 3.04 3.27 4/190 20554
/proc/meminfo: memFree=13154108/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=82300 CPUtime=219.61 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 18828 0 0 0 21958 3 0 0 25 0 1 0 488413873 84275200 18696 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 20575 18696 136 12 0 19039 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 99708
[startup+282.301 s]
/proc/loadavg: 3.00 3.03 3.25 4/190 20556
/proc/meminfo: memFree=13135868/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=85004 CPUtime=279.61 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=13070128/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=103316 CPUtime=759.59 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 24645 0 0 0 75953 6 0 0 25 0 1 0 488413873 105795584 23941 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 25829 23941 136 12 0 24293 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 120724
[startup+822.3 s]
/proc/loadavg: 3.04 3.03 3.14 4/190 20610
/proc/meminfo: memFree=13038872/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=103556 CPUtime=819.6 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 24765 0 0 0 81953 7 0 0 25 0 1 0 488413873 106041344 24009 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 25889 24009 136 12 0 24353 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 120964
[startup+882.301 s]
/proc/loadavg: 3.01 3.02 3.13 4/190 20612
/proc/meminfo: memFree=13036376/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=104648 CPUtime=879.6 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 25065 0 0 0 87953 7 0 0 25 0 1 0 488413873 107159552 24260 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223611 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 26162 24260 136 12 0 24626 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 122056
[startup+942.301 s]
/proc/loadavg: 3.00 3.02 3.12 4/190 20616
/proc/meminfo: memFree=13000568/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=111128 CPUtime=939.59 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 26755 0 0 0 93952 7 0 0 25 0 1 0 488413873 113795072 25888 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 27782 25888 136 12 0 26246 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 128536
[startup+1002.3 s]
/proc/loadavg: 3.00 3.01 3.10 4/190 20618
/proc/meminfo: memFree=12989904/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=112096 CPUtime=999.59 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 27108 0 0 0 99952 7 0 0 25 0 1 0 488413873 114786304 26133 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 28024 26133 136 12 0 26488 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 129504
[startup+1062.3 s]
/proc/loadavg: 3.00 3.01 3.09 4/190 20619
/proc/meminfo: memFree=12989388/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=112192 CPUtime=1059.58 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 27196 0 0 0 105951 7 0 0 25 0 1 0 488413873 114884608 26163 33554432000 4194304 4241092 140736902328816 18446744073709551615 4216542 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 28048 26163 136 12 0 26512 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 129600
[startup+1122.3 s]
/proc/loadavg: 3.05 3.02 3.09 4/190 20621
/proc/meminfo: memFree=12989256/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=112384 CPUtime=1119.58 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 27281 0 0 0 111951 7 0 0 25 0 1 0 488413873 115081216 26206 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 28096 26206 136 12 0 26560 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 129792
[startup+1182.3 s]
/proc/loadavg: 3.02 3.01 3.08 4/190 20623
/proc/meminfo: memFree=12988984/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=112352 CPUtime=1179.59 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 27346 0 0 0 117951 8 0 0 25 0 1 0 488413873 115048448 26203 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 28088 26203 136 12 0 26552 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 129760
[startup+1242.3 s]
/proc/loadavg: 2.72 2.94 3.06 3/182 20643
/proc/meminfo: memFree=13124228/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=112480 CPUtime=1239.58 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 27428 0 0 0 123950 8 0 0 25 0 1 0 488413873 115179520 26229 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 28120 26229 136 12 0 26584 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 129888
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.29 2.78 2.99 3/182 20645
/proc/meminfo: memFree=13122360/32950928 swapFree=67111528/67111528
[pid=20544] ppid=20542 vsize=8704 CPUtime=2.66 cores=5,7
/proc/20544/stat : 20544 (esg_static.sh) S 20542 20544 18371 0 -1 4202496 349 25638 0 0 0 0 258 8 18 0 1 0 488413606 8912896 256 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814240000 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/20544/statm: 2176 256 211 178 0 69 0
[pid=20547] ppid=20544 vsize=8704 CPUtime=0 cores=5,7
/proc/20547/stat : 20547 (esg_static.sh) S 20544 20544 18371 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 488413873 8912896 135 33554432000 4194304 4922060 140736041501664 18446744073709551615 251814059141 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20547/statm: 2176 135 90 178 0 69 0
[pid=20548] ppid=20547 vsize=114396 CPUtime=1297.28 cores=5,7
/proc/20548/stat : 20548 (sathys) R 20547 20544 18371 0 -1 4202496 27946 0 0 0 129720 8 0 0 25 0 1 0 488413873 117141504 26693 33554432000 4194304 4241092 140736902328816 18446744073709551615 4223709 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/20548/statm: 28599 26693 136 12 0 27063 0
Current children cumulated CPU time (s) 1299.94
Current children cumulated vsize (KiB) 131804
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 20544 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=585606
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=82987
# CPU time returned by wait4() is 2.66859
# while last known CPU time is 1299.94
#
# 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): 1299.94
CPU user time (s): 1299.78
CPU system time (s): 0.16
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 131804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.58561
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26154
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= 10
runsolver used 1.9667 second user time and 5.15322 second system time
The end
Begin job on node126 at 2011-04-25 23:49:09
IDJOB=3288016
IDBENCH=82481
IDSOLVER=1610
FILE ID=node126/3288016-1303768149
RUNJOBID= node126-1303766770-19914
PBS_JOBID= 13157131
Free space on /tmp= 71388 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288016-1303768149/watcher-3288016-1303768149 -o /tmp/evaluation-result-3288016-1303768149/solver-3288016-1303768149 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3288016-1303768149.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= a8ad0173824ed9404a8c153da07c5f9c
RANDOM SEED=503652927
node126.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.783
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.56
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.783
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.75
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.783
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.783
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.74
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.783
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.80
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.783
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.75
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.783
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.82
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.783
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 13315700 kB
Buffers: 1999776 kB
Cached: 16909192 kB
SwapCached: 0 kB
Active: 8100564 kB
Inactive: 10958732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13315700 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 23908 kB
Writeback: 0 kB
AnonPages: 149964 kB
Mapped: 15240 kB
Slab: 510724 kB
PageTables: 5128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 315296 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= 71380 MiB
End job on node126 at 2011-04-26 00:10:51