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-3293581-1303784516/watcher-3293581-1303784516 -o /tmp/evaluation-result-3293581-1303784516/solver-3293581-1303784516 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3293581-1303784516.cnf
running on 2 cores: 1,3
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.64 4.72 4.36 4/190 2003
/proc/meminfo: memFree=16360320/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[startup+0.0484391 s]
/proc/loadavg: 4.64 4.72 4.36 4/190 2003
/proc/meminfo: memFree=16360320/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100428 s]
/proc/loadavg: 4.64 4.72 4.36 4/190 2003
/proc/meminfo: memFree=16360320/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300395 s]
/proc/loadavg: 4.64 4.72 4.36 4/190 2003
/proc/meminfo: memFree=16360320/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700323 s]
/proc/loadavg: 4.64 4.72 4.36 4/190 2003
/proc/meminfo: memFree=16360320/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+34.6324 s]
/proc/loadavg: 4.64 4.72 4.36 4/190 2003
/proc/meminfo: memFree=16360320/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
heavy processes:
[startup+34.7074 s]
/proc/loadavg: 6.41 5.14 4.51 5/192 2007
/proc/meminfo: memFree=16079440/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=294440 CPUtime=34.58 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 69635 0 0 0 3431 27 0 0 25 0 1 0 490051430 301506560 69260 33554432000 4194304 4218580 140735014655168 18446744073709551615 4213922 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/2005/statm: 73610 69260 131 6 0 72080 0
Current children cumulated CPU time (s) 34.58
Current children cumulated vsize (KiB) 303140
[startup+34.8004 s]
/proc/loadavg: 6.41 5.14 4.51 5/192 2007
/proc/meminfo: memFree=16078820/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=294440 CPUtime=34.67 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 69635 0 0 0 3440 27 0 0 25 0 1 0 490051430 301506560 69260 33554432000 4194304 4218580 140735014655168 18446744073709551615 4213787 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 73610 69260 131 6 0 72080 0
Current children cumulated CPU time (s) 34.67
Current children cumulated vsize (KiB) 303140
[startup+34.9074 s]
/proc/loadavg: 6.41 5.14 4.51 5/192 2007
/proc/meminfo: memFree=16078820/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=294440 CPUtime=34.74 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 69635 0 0 0 3447 27 0 0 25 0 1 0 490051430 301506560 69260 33554432000 4194304 4218580 140735014655168 18446744073709551615 4211541 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/2005/statm: 73610 69260 131 6 0 72080 0
Current children cumulated CPU time (s) 34.74
Current children cumulated vsize (KiB) 303140
[startup+35.0003 s]
/proc/loadavg: 6.41 5.14 4.51 5/192 2007
/proc/meminfo: memFree=16078820/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=294440 CPUtime=34.83 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 69635 0 0 0 3456 27 0 0 25 0 1 0 490051430 301506560 69260 33554432000 4194304 4218580 140735014655168 18446744073709551615 4209105 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/2005/statm: 73610 69260 131 6 0 72080 0
Current children cumulated CPU time (s) 34.83
Current children cumulated vsize (KiB) 303140
[startup+51.1006 s]
/proc/loadavg: 6.81 5.31 4.58 5/192 2007
/proc/meminfo: memFree=16079264/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=294848 CPUtime=50.47 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 69739 0 0 0 5014 33 0 0 25 0 1 0 490051430 301924352 69364 33554432000 4194304 4218580 140735014655168 18446744073709551615 4213834 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/2005/statm: 73712 69364 131 6 0 72182 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 303548
[startup+102.301 s]
/proc/loadavg: 5.37 5.16 4.56 5/192 2008
/proc/meminfo: memFree=16081060/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=295300 CPUtime=101.47 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 69830 0 0 0 10110 37 0 0 25 0 1 0 490051430 302387200 69455 33554432000 4194304 4218580 140735014655168 18446744073709551615 4208186 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 73825 69455 131 6 0 72295 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 304000
[startup+162.3 s]
/proc/loadavg: 4.50 4.95 4.53 5/192 2010
/proc/meminfo: memFree=16069508/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=295300 CPUtime=161.47 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 69840 0 0 0 16110 37 0 0 25 0 1 0 490051430 302387200 69465 33554432000 4194304 4218580 140735014655168 18446744073709551615 4210517 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 73825 69465 131 6 0 72295 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 304000
[startup+222.301 s]
/proc/loadavg: 4.18 4.77 4.49 5/192 2012
/proc/meminfo: memFree=16063064/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=296732 CPUtime=221.47 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 70229 0 0 0 22110 37 0 0 25 0 1 0 490051430 303853568 69848 33554432000 4194304 4218580 140735014655168 18446744073709551615 4210020 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 74183 69848 131 6 0 72653 0
Current children cumulated CPU time (s) 221.47
Current children cumulated vsize (KiB) 305432
[startup+282.301 s]
/proc/loadavg: 4.07 4.63 4.45 5/192 2013
/proc/meminfo: memFree=16053528/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=304080 CPUtime=281.47 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 72083 0 0 0 28110 37 0 0 25 0 1 0 490051430 311377920 71702 33554432000 4194304 4218580 140735014655168 18446744073709551615 4213773 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 76020 71702 131 6 0 74490 0
Current children cumulated CPU time (s) 281.47
Current children cumulated vsize (KiB) 312780
[startup+342.301 s]
/proc/loadavg: 4.02 4.51 4.43 5/192 2015
/proc/meminfo: memFree=16050464/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=304112 CPUtime=341.47 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 72090 0 0 0 34110 37 0 0 25 0 1 0 490051430 311410688 71709 33554432000 4194304 4218580 140735014655168 18446744073709551615 4208438 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 76028 71709 131 6 0 74498 0
Current children cumulated CPU time (s) 341.47
Current children cumulated vsize (KiB) 312812
[startup+402.307 s]
/proc/loadavg: 4.01 4.42 4.40 5/192 2016
/proc/meminfo: memFree=16047976/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
################
# More data... #
################
/proc/2005/statm: 76989 72648 131 6 0 75459 0
Current children cumulated CPU time (s) 581.48
Current children cumulated vsize (KiB) 316656
[startup+642.301 s]
/proc/loadavg: 4.06 4.23 4.32 5/192 2023
/proc/meminfo: memFree=16026492/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=308020 CPUtime=641.48 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 73050 0 0 0 64110 38 0 0 25 0 1 0 490051430 315412480 72659 33554432000 4194304 4218580 140735014655168 18446744073709551615 4213922 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 77005 72659 131 6 0 75475 0
Current children cumulated CPU time (s) 641.48
Current children cumulated vsize (KiB) 316720
[startup+702.301 s]
/proc/loadavg: 4.02 4.18 4.29 5/192 2024
/proc/meminfo: memFree=16016720/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=316760 CPUtime=701.48 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 75246 0 0 0 70109 39 0 0 25 0 1 0 490051430 324362240 74847 33554432000 4194304 4218580 140735014655168 18446744073709551615 4208205 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 79190 74847 131 6 0 77660 0
Current children cumulated CPU time (s) 701.48
Current children cumulated vsize (KiB) 325460
[startup+762.3 s]
/proc/loadavg: 4.01 4.15 4.27 5/192 2026
/proc/meminfo: memFree=16014712/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=316824 CPUtime=761.48 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 75263 0 0 0 76109 39 0 0 25 0 1 0 490051430 324427776 74861 33554432000 4194304 4218580 140735014655168 18446744073709551615 4211905 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 79206 74861 131 6 0 77676 0
Current children cumulated CPU time (s) 761.48
Current children cumulated vsize (KiB) 325524
[startup+822.301 s]
/proc/loadavg: 4.00 4.12 4.25 5/192 2028
/proc/meminfo: memFree=16013120/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=317120 CPUtime=821.48 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 75344 0 0 0 82109 39 0 0 25 0 1 0 490051430 324730880 74935 33554432000 4194304 4218580 140735014655168 18446744073709551615 4211905 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 79280 74935 131 6 0 77750 0
Current children cumulated CPU time (s) 821.48
Current children cumulated vsize (KiB) 325820
[startup+882.3 s]
/proc/loadavg: 3.56 3.98 4.20 4/185 2047
/proc/meminfo: memFree=16055216/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=317088 CPUtime=881.48 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 75350 0 0 0 88109 39 0 0 25 0 1 0 490051430 324698112 74934 33554432000 4194304 4218580 140735014655168 18446744073709551615 4208209 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 79272 74934 131 6 0 77742 0
Current children cumulated CPU time (s) 881.48
Current children cumulated vsize (KiB) 325788
[startup+942.301 s]
/proc/loadavg: 2.57 3.62 4.06 3/178 2068
/proc/meminfo: memFree=16129220/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=317120 CPUtime=941.48 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 75364 0 0 0 94109 39 0 0 25 0 1 0 490051430 324730880 74942 33554432000 4194304 4218580 140735014655168 18446744073709551615 4210232 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 79280 74942 131 6 0 77750 0
Current children cumulated CPU time (s) 941.48
Current children cumulated vsize (KiB) 325820
[startup+1002.3 s]
/proc/loadavg: 2.21 3.32 3.93 3/178 2069
/proc/meminfo: memFree=16118324/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=328008 CPUtime=1001.48 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 78099 0 0 0 100108 40 0 0 25 0 1 0 490051430 335880192 77660 33554432000 4194304 4218580 140735014655168 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 82002 77660 131 6 0 80472 0
Current children cumulated CPU time (s) 1001.48
Current children cumulated vsize (KiB) 336708
[startup+1062.31 s]
/proc/loadavg: 2.07 3.08 3.80 3/178 2071
/proc/meminfo: memFree=16107956/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=338580 CPUtime=1061.49 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 80790 0 0 0 106108 41 0 0 25 0 1 0 490051430 346705920 80315 33554432000 4194304 4218580 140735014655168 18446744073709551615 4210079 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 84645 80315 131 6 0 83115 0
Current children cumulated CPU time (s) 1061.49
Current children cumulated vsize (KiB) 347280
[startup+1122.3 s]
/proc/loadavg: 2.10 2.90 3.69 3/178 2073
/proc/meminfo: memFree=16069044/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=374328 CPUtime=1121.49 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 89769 0 0 0 112106 43 0 0 25 0 1 0 490051430 383311872 89273 33554432000 4194304 4218580 140735014655168 18446744073709551615 4210509 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 93582 89273 131 6 0 92052 0
Current children cumulated CPU time (s) 1121.49
Current children cumulated vsize (KiB) 383028
[startup+1182.3 s]
/proc/loadavg: 1.55 2.60 3.54 2/171 2092
/proc/meminfo: memFree=16646164/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=374296 CPUtime=1181.49 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 89780 0 0 0 118106 43 0 0 25 0 1 0 490051430 383279104 89268 33554432000 4194304 4218580 140735014655168 18446744073709551615 4208438 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 93574 89268 131 6 0 92044 0
Current children cumulated CPU time (s) 1181.49
Current children cumulated vsize (KiB) 382996
[startup+1242.3 s]
/proc/loadavg: 1.20 2.31 3.38 2/171 2094
/proc/meminfo: memFree=16646136/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=374360 CPUtime=1241.49 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 89801 0 0 0 124106 43 0 0 25 0 1 0 490051430 383344640 89281 33554432000 4194304 4218580 140735014655168 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 93590 89281 131 6 0 92060 0
Current children cumulated CPU time (s) 1241.49
Current children cumulated vsize (KiB) 383060
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.07 2.07 3.23 2/171 2095
/proc/meminfo: memFree=16646000/32951132 swapFree=67111528/67111528
[pid=2003] ppid=2001 vsize=8700 CPUtime=0 cores=1,3
/proc/2003/stat : 2003 (esg_static.sh) S 2001 2003 524 0 -1 4202496 354 112 0 0 0 0 0 0 24 0 1 0 490051430 8908800 253 33554432000 4194304 4922060 140733947470448 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2003/statm: 2175 253 209 178 0 68 0
[pid=2005] ppid=2003 vsize=374360 CPUtime=1299.2 cores=1,3
/proc/2005/stat : 2005 (cdcl) R 2003 2003 524 0 -1 4202496 89816 0 0 0 129877 43 0 0 25 0 1 0 490051430 383344640 89284 33554432000 4194304 4218580 140735014655168 18446744073709551615 4208340 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/2005/statm: 93590 89284 131 6 0 92060 0
Current children cumulated CPU time (s) 1299.2
Current children cumulated vsize (KiB) 383060
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 2003 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 1299.2
#
# 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): 1299.2
CPU user time (s): 1298.77
CPU system time (s): 0.43
CPU usage (%): 99.9375
Max. virtual memory (cumulated for all children) (KiB): 383092
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= 7
involuntary context switches= 7
runsolver used 1.9927 second user time and 4.82427 second system time
The end
Begin job on node131 at 2011-04-26 04:21:58
IDJOB=3293581
IDBENCH=88159
IDSOLVER=1609
FILE ID=node131/3293581-1303784516
RUNJOBID= node131-1303781575-544
PBS_JOBID= 13157225
Free space on /tmp= 71500 MiB
SOLVER NAME= rcl 2011-04-01
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293581-1303784516/watcher-3293581-1303784516 -o /tmp/evaluation-result-3293581-1303784516/solver-3293581-1303784516 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3293581-1303784516.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=151151264
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: 16360476 kB
Buffers: 1012124 kB
Cached: 14588952 kB
SwapCached: 0 kB
Active: 5652936 kB
Inactive: 10412092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 16360476 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 402864 kB
Writeback: 0 kB
AnonPages: 463440 kB
Mapped: 15472 kB
Slab: 460216 kB
PageTables: 6216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 664216 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= 71732 MiB
End job on node131 at 2011-04-26 04:43:40