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-3289396-1303773821/watcher-3289396-1303773821 -o /tmp/evaluation-result-3289396-1303773821/solver-3289396-1303773821 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3289396-1303773821.cnf rnovelty
running on 2 cores: 0,2
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.89 3.23 3.29 3/179 31187
/proc/meminfo: memFree=22160216/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 488984879 8912896 253 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31187/statm: 2176 253 211 178 0 69 0
[startup+0.086819 s]
/proc/loadavg: 2.89 3.23 3.29 3/179 31187
/proc/meminfo: memFree=22160216/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 488984879 8912896 253 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31187/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100829 s]
/proc/loadavg: 2.89 3.23 3.29 3/179 31187
/proc/meminfo: memFree=22160216/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 488984879 8912896 253 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31187/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300767 s]
/proc/loadavg: 2.89 3.23 3.29 3/179 31187
/proc/meminfo: memFree=22160216/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 488984879 8912896 253 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31187/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700701 s]
/proc/loadavg: 2.89 3.23 3.29 3/179 31187
/proc/meminfo: memFree=22160216/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 488984879 8912896 253 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31187/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50053 s]
/proc/loadavg: 2.81 3.20 3.29 3/182 31191
/proc/meminfo: memFree=22115808/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=44556 CPUtime=0.65 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 9411 0 0 0 64 1 0 0 22 0 1 0 488984963 45625344 9322 33554432000 4194304 4241092 140736801217552 18446744073709551615 218370618053 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 11139 9322 136 12 0 9603 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 61964
[startup+3.10127 s]
/proc/loadavg: 2.81 3.20 3.29 3/182 31191
/proc/meminfo: memFree=22114340/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=45216 CPUtime=2.25 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 9597 0 0 0 224 1 0 0 25 0 1 0 488984963 46301184 9508 33554432000 4194304 4241092 140736801217552 18446744073709551615 4206044 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 11304 9508 136 12 0 9768 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 62624
[startup+6.3007 s]
/proc/loadavg: 2.83 3.20 3.28 3/182 31191
/proc/meminfo: memFree=22112480/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=46356 CPUtime=5.45 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 9863 0 0 0 544 1 0 0 25 0 1 0 488984963 47468544 9774 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 11589 9774 136 12 0 10053 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 63764
[startup+12.7006 s]
/proc/loadavg: 2.76 3.18 3.28 3/182 31191
/proc/meminfo: memFree=22110256/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=48236 CPUtime=11.84 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 10340 0 0 0 1183 1 0 0 25 0 1 0 488984963 49393664 10251 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 12059 10251 136 12 0 10523 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 65644
[startup+25.5013 s]
/proc/loadavg: 2.59 3.12 3.26 3/182 31191
/proc/meminfo: memFree=22108976/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=49652 CPUtime=24.65 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 10712 0 0 0 2464 1 0 0 25 0 1 0 488984963 50843648 10623 33554432000 4194304 4241092 140736801217552 18446744073709551615 4205924 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 12413 10623 136 12 0 10877 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 67060
[startup+51.1008 s]
/proc/loadavg: 2.39 3.03 3.22 3/182 31192
/proc/meminfo: memFree=22106920/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=51636 CPUtime=50.24 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 11206 0 0 0 5023 1 0 0 25 0 1 0 488984963 52875264 11117 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 12909 11117 136 12 0 11373 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69044
[startup+102.307 s]
/proc/loadavg: 2.25 2.89 3.16 3/182 31194
/proc/meminfo: memFree=22097616/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=56096 CPUtime=101.46 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 12342 0 0 0 10144 2 0 0 25 0 1 0 488984963 57442304 12237 33554432000 4194304 4241092 140736801217552 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 14024 12237 136 12 0 12488 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73504
[startup+162.301 s]
/proc/loadavg: 2.04 2.71 3.08 3/182 31227
/proc/meminfo: memFree=22136604/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=63204 CPUtime=161.45 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 14161 0 0 0 16143 2 0 0 25 0 1 0 488984963 64720896 13998 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223716 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 15801 13998 136 12 0 14265 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 80612
[startup+222.3 s]
/proc/loadavg: 2.01 2.58 3.01 3/182 31229
/proc/meminfo: memFree=22128240/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=63332 CPUtime=221.45 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 14273 0 0 0 22143 2 0 0 25 0 1 0 488984963 64851968 14025 33554432000 4194304 4241092 140736801217552 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 15833 14025 136 12 0 14297 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 80740
[startup+282.301 s]
################
# More data... #
################
/proc/meminfo: memFree=22087692/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=83108 CPUtime=761.47 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 20174 0 0 0 76142 5 0 0 25 0 1 0 488984963 85102592 18962 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 20777 18962 136 12 0 19241 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 100516
[startup+822.301 s]
/proc/loadavg: 2.01 2.08 2.52 3/182 31245
/proc/meminfo: memFree=22087432/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=83268 CPUtime=821.47 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 20299 0 0 0 82142 5 0 0 25 0 1 0 488984963 85266432 19002 33554432000 4194304 4241092 140736801217552 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 20817 19002 136 12 0 19281 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 100676
[startup+882.301 s]
/proc/loadavg: 2.00 2.07 2.48 3/182 31246
/proc/meminfo: memFree=22084940/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=83908 CPUtime=881.47 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 20570 0 0 0 88142 5 0 0 25 0 1 0 488984963 85921792 19165 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 20977 19165 136 12 0 19441 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 101316
[startup+942.301 s]
/proc/loadavg: 2.00 2.05 2.45 3/182 31248
/proc/meminfo: memFree=22084548/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=84068 CPUtime=941.47 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 20711 0 0 0 94142 5 0 0 25 0 1 0 488984963 86085632 19220 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 21017 19220 136 12 0 19481 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 101476
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.42 3/182 31250
/proc/meminfo: memFree=22079824/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=88164 CPUtime=1001.48 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 21841 0 0 0 100142 6 0 0 25 0 1 0 488984963 90279936 20245 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 22041 20245 136 12 0 20505 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 105572
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.39 3/182 31251
/proc/meminfo: memFree=22077208/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=88068 CPUtime=1061.48 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 21948 0 0 0 106142 6 0 0 25 0 1 0 488984963 90181632 20226 33554432000 4194304 4241092 140736801217552 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 22017 20226 136 12 0 20481 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 105476
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.36 3/182 31253
/proc/meminfo: memFree=22076328/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=88324 CPUtime=1121.48 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 22130 0 0 0 112141 7 0 0 25 0 1 0 488984963 90443776 20286 33554432000 4194304 4241092 140736801217552 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 22081 20286 136 12 0 20545 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 105732
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.34 3/182 31254
/proc/meminfo: memFree=22069008/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=91020 CPUtime=1181.48 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 22893 0 0 0 118141 7 0 0 25 0 1 0 488984963 93204480 20955 33554432000 4194304 4241092 140736801217552 18446744073709551615 4222040 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 22755 20955 136 12 0 21219 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 108428
[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.32 3/182 31256
/proc/meminfo: memFree=22063916/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=96160 CPUtime=1241.47 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 24287 0 0 0 124140 7 0 0 25 0 1 0 488984963 98467840 22240 33554432000 4194304 4241092 140736801217552 18446744073709551615 4223615 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 24040 22240 136 12 0 22504 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 113568
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.04 2.03 2.30 3/182 31257
/proc/meminfo: memFree=22063164/32951124 swapFree=67051468/67111528
[pid=31187] ppid=31185 vsize=8704 CPUtime=0.82 cores=0,2
/proc/31187/stat : 31187 (esg_static.sh) S 31185 31187 28631 0 -1 4202496 350 9666 0 0 0 0 80 2 18 0 1 0 488984879 8912896 256 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370957056 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/31187/statm: 2176 256 211 178 0 69 0
[pid=31190] ppid=31187 vsize=8704 CPUtime=0 cores=0,2
/proc/31190/stat : 31190 (esg_static.sh) S 31187 31187 28631 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 488984963 8912896 135 33554432000 4194304 4922060 140734272316368 18446744073709551615 218370776197 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31190/statm: 2176 135 90 178 0 69 0
[pid=31191] ppid=31190 vsize=95968 CPUtime=1299.18 cores=0,2
/proc/31191/stat : 31191 (sathys) R 31190 31187 28631 0 -1 4202496 24403 0 0 0 129911 7 0 0 25 0 1 0 488984963 98271232 22199 33554432000 4194304 4241092 140736801217552 18446744073709551615 4228737 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/31191/statm: 23992 22199 136 12 0 22456 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 113376
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 31187 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=806877
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=30995
# CPU time returned by wait4() is 0.837872
# 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.91
CPU system time (s): 0.09
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 113696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.806877
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10183
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= 33
involuntary context switches= 7
runsolver used 2.40163 second user time and 4.69928 second system time
The end
Begin job on node101 at 2011-04-26 01:23:41
IDJOB=3289396
IDBENCH=83121
IDSOLVER=1610
FILE ID=node101/3289396-1303773821
RUNJOBID= node101-1303772516-30998
PBS_JOBID= 13157151
Free space on /tmp= 71448 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top25.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289396-1303773821/watcher-3289396-1303773821 -o /tmp/evaluation-result-3289396-1303773821/solver-3289396-1303773821 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3289396-1303773821.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1d36146d5d79c91e0605a19242395228
RANDOM SEED=364776455
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: 22160496 kB
Buffers: 2085712 kB
Cached: 8102080 kB
SwapCached: 33708 kB
Active: 6489928 kB
Inactive: 3829864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22160496 kB
SwapTotal: 67111528 kB
SwapFree: 67051468 kB
Dirty: 4864 kB
Writeback: 0 kB
AnonPages: 119504 kB
Mapped: 9248 kB
Slab: 406664 kB
PageTables: 5308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 306232 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= 71440 MiB
End job on node101 at 2011-04-26 01:45:23