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-3293535-1303784357/watcher-3293535-1303784357 -o /tmp/evaluation-result-3293535-1303784357/solver-3293535-1303784357 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3293535-1303784357.cnf
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: 4.26 4.17 4.12 4/190 1963
/proc/meminfo: memFree=17009192/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[startup+0.050448 s]
/proc/loadavg: 4.26 4.17 4.12 4/190 1963
/proc/meminfo: memFree=17009192/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100452 s]
/proc/loadavg: 4.26 4.17 4.12 4/190 1963
/proc/meminfo: memFree=17009192/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300408 s]
/proc/loadavg: 4.26 4.17 4.12 4/190 1963
/proc/meminfo: memFree=17009192/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700339 s]
/proc/loadavg: 4.26 4.17 4.12 4/190 1963
/proc/meminfo: memFree=17009192/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.5012 s]
/proc/loadavg: 4.26 4.17 4.12 5/192 1966
/proc/meminfo: memFree=16879352/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=168104 CPUtime=1.49 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 35098 0 0 0 143 6 0 0 25 0 1 0 490035560 172138496 35009 33554432000 4194304 4218580 140734639434992 18446744073709551615 274664808192 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1965/statm: 42026 35009 112 6 0 40496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 176804
[startup+3.10094 s]
/proc/loadavg: 4.26 4.17 4.12 6/192 1966
/proc/meminfo: memFree=16852332/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=201140 CPUtime=3.09 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 43344 0 0 0 300 9 0 0 25 0 1 0 490035560 205967360 43255 33554432000 4194304 4218580 140734639434992 18446744073709551615 274664808192 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1965/statm: 50285 43255 112 6 0 48755 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209840
[startup+35.6373 s]
/proc/loadavg: 6.53 4.74 4.31 5/192 1966
/proc/meminfo: memFree=16675704/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=334764 CPUtime=35.62 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 79358 0 0 0 3540 22 0 0 25 0 1 0 490035560 342798336 78942 33554432000 4194304 4218580 140734639434992 18446744073709551615 4210420 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 83691 78942 131 6 0 82161 0
Current children cumulated CPU time (s) 35.62
Current children cumulated vsize (KiB) 343464
[startup+35.7073 s]
/proc/loadavg: 6.53 4.74 4.31 5/192 1966
/proc/meminfo: memFree=16675704/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=334764 CPUtime=35.69 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 79358 0 0 0 3547 22 0 0 25 0 1 0 490035560 342798336 78942 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208384 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 83691 78942 131 6 0 82161 0
Current children cumulated CPU time (s) 35.69
Current children cumulated vsize (KiB) 343464
[startup+35.8013 s]
/proc/loadavg: 6.53 4.74 4.31 5/192 1966
/proc/meminfo: memFree=16675704/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=334764 CPUtime=35.79 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 79358 0 0 0 3557 22 0 0 25 0 1 0 490035560 342798336 78942 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 83691 78942 131 6 0 82161 0
Current children cumulated CPU time (s) 35.79
Current children cumulated vsize (KiB) 343464
[startup+51.1076 s]
/proc/loadavg: 6.79 4.88 4.36 6/192 1967
/proc/meminfo: memFree=16674932/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=335200 CPUtime=51.1 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 79483 0 0 0 5085 25 0 0 25 0 1 0 490035560 343244800 79067 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 83800 79067 131 6 0 82270 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 343900
[startup+102.301 s]
/proc/loadavg: 5.61 4.87 4.38 5/192 1968
/proc/meminfo: memFree=16677924/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=337224 CPUtime=102.29 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 79970 0 0 0 10203 26 0 0 25 0 1 0 490035560 345317376 79554 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 84306 79554 131 6 0 82776 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 345924
[startup+162.3 s]
/proc/loadavg: 4.59 4.71 4.36 6/192 2006
/proc/meminfo: memFree=16185104/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=338760 CPUtime=162.29 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 80353 0 0 0 16202 27 0 0 25 0 1 0 490035560 346890240 79937 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 84690 79937 131 6 0 83160 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 347460
[startup+222.301 s]
/proc/loadavg: 6.68 5.33 4.59 5/192 2008
/proc/meminfo: memFree=16083648/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=338760 CPUtime=222.29 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 80360 0 0 0 22198 31 0 0 25 0 1 0 490035560 346890240 79944 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 84690 79944 131 6 0 83160 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 347460
[startup+282.301 s]
/proc/loadavg: 4.98 5.08 4.55 5/192 2009
/proc/meminfo: memFree=16079812/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=339204 CPUtime=282.29 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 80495 0 0 0 28198 31 0 0 25 0 1 0 490035560 347344896 80074 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208438 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 84801 80074 131 6 0 83271 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 347904
[startup+342.301 s]
/proc/loadavg: 4.36 4.88 4.51 5/192 2011
/proc/meminfo: memFree=16064616/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=352172 CPUtime=342.3 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 83732 0 0 0 34198 32 0 0 25 0 1 0 490035560 360624128 83311 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208664 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 88043 83311 131 6 0 86513 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 360872
[startup+402.301 s]
/proc/loadavg: 4.13 4.72 4.48 5/192 2012
/proc/meminfo: memFree=16059032/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/1965/statm: 88067 83350 131 6 0 86537 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 360968
[startup+642.301 s]
/proc/loadavg: 4.00 4.31 4.36 5/192 2019
/proc/meminfo: memFree=16043048/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=354292 CPUtime=642.3 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 84293 0 0 0 64198 32 0 0 25 0 1 0 490035560 362795008 83863 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 88573 83863 131 6 0 87043 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 362992
[startup+702.307 s]
/proc/loadavg: 4.10 4.29 4.35 5/192 2020
/proc/meminfo: memFree=16028876/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364104 CPUtime=702.3 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86769 0 0 0 70197 33 0 0 25 0 1 0 490035560 372842496 86331 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208475 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91026 86331 131 6 0 89496 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 372804
[startup+762.3 s]
/proc/loadavg: 4.12 4.26 4.33 5/192 2022
/proc/meminfo: memFree=16027376/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364136 CPUtime=762.3 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86774 0 0 0 76196 34 0 0 25 0 1 0 490035560 372875264 86336 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208542 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91034 86336 131 6 0 89504 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 372836
[startup+822.301 s]
/proc/loadavg: 4.04 4.21 4.31 5/192 2024
/proc/meminfo: memFree=16026404/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364168 CPUtime=822.3 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86782 0 0 0 82196 34 0 0 25 0 1 0 490035560 372908032 86344 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208272 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91042 86344 131 6 0 89512 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 372868
[startup+882.3 s]
/proc/loadavg: 4.01 4.17 4.29 5/192 2025
/proc/meminfo: memFree=16016472/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364136 CPUtime=882.3 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86787 0 0 0 88196 34 0 0 25 0 1 0 490035560 372875264 86339 33554432000 4194304 4218580 140734639434992 18446744073709551615 4213922 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91034 86339 131 6 0 89504 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 372836
[startup+942.301 s]
/proc/loadavg: 4.00 4.14 4.26 5/192 2027
/proc/meminfo: memFree=16014256/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364200 CPUtime=942.3 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86798 0 0 0 94196 34 0 0 25 0 1 0 490035560 372940800 86350 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91050 86350 131 6 0 89520 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 372900
[startup+1002.3 s]
/proc/loadavg: 4.00 4.11 4.25 5/192 2028
/proc/meminfo: memFree=16012172/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364232 CPUtime=1002.31 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86812 0 0 0 100197 34 0 0 25 0 1 0 490035560 372973568 86358 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208261 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91058 86358 131 6 0 89528 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 372932
[startup+1062.3 s]
/proc/loadavg: 3.11 3.85 4.15 3/178 2067
/proc/meminfo: memFree=16129212/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364200 CPUtime=1062.31 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86814 0 0 0 106197 34 0 0 25 0 1 0 490035560 372940800 86355 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91050 86355 131 6 0 89520 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 372900
[startup+1122.3 s]
/proc/loadavg: 2.41 3.51 4.01 3/178 2069
/proc/meminfo: memFree=16129336/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364232 CPUtime=1122.31 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86827 0 0 0 112197 34 0 0 25 0 1 0 490035560 372973568 86359 33554432000 4194304 4218580 140734639434992 18446744073709551615 4210517 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91058 86359 131 6 0 89528 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 372932
[startup+1182.3 s]
/proc/loadavg: 2.15 3.24 3.88 3/178 2070
/proc/meminfo: memFree=16118324/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364232 CPUtime=1182.31 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86838 0 0 0 118197 34 0 0 25 0 1 0 490035560 372973568 86363 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91058 86363 131 6 0 89528 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 372932
[startup+1242.3 s]
/proc/loadavg: 2.05 3.01 3.76 3/178 2072
/proc/meminfo: memFree=16089220/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=364232 CPUtime=1242.31 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 86855 0 0 0 124197 34 0 0 25 0 1 0 490035560 372973568 86368 33554432000 4194304 4218580 140734639434992 18446744073709551615 4208384 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91058 86368 131 6 0 89528 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 372932
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.07 2.84 3.65 3/178 2073
/proc/meminfo: memFree=16069044/32951132 swapFree=67111528/67111528
[pid=1963] ppid=1961 vsize=8700 CPUtime=0 cores=0,2
/proc/1963/stat : 1963 (esg_static.sh) S 1961 1963 524 0 -1 4202496 354 112 0 0 0 0 0 0 19 0 1 0 490035560 8908800 253 33554432000 4194304 4922060 140736112988144 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/1963/statm: 2175 253 209 178 0 68 0
[pid=1965] ppid=1963 vsize=367212 CPUtime=1300.01 cores=0,2
/proc/1965/stat : 1965 (cdcl) R 1963 1963 524 0 -1 4202496 87595 0 0 0 129967 34 0 0 25 0 1 0 490035560 376025088 87095 33554432000 4194304 4218580 140734639434992 18446744073709551615 4210517 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/1965/statm: 91803 87095 131 6 0 90273 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 375912
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 1963 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1300.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1300.01
CPU time (s): 1300.01
CPU user time (s): 1299.67
CPU system time (s): 0.34
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 375912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 2
runsolver used 2.26365 second user time and 4.67829 second system time
The end
Begin job on node131 at 2011-04-26 04:19:19
IDJOB=3293535
IDBENCH=88158
IDSOLVER=1609
FILE ID=node131/3293535-1303784357
RUNJOBID= node131-1303781575-542
PBS_JOBID= 13157225
Free space on /tmp= 71676 MiB
SOLVER NAME= rcl 2011-04-01
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293535-1303784357/watcher-3293535-1303784357 -o /tmp/evaluation-result-3293535-1303784357/solver-3293535-1303784357 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3293535-1303784357.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=1045612542
node131.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.830
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.66
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.830
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.830
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.83
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.830
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.75
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.830
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.77
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.830
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.830
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.830
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 17009464 kB
Buffers: 1011900 kB
Cached: 14213552 kB
SwapCached: 0 kB
Active: 5194620 kB
Inactive: 10221408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 17009464 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 226332 kB
Writeback: 32 kB
AnonPages: 189656 kB
Mapped: 15472 kB
Slab: 460856 kB
PageTables: 5660 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 377152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71508 MiB
End job on node131 at 2011-04-26 04:41:01