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-3285531-1303762366/watcher-3285531-1303762366 -o /tmp/evaluation-result-3285531-1303762366/solver-3285531-1303762366 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3285531-1303762366.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.75 3.41 3.76 5/192 28206
/proc/meminfo: memFree=12561916/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) R 28204 28206 27759 0 -1 4202496 336 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734998933 0 65538 4100 65536 0 0 0 17 5 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[startup+0.0202999 s]
/proc/loadavg: 3.75 3.41 3.76 5/192 28206
/proc/meminfo: memFree=12561916/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100284 s]
/proc/loadavg: 3.75 3.41 3.76 5/192 28206
/proc/meminfo: memFree=12561916/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300248 s]
/proc/loadavg: 3.75 3.41 3.76 5/192 28206
/proc/meminfo: memFree=12561916/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700174 s]
/proc/loadavg: 3.75 3.41 3.76 5/192 28206
/proc/meminfo: memFree=12561916/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50104 s]
/proc/loadavg: 3.75 3.41 3.76 5/194 28209
/proc/meminfo: memFree=12283516/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=345792 CPUtime=1.49 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 71854 0 0 0 140 9 0 0 25 0 1 0 566467837 354091008 71764 33554432000 4194304 4218580 140734442367680 18446744073709551615 216735178496 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28208/statm: 86448 71764 115 6 0 84918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 354492
[startup+3.10076 s]
/proc/loadavg: 3.75 3.41 3.76 5/194 28209
/proc/meminfo: memFree=12260824/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=379468 CPUtime=3.09 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 80267 0 0 0 298 11 0 0 25 0 1 0 566467837 388575232 80177 33554432000 4194304 4218580 140734442367680 18446744073709551615 216735178496 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28208/statm: 94867 80177 116 6 0 93337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 388168
[startup+6.3002 s]
/proc/loadavg: 3.77 3.42 3.76 5/194 28209
/proc/meminfo: memFree=12189868/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=468604 CPUtime=6.29 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 104452 0 0 0 611 18 0 0 18 0 1 0 566467837 479850496 103956 33554432000 4194304 4218580 140734442367680 18446744073709551615 4208521 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 117151 103956 138 6 0 115621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 477304
[startup+12.7011 s]
/proc/loadavg: 3.79 3.43 3.76 5/194 28209
/proc/meminfo: memFree=12125396/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=477264 CPUtime=12.69 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 108624 0 0 0 1250 19 0 0 25 0 1 0 566467837 488718336 107949 33554432000 4194304 4218580 140734442367680 18446744073709551615 4208519 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 119316 107949 201 6 0 117786 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 485964
[startup+25.5008 s]
/proc/loadavg: 3.84 3.45 3.77 5/194 28209
/proc/meminfo: memFree=12097972/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=487800 CPUtime=25.49 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 112360 0 0 0 2530 19 0 0 25 0 1 0 566467837 499507200 111558 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210294 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 121950 111558 203 6 0 120420 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 496500
[startup+51.1004 s]
/proc/loadavg: 3.89 3.50 3.77 5/194 28210
/proc/meminfo: memFree=12046980/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=503264 CPUtime=51.09 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 116490 0 0 0 5089 20 0 0 25 0 1 0 566467837 515342336 115658 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210507 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 125816 115658 177 6 0 124286 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 511964
[startup+102.307 s]
/proc/loadavg: 3.99 3.59 3.79 5/194 28211
/proc/meminfo: memFree=11998624/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=509836 CPUtime=102.3 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 118231 0 0 0 10210 20 0 0 25 0 1 0 566467837 522072064 117386 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210252 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 127459 117386 164 6 0 125929 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 518536
[startup+162.301 s]
/proc/loadavg: 3.99 3.66 3.80 5/194 28213
/proc/meminfo: memFree=11982116/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=522532 CPUtime=162.29 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 122204 0 0 0 16208 21 0 0 25 0 1 0 566467837 535072768 121286 33554432000 4194304 4218580 140734442367680 18446744073709551615 4201748 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 130633 121286 147 6 0 129103 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 531232
[startup+222.3 s]
/proc/loadavg: 4.03 3.73 3.81 5/194 28214
/proc/meminfo: memFree=11918768/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=563368 CPUtime=222.3 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 132434 0 0 0 22207 23 0 0 25 0 1 0 566467837 576888832 131513 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210252 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 140842 131513 144 6 0 139312 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 572068
[startup+282.301 s]
/proc/loadavg: 4.06 3.79 3.83 5/194 28216
/proc/meminfo: memFree=11911172/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=569748 CPUtime=282.29 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 134574 0 0 0 28206 23 0 0 25 0 1 0 566467837 583421952 133098 33554432000 4194304 4218580 140734442367680 18446744073709551615 4211250 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 142437 133098 144 6 0 140907 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 578448
[startup+342.3 s]
/proc/loadavg: 4.02 3.83 3.83 5/194 28218
/proc/meminfo: memFree=11784912/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=645248 CPUtime=342.3 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 153453 0 0 0 34203 27 0 0 25 0 1 0 566467837 660733952 151976 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210200 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 161312 151976 144 6 0 159782 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 653948
[startup+402.301 s]
/proc/loadavg: 4.01 3.86 3.84 5/194 28219
/proc/meminfo: memFree=11759208/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/28208/statm: 161328 151992 143 6 0 159798 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 654012
[startup+642.301 s]
/proc/loadavg: 4.06 3.95 3.87 5/194 28226
/proc/meminfo: memFree=11719172/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=645344 CPUtime=642.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 153474 0 0 0 64204 27 0 0 25 0 1 0 566467837 660832256 151996 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210077 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 161336 151996 143 6 0 159806 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 654044
[startup+702.3 s]
/proc/loadavg: 4.02 3.96 3.88 5/194 28227
/proc/meminfo: memFree=11635556/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=663140 CPUtime=702.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 157921 0 0 0 70203 28 0 0 25 0 1 0 566467837 679055360 156443 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210018 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 165785 156443 143 6 0 164255 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 671840
[startup+762.307 s]
/proc/loadavg: 4.05 3.97 3.89 5/194 28229
/proc/meminfo: memFree=11617808/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=680640 CPUtime=762.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 162327 0 0 0 76203 28 0 0 25 0 1 0 566467837 696975360 160849 33554432000 4194304 4218580 140734442367680 18446744073709551615 4211216 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 170160 160849 143 6 0 168630 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 689340
[startup+822.3 s]
/proc/loadavg: 4.09 3.99 3.90 5/194 28230
/proc/meminfo: memFree=11559120/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=743668 CPUtime=822.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 178085 0 0 0 82200 31 0 0 25 0 1 0 566467837 761516032 176607 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210077 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 185917 176607 143 6 0 184387 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 752368
[startup+882.301 s]
/proc/loadavg: 4.03 3.99 3.91 5/194 28232
/proc/meminfo: memFree=11525496/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=772092 CPUtime=882.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 185445 0 0 0 88199 32 0 0 25 0 1 0 566467837 790622208 183710 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210245 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 193023 183710 143 6 0 191493 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 780792
[startup+942.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/194 28234
/proc/meminfo: memFree=11477980/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=772092 CPUtime=942.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 185458 0 0 0 94199 32 0 0 25 0 1 0 566467837 790622208 183722 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210077 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 193023 183722 143 6 0 191493 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 780792
[startup+1002.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/194 28235
/proc/meminfo: memFree=11454904/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=772156 CPUtime=1002.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 185747 0 0 0 100199 32 0 0 25 0 1 0 566467837 790687744 183972 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210507 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 193039 183972 143 6 0 191509 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 780856
[startup+1062.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/194 28237
/proc/meminfo: memFree=11405028/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=772156 CPUtime=1062.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 185755 0 0 0 106199 32 0 0 25 0 1 0 566467837 790687744 183977 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210211 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 193039 183977 143 6 0 191509 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 780856
[startup+1122.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/194 28238
/proc/meminfo: memFree=11361580/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=772188 CPUtime=1122.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 185758 0 0 0 112199 32 0 0 25 0 1 0 566467837 790720512 183979 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210079 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 193047 183979 143 6 0 191517 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 780888
[startup+1182.3 s]
/proc/loadavg: 4.22 4.04 3.93 5/194 28330
/proc/meminfo: memFree=11543176/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=772156 CPUtime=1182.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 185766 0 0 0 118199 32 0 0 25 0 1 0 566467837 790687744 183979 33554432000 4194304 4218580 140734442367680 18446744073709551615 4211250 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 193039 183979 143 6 0 191509 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 780856
[startup+1242.3 s]
/proc/loadavg: 4.08 4.03 3.93 5/194 28362
/proc/meminfo: memFree=11322276/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=772156 CPUtime=1242.31 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 185780 0 0 0 124199 32 0 0 25 0 1 0 566467837 790687744 183979 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210532 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 193039 183979 143 6 0 191509 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 780856
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 4.02 3.93 5/194 28393
/proc/meminfo: memFree=11306148/32951124 swapFree=67102140/67111528
[pid=28206] ppid=28204 vsize=8700 CPUtime=0 cores=5,7
/proc/28206/stat : 28206 (esg_static.sh) S 28204 28206 27759 0 -1 4202496 353 111 0 0 0 0 0 0 20 0 1 0 566467836 8908800 252 33554432000 4194304 4922060 140736828529808 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/28206/statm: 2175 252 209 178 0 68 0
[pid=28208] ppid=28206 vsize=772156 CPUtime=1300.02 cores=5,7
/proc/28208/stat : 28208 (cdcl) R 28206 28206 27759 0 -1 4202496 185825 0 0 0 129970 32 0 0 25 0 1 0 566467837 790687744 184008 33554432000 4194304 4218580 140734442367680 18446744073709551615 4210066 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/28208/statm: 193039 184008 143 6 0 191509 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 780856
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 28206 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1300.02
#
# 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.02
CPU user time (s): 1299.7
CPU system time (s): 0.32
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 781804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464
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= 4
runsolver used 1.9637 second user time and 5.14622 second system time
The end
Begin job on node119 at 2011-04-25 22:12:51
IDJOB=3285531
IDBENCH=82388
IDSOLVER=1609
FILE ID=node119/3285531-1303762366
RUNJOBID= node119-1303762231-28120
PBS_JOBID= 13157136
Free space on /tmp= 71472 MiB
SOLVER NAME= rcl 2011-04-01
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285531-1303762366/watcher-3285531-1303762366 -o /tmp/evaluation-result-3285531-1303762366/solver-3285531-1303762366 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3285531-1303762366.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 48f03e5fbe31fc85b9a464480fc8aa5a
RANDOM SEED=1474969219
node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 12562444 kB
Buffers: 2221680 kB
Cached: 17198752 kB
SwapCached: 5504 kB
Active: 8662760 kB
Inactive: 11134628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12562444 kB
SwapTotal: 67111528 kB
SwapFree: 67102140 kB
Dirty: 171872 kB
Writeback: 0 kB
AnonPages: 374112 kB
Mapped: 15080 kB
Slab: 524980 kB
PageTables: 6104 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 576036 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= 71292 MiB
End job on node119 at 2011-04-25 22:34:34