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-3250113-1303512973/watcher-3250113-1303512973 -o /tmp/evaluation-result-3250113-1303512973/solver-3250113-1303512973 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3250113-1303512973.cnf rnovelty
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: 3.47 3.87 3.77 3/191 24082
/proc/meminfo: memFree=12208588/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 443713169 8912896 252 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24082/statm: 2176 252 211 178 0 69 0
[startup+0.048838 s]
/proc/loadavg: 3.47 3.87 3.77 3/191 24082
/proc/meminfo: memFree=12208588/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 443713169 8912896 252 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24082/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.10083 s]
/proc/loadavg: 3.47 3.87 3.77 3/191 24082
/proc/meminfo: memFree=12208588/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 443713169 8912896 252 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24082/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300805 s]
/proc/loadavg: 3.47 3.87 3.77 3/191 24082
/proc/meminfo: memFree=12208588/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 443713169 8912896 252 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24082/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700719 s]
/proc/loadavg: 3.47 3.87 3.77 3/191 24082
/proc/meminfo: memFree=12208588/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8704
[startup+1.50058 s]
/proc/loadavg: 3.47 3.87 3.77 5/197 24114
/proc/meminfo: memFree=12164468/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=23476 CPUtime=1.01 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 4302 0 0 0 101 0 0 0 18 0 1 0 443713217 24039424 4213 33554432000 4194304 4241092 140733296269632 18446744073709551615 4228737 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 5869 4213 135 12 0 4333 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40884
[startup+3.10029 s]
/proc/loadavg: 3.52 3.87 3.77 5/198 24116
/proc/meminfo: memFree=12164336/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=24464 CPUtime=2.61 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 4531 0 0 0 261 0 0 0 22 0 1 0 443713217 25051136 4442 33554432000 4194304 4241092 140733296269632 18446744073709551615 4204611 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 6116 4442 135 12 0 4580 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41872
[startup+6.30072 s]
/proc/loadavg: 3.52 3.87 3.77 5/198 24116
/proc/meminfo: memFree=12158752/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=25552 CPUtime=5.81 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 4834 0 0 0 581 0 0 0 25 0 1 0 443713217 26165248 4745 33554432000 4194304 4241092 140733296269632 18446744073709551615 4222347 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 6388 4745 136 12 0 4852 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42960
[startup+12.7006 s]
/proc/loadavg: 3.55 3.88 3.77 5/198 24116
/proc/meminfo: memFree=12151640/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=28024 CPUtime=12.2 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 5425 0 0 0 1220 0 0 0 25 0 1 0 443713217 28696576 5336 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 7006 5336 136 12 0 5470 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 45432
[startup+25.5003 s]
/proc/loadavg: 3.65 3.88 3.77 5/198 24117
/proc/meminfo: memFree=12142028/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=30760 CPUtime=25.01 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 6123 0 0 0 2500 1 0 0 25 0 1 0 443713217 31498240 6034 33554432000 4194304 4241092 140733296269632 18446744073709551615 4228832 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 7690 6034 136 12 0 6154 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48168
[startup+51.1007 s]
/proc/loadavg: 3.77 3.89 3.78 5/198 24117
/proc/meminfo: memFree=12128856/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=35540 CPUtime=50.61 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 7332 0 0 0 5060 1 0 0 25 0 1 0 443713217 36392960 7243 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223320 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 8885 7243 136 12 0 7349 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52948
[startup+102.307 s]
/proc/loadavg: 3.91 3.91 3.79 5/198 24119
/proc/meminfo: memFree=12109368/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=41300 CPUtime=101.82 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 8791 0 0 0 10180 2 0 0 25 0 1 0 443713217 42291200 8692 33554432000 4194304 4241092 140733296269632 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 10325 8692 136 12 0 8789 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 58708
[startup+162.301 s]
/proc/loadavg: 3.96 3.92 3.80 5/198 24120
/proc/meminfo: memFree=12090128/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=49812 CPUtime=161.81 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 10975 0 0 0 16178 3 0 0 25 0 1 0 443713217 51007488 10819 33554432000 4194304 4241092 140733296269632 18446744073709551615 4225156 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 12453 10819 136 12 0 10917 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 67220
[startup+222.301 s]
/proc/loadavg: 4.02 3.94 3.82 5/198 24122
/proc/meminfo: memFree=12083904/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=50004 CPUtime=221.82 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 11075 0 0 0 22179 3 0 0 25 0 1 0 443713217 51204096 10864 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223953 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 12501 10864 136 12 0 10965 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 67412
[startup+282.301 s]
################
# More data... #
################
/proc/meminfo: memFree=12001344/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=87244 CPUtime=761.83 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 21262 0 0 0 76176 7 0 0 25 0 1 0 443713217 89337856 20175 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 21811 20175 136 12 0 20275 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 104652
[startup+822.3 s]
/proc/loadavg: 4.02 4.00 3.89 5/198 24147
/proc/meminfo: memFree=11998344/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=87436 CPUtime=821.83 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 21383 0 0 0 82175 8 0 0 25 0 1 0 443713217 89534464 20218 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223730 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 21859 20218 136 12 0 20323 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 104844
[startup+882.3 s]
/proc/loadavg: 4.04 4.01 3.90 5/198 24149
/proc/meminfo: memFree=11993856/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=87468 CPUtime=881.83 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 21486 0 0 0 88175 8 0 0 25 0 1 0 443713217 89567232 20225 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 21867 20225 136 12 0 20331 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 104876
[startup+942.301 s]
/proc/loadavg: 4.01 4.01 3.91 5/198 24150
/proc/meminfo: memFree=11989752/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=87404 CPUtime=941.83 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 21588 0 0 0 94175 8 0 0 25 0 1 0 443713217 89501696 20216 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 21851 20216 136 12 0 20315 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 104812
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 24152
/proc/meminfo: memFree=11987124/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=87500 CPUtime=1001.83 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 21692 0 0 0 100175 8 0 0 25 0 1 0 443713217 89600000 20234 33554432000 4194304 4241092 140733296269632 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 21875 20234 136 12 0 20339 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 104908
[startup+1062.3 s]
/proc/loadavg: 4.05 4.01 3.91 5/198 24153
/proc/meminfo: memFree=11980412/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=91736 CPUtime=1061.83 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 22844 0 0 0 106175 8 0 0 25 0 1 0 443713217 93937664 21275 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 22934 21275 136 12 0 21398 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 109144
[startup+1122.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/198 24155
/proc/meminfo: memFree=11975924/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=91608 CPUtime=1121.84 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 22950 0 0 0 112175 9 0 0 25 0 1 0 443713217 93806592 21245 33554432000 4194304 4241092 140733296269632 18446744073709551615 4221877 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 22902 21245 136 12 0 21366 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 109016
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 24157
/proc/meminfo: memFree=11973536/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=91480 CPUtime=1181.84 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 23043 0 0 0 118175 9 0 0 25 0 1 0 443713217 93675520 21218 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 22870 21218 136 12 0 21334 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 108888
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/198 24158
/proc/meminfo: memFree=11964852/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=100020 CPUtime=1241.84 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 25314 0 0 0 124174 10 0 0 25 0 1 0 443713217 102420480 23368 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 25005 23368 136 12 0 23469 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 117428
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.07 4.02 3.92 3/182 24198
/proc/meminfo: memFree=12033804/32951124 swapFree=67111528/67111528
[pid=24082] ppid=24080 vsize=8704 CPUtime=0.47 cores=1,3
/proc/24082/stat : 24082 (esg_static.sh) S 24080 24082 22412 0 -1 4202496 349 4547 0 0 0 0 46 1 21 0 1 0 443713169 8912896 255 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510297344 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24082/statm: 2176 255 211 178 0 69 0
[pid=24113] ppid=24082 vsize=8704 CPUtime=0 cores=1,3
/proc/24113/stat : 24113 (esg_static.sh) S 24082 24082 22412 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 443713217 8912896 134 33554432000 4194304 4922060 140736628376432 18446744073709551615 233510116485 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24113/statm: 2176 134 90 178 0 69 0
[pid=24114] ppid=24113 vsize=114720 CPUtime=1299.55 cores=1,3
/proc/24114/stat : 24114 (sathys) R 24113 24082 22412 0 -1 4202496 29152 0 0 0 129944 11 0 0 25 0 1 0 443713217 117473280 27049 33554432000 4194304 4241092 140733296269632 18446744073709551615 4223760 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24114/statm: 28680 27049 136 12 0 27144 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 132128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24082 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=465929
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.481926
# 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.9
CPU system time (s): 0.12
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 132288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.465929
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5247
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= 11
involuntary context switches= 6
runsolver used 2.03969 second user time and 5.07623 second system time
The end
Begin job on node145 at 2011-04-23 00:56:13
IDJOB=3250113
IDBENCH=83244
IDSOLVER=1610
FILE ID=node145/3250113-1303512973
RUNJOBID= node145-1303512970-23736
PBS_JOBID= 13134278
Free space on /tmp= 71260 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/crafted/manthey/sudoku-single-hard/sudoku_81x81_unknown.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250113-1303512973/watcher-3250113-1303512973 -o /tmp/evaluation-result-3250113-1303512973/solver-3250113-1303512973 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3250113-1303512973.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= cbd78921480e79d133eb06cb2172caa1
RANDOM SEED=972175294
node145.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.786
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.57
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.786
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.76
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.786
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.786
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 12208868 kB
Buffers: 1829188 kB
Cached: 18274692 kB
SwapCached: 0 kB
Active: 9783080 kB
Inactive: 10395548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12208868 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8808 kB
Writeback: 0 kB
AnonPages: 74156 kB
Mapped: 15232 kB
Slab: 498980 kB
PageTables: 5436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 260060 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= 71252 MiB
End job on node145 at 2011-04-23 01:17:53