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-3289442-1303773955/watcher-3289442-1303773955 -o /tmp/evaluation-result-3289442-1303773955/solver-3289442-1303773955 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3289442-1303773955.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: 2.07 2.78 3.12 2/179 31222
/proc/meminfo: memFree=22203816/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 488998309 8912896 253 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31222/statm: 2176 253 211 178 0 69 0
[startup+0.085315 s]
/proc/loadavg: 2.07 2.78 3.12 2/179 31222
/proc/meminfo: memFree=22203816/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 488998309 8912896 253 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31222/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100311 s]
/proc/loadavg: 2.07 2.78 3.12 2/179 31222
/proc/meminfo: memFree=22203816/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 488998309 8912896 253 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31222/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300276 s]
/proc/loadavg: 2.07 2.78 3.12 2/179 31222
/proc/meminfo: memFree=22203816/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 488998309 8912896 253 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31222/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700207 s]
/proc/loadavg: 2.07 2.78 3.12 2/179 31222
/proc/meminfo: memFree=22203816/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 488998309 8912896 253 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31222/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50109 s]
/proc/loadavg: 2.06 2.77 3.11 3/182 31226
/proc/meminfo: memFree=22184332/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=53072 CPUtime=0.54 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 11434 0 0 0 53 1 0 0 22 0 1 0 488998403 54345728 11345 33554432000 4194304 4241092 140737134905264 18446744073709551615 4216804 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 13268 11345 131 12 0 11732 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 70480
[startup+3.10079 s]
/proc/loadavg: 2.06 2.77 3.11 3/182 31226
/proc/meminfo: memFree=22146392/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=54260 CPUtime=2.14 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 11770 0 0 0 213 1 0 0 25 0 1 0 488998403 55562240 11681 33554432000 4194304 4241092 140737134905264 18446744073709551615 4206116 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 13565 11681 136 12 0 12029 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71668
[startup+6.30122 s]
/proc/loadavg: 2.06 2.77 3.11 3/182 31226
/proc/meminfo: memFree=22145004/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=55380 CPUtime=5.34 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 12061 0 0 0 533 1 0 0 25 0 1 0 488998403 56709120 11972 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 13845 11972 136 12 0 12309 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 72788
[startup+12.7011 s]
/proc/loadavg: 2.05 2.74 3.10 3/182 31227
/proc/meminfo: memFree=22140416/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=57528 CPUtime=11.74 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 12575 0 0 0 1173 1 0 0 25 0 1 0 488998403 58908672 12486 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 14382 12486 136 12 0 12846 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 74936
[startup+25.5008 s]
/proc/loadavg: 2.04 2.72 3.09 3/182 31227
/proc/meminfo: memFree=22136480/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=59604 CPUtime=24.54 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 13121 0 0 0 2453 1 0 0 25 0 1 0 488998403 61034496 13032 33554432000 4194304 4241092 140737134905264 18446744073709551615 4205414 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 14901 13032 136 12 0 13365 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77012
[startup+51.1003 s]
/proc/loadavg: 2.03 2.66 3.06 3/182 31228
/proc/meminfo: memFree=22134832/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=61588 CPUtime=50.14 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 13603 0 0 0 5013 1 0 0 25 0 1 0 488998403 63066112 13514 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223668 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 15397 13514 136 12 0 13861 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78996
[startup+102.306 s]
/proc/loadavg: 2.01 2.55 2.99 3/182 31229
/proc/meminfo: memFree=22128232/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=67660 CPUtime=101.34 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 15157 0 0 0 10132 2 0 0 25 0 1 0 488998403 69283840 15045 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 16915 15045 136 12 0 15379 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 85068
[startup+162.301 s]
/proc/loadavg: 2.00 2.45 2.93 3/182 31231
/proc/meminfo: memFree=22122264/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=70924 CPUtime=161.34 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 16023 0 0 0 16131 3 0 0 25 0 1 0 488998403 72626176 15863 33554432000 4194304 4241092 140737134905264 18446744073709551615 4228857 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 17731 15863 136 12 0 16195 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 88332
[startup+222.301 s]
/proc/loadavg: 2.00 2.36 2.87 3/182 31232
/proc/meminfo: memFree=22115800/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=75040 CPUtime=221.34 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 17121 0 0 0 22131 3 0 0 25 0 1 0 488998403 76840960 16885 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223677 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 18760 16885 136 12 0 17224 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 92448
[startup+282.301 s]
################
# More data... #
################
/proc/meminfo: memFree=22084936/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=90704 CPUtime=761.36 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 21919 0 0 0 76130 6 0 0 25 0 1 0 488998403 92880896 20781 33554432000 4194304 4241092 140737134905264 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 22676 20781 136 12 0 21140 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 108112
[startup+822.3 s]
/proc/loadavg: 2.00 2.05 2.44 3/182 31248
/proc/meminfo: memFree=22084540/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=90904 CPUtime=821.35 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 22070 0 0 0 82129 6 0 0 25 0 1 0 488998403 93085696 20828 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223670 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 22726 20828 136 12 0 21190 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 108312
[startup+882.301 s]
/proc/loadavg: 2.00 2.04 2.41 3/182 31250
/proc/meminfo: memFree=22077468/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=93584 CPUtime=881.35 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 22875 0 0 0 88129 6 0 0 25 0 1 0 488998403 95830016 21527 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 23396 21527 136 12 0 21860 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 110992
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.38 3/182 31252
/proc/meminfo: memFree=22077328/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=93724 CPUtime=941.35 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 23016 0 0 0 94128 7 0 0 25 0 1 0 488998403 95973376 21560 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 23431 21560 136 12 0 21895 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 111132
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.35 3/182 31253
/proc/meminfo: memFree=22073972/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=97156 CPUtime=1001.35 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 23963 0 0 0 100128 7 0 0 25 0 1 0 488998403 99487744 22416 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 24289 22416 136 12 0 22753 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 114564
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.33 3/182 31255
/proc/meminfo: memFree=22065660/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=99144 CPUtime=1061.35 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 24606 0 0 0 106128 7 0 0 25 0 1 0 488998403 101523456 22905 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 24786 22905 136 12 0 23250 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 116552
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.32 3/182 31256
/proc/meminfo: memFree=22063296/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=99992 CPUtime=1121.36 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 24933 0 0 0 112128 8 0 0 25 0 1 0 488998403 102391808 23110 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 24998 23110 136 12 0 23462 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 117400
[startup+1182.3 s]
/proc/loadavg: 1.81 1.98 2.28 2/174 31277
/proc/meminfo: memFree=22159136/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=100036 CPUtime=1181.35 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 25091 0 0 0 118127 8 0 0 25 0 1 0 488998403 102436864 23133 33554432000 4194304 4241092 140737134905264 18446744073709551615 4221885 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 25009 23133 136 12 0 23473 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 117444
[startup+1242.3 s]
/proc/loadavg: 1.30 1.80 2.20 2/174 31279
/proc/meminfo: memFree=22158748/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=100332 CPUtime=1241.36 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 25298 0 0 0 124128 8 0 0 25 0 1 0 488998403 102739968 23192 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 25083 23192 136 12 0 23547 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 117740
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.12 1.66 2.13 2/174 31280
/proc/meminfo: memFree=22157860/32951124 swapFree=67051468/67111528
[pid=31222] ppid=31220 vsize=8704 CPUtime=0.94 cores=5,7
/proc/31222/stat : 31222 (esg_static.sh) S 31220 31222 28631 0 -1 4202496 349 11863 0 0 0 0 90 4 18 0 1 0 488998309 8912896 256 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/31222/statm: 2176 256 211 178 0 69 0
[pid=31225] ppid=31222 vsize=8704 CPUtime=0 cores=5,7
/proc/31225/stat : 31225 (esg_static.sh) S 31222 31222 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488998403 8912896 135 33554432000 4194304 4922060 140735171477360 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/31225/statm: 2176 135 90 178 0 69 0
[pid=31226] ppid=31225 vsize=101192 CPUtime=1299.06 cores=5,7
/proc/31226/stat : 31226 (sathys) R 31225 31222 28631 0 -1 4202496 25664 0 0 0 129898 8 0 0 25 0 1 0 488998403 103620608 23431 33554432000 4194304 4241092 140737134905264 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/31226/statm: 25298 23431 136 12 0 23762 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 118600
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 31222 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=903862
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=44993
# CPU time returned by wait4() is 0.948855
# 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.88
CPU system time (s): 0.12
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 118696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.903862
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12378
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= 16
runsolver used 2.07868 second user time and 4.93325 second system time
The end
Begin job on node101 at 2011-04-26 01:25:55
IDJOB=3289442
IDBENCH=83123
IDSOLVER=1610
FILE ID=node101/3289442-1303773955
RUNJOBID= node101-1303772516-31001
PBS_JOBID= 13157151
Free space on /tmp= 71452 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289442-1303773955/watcher-3289442-1303773955 -o /tmp/evaluation-result-3289442-1303773955/solver-3289442-1303773955 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3289442-1303773955.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 005e29e99454a24085199b085e720b2f
RANDOM SEED=246040733
node101.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.841
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.68
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.841
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 : 5226.07
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.841
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.77
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.841
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.841
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.74
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.841
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.841
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.75
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.841
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: 22203972 kB
Buffers: 2085760 kB
Cached: 8100560 kB
SwapCached: 33708 kB
Active: 6446428 kB
Inactive: 3829768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22203972 kB
SwapTotal: 67111528 kB
SwapFree: 67051468 kB
Dirty: 5888 kB
Writeback: 0 kB
AnonPages: 77312 kB
Mapped: 9248 kB
Slab: 406480 kB
PageTables: 4836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 263572 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= 71456 MiB
End job on node101 at 2011-04-26 01:47:37