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-3293536-1303786920/watcher-3293536-1303786920 -o /tmp/evaluation-result-3293536-1303786920/solver-3293536-1303786920 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3293536-1303786920.cnf rnovelty
running on 2 cores: 4,6
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.99 3.98 3.86 4/195 23969
/proc/meminfo: memFree=12926944/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[startup+0.088353 s]
/proc/loadavg: 3.99 3.98 3.86 4/195 23969
/proc/meminfo: memFree=12926944/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100351 s]
/proc/loadavg: 3.99 3.98 3.86 4/195 23969
/proc/meminfo: memFree=12926944/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300318 s]
/proc/loadavg: 3.99 3.98 3.86 4/195 23969
/proc/meminfo: memFree=12926944/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700249 s]
/proc/loadavg: 3.99 3.98 3.86 4/195 23969
/proc/meminfo: memFree=12926944/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50107 s]
/proc/loadavg: 3.99 3.98 3.86 5/197 23972
/proc/meminfo: memFree=12794820/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=171064 CPUtime=1.49 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 35846 0 0 0 142 7 0 0 25 0 1 0 490290934 175169536 35730 33554432000 4194304 4241092 140734018985184 18446744073709551615 251813936907 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 42766 35730 113 12 0 41230 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 179768
[startup+3.1008 s]
/proc/loadavg: 3.99 3.98 3.86 5/197 23973
/proc/meminfo: memFree=12768780/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=207080 CPUtime=3.09 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 44837 0 0 0 299 10 0 0 25 0 1 0 490290934 212049920 44721 33554432000 4194304 4241092 140734018985184 18446744073709551615 251814240000 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 51770 44721 113 12 0 50234 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 215784
[startup+6.30026 s]
/proc/loadavg: 4.23 4.03 3.87 5/197 23973
/proc/meminfo: memFree=12684784/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=273796 CPUtime=6.29 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 61519 0 0 0 613 16 0 0 25 0 1 0 490290934 280367104 61403 33554432000 4194304 4241092 140734018985184 18446744073709551615 251814240000 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 68449 61403 113 12 0 66913 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 282500
[startup+12.7002 s]
/proc/loadavg: 4.21 4.03 3.87 5/197 23973
/proc/meminfo: memFree=12193464/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=767128 CPUtime=12.69 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 183720 0 0 0 1234 35 0 0 25 0 1 0 490290934 785539072 183445 33554432000 4194304 4241092 140734018985184 18446744073709551615 4216792 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 191782 183445 131 12 0 190246 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 775832
[startup+25.5011 s]
/proc/loadavg: 4.18 4.03 3.88 5/197 23973
/proc/meminfo: memFree=12180292/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=767128 CPUtime=25.49 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 183721 0 0 0 2514 35 0 0 25 0 1 0 490290934 785539072 183446 33554432000 4194304 4241092 140734018985184 18446744073709551615 4216804 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 191782 183446 131 12 0 190246 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 775832
[startup+51.1068 s]
/proc/loadavg: 4.11 4.03 3.88 5/197 23974
/proc/meminfo: memFree=12170092/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=767128 CPUtime=51.1 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 183729 0 0 0 5075 35 0 0 25 0 1 0 490290934 785539072 183454 33554432000 4194304 4241092 140734018985184 18446744073709551615 4216804 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 191782 183454 131 12 0 190246 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 775832
[startup+102.3 s]
/proc/loadavg: 4.16 4.05 3.89 5/196 24010
/proc/meminfo: memFree=11421888/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=767716 CPUtime=102.29 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 184096 0 0 0 10194 35 0 0 25 0 1 0 490290934 786141184 183802 33554432000 4194304 4241092 140734018985184 18446744073709551615 4216815 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 191929 183802 271 12 0 190393 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 776420
[startup+162.301 s]
/proc/loadavg: 4.11 4.05 3.91 5/196 24015
/proc/meminfo: memFree=11416920/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=767864 CPUtime=162.29 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 184210 0 0 0 16194 35 0 0 25 0 1 0 490290934 786292736 183890 33554432000 4194304 4241092 140734018985184 18446744073709551615 4218244 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 191966 183890 245 12 0 190430 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 776568
[startup+222.301 s]
/proc/loadavg: 4.12 4.06 3.91 5/195 24045
/proc/meminfo: memFree=11033820/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=774256 CPUtime=222.29 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 186370 0 0 0 22194 35 0 0 25 0 1 0 490290934 792838144 185946 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223542 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 193564 185946 150 12 0 192028 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 782960
[startup+282.301 s]
/proc/loadavg: 4.04 4.05 3.91 5/196 24049
/proc/meminfo: memFree=11064544/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=775576 CPUtime=282.3 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 186728 0 0 0 28194 36 0 0 25 0 1 0 490290934 794189824 186287 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 193894 186287 138 12 0 192358 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 784280
[startup+342.301 s]
/proc/loadavg: 4.01 4.04 3.91 5/196 24051
/proc/meminfo: memFree=11047980/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=775740 CPUtime=342.3 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 186781 0 0 0 34194 36 0 0 25 0 1 0 490290934 794357760 186338 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 193935 186338 136 12 0 192399 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 784444
[startup+402.301 s]
/proc/loadavg: 4.00 4.03 3.91 5/196 24053
/proc/meminfo: memFree=11031744/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/23971/statm: 195695 188188 136 12 0 194159 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 791484
[startup+642.3 s]
/proc/loadavg: 4.03 4.03 3.93 5/196 24059
/proc/meminfo: memFree=11003156/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=783700 CPUtime=642.29 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 188949 0 0 0 64193 36 0 0 25 0 1 0 490290934 802508800 188421 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 195925 188421 136 12 0 194389 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 792404
[startup+702.307 s]
/proc/loadavg: 4.01 4.02 3.93 5/196 24061
/proc/meminfo: memFree=11002756/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=783764 CPUtime=702.3 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 188973 0 0 0 70194 36 0 0 25 0 1 0 490290934 802574336 188443 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 195941 188443 136 12 0 194405 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 792468
[startup+762.3 s]
/proc/loadavg: 4.00 4.02 3.93 5/196 24062
/proc/meminfo: memFree=11000820/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=783796 CPUtime=762.29 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 188982 0 0 0 76193 36 0 0 25 0 1 0 490290934 802607104 188452 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 195949 188452 136 12 0 194413 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 792500
[startup+822.301 s]
/proc/loadavg: 4.05 4.03 3.93 5/196 24063
/proc/meminfo: memFree=10991936/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=789176 CPUtime=822.3 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 190325 0 0 0 82193 37 0 0 25 0 1 0 490290934 808116224 189792 33554432000 4194304 4241092 140734018985184 18446744073709551615 4222349 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 197294 189792 136 12 0 195758 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 797880
[startup+882.301 s]
/proc/loadavg: 4.02 4.02 3.93 5/196 24065
/proc/meminfo: memFree=10976704/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=791432 CPUtime=882.3 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 190970 0 0 0 88193 37 0 0 25 0 1 0 490290934 810426368 190400 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 197858 190400 136 12 0 196322 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 800136
[startup+942.301 s]
/proc/loadavg: 4.00 4.02 3.93 5/196 24067
/proc/meminfo: memFree=10957540/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=793052 CPUtime=942.3 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 191367 0 0 0 94192 38 0 0 25 0 1 0 490290934 812085248 190797 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223918 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 198263 190797 136 12 0 196727 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 801756
[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.93 5/196 24068
/proc/meminfo: memFree=10949524/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=793084 CPUtime=1002.3 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 191377 0 0 0 100192 38 0 0 25 0 1 0 490290934 812118016 190807 33554432000 4194304 4241092 140734018985184 18446744073709551615 4205594 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 198271 190807 136 12 0 196735 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 801788
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/196 24070
/proc/meminfo: memFree=10944208/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=793148 CPUtime=1062.31 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 191388 0 0 0 106193 38 0 0 25 0 1 0 490290934 812183552 190817 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 198287 190817 136 12 0 196751 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 801852
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/196 24071
/proc/meminfo: memFree=10943248/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=793148 CPUtime=1122.31 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 191408 0 0 0 112193 38 0 0 25 0 1 0 490290934 812183552 190825 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223488 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 198287 190825 136 12 0 196751 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 801852
[startup+1182.3 s]
/proc/loadavg: 3.85 3.97 3.92 4/188 24092
/proc/meminfo: memFree=11058496/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=793180 CPUtime=1182.31 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 191424 0 0 0 118193 38 0 0 25 0 1 0 490290934 812216320 190840 33554432000 4194304 4241092 140734018985184 18446744073709551615 4222349 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 198295 190840 136 12 0 196759 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 801884
[startup+1242.3 s]
/proc/loadavg: 3.39 3.80 3.87 4/188 24094
/proc/meminfo: memFree=11055912/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=793244 CPUtime=1242.31 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 191436 0 0 0 124193 38 0 0 25 0 1 0 490290934 812281856 190852 33554432000 4194304 4241092 140734018985184 18446744073709551615 4222364 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 198311 190852 136 12 0 196775 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 801948
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.14 3.66 3.81 4/188 24095
/proc/meminfo: memFree=11049128/32950928 swapFree=67111528/67111528
[pid=23969] ppid=23967 vsize=8704 CPUtime=0 cores=4,6
/proc/23969/stat : 23969 (esg_static.sh) S 23967 23969 23496 0 -1 4202496 358 113 0 0 0 0 0 0 23 0 1 0 490290934 8912896 256 33554432000 4194304 4922060 140736846710256 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23969/statm: 2176 256 211 178 0 69 0
[pid=23971] ppid=23969 vsize=793276 CPUtime=1300.01 cores=4,6
/proc/23971/stat : 23971 (sathys) R 23969 23969 23496 0 -1 4202496 191448 0 0 0 129963 38 0 0 25 0 1 0 490290934 812314624 190864 33554432000 4194304 4241092 140734018985184 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/23971/statm: 198319 190864 136 12 0 196783 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 801980
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 23969 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1300.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1300.01
CPU time (s): 1300.01
CPU user time (s): 1299.63
CPU system time (s): 0.38
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 801980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 2
runsolver used 1.9427 second user time and 5.15522 second system time
The end
Begin job on node126 at 2011-04-26 05:02:02
IDJOB=3293536
IDBENCH=88158
IDSOLVER=1610
FILE ID=node126/3293536-1303786920
RUNJOBID= node126-1303785493-23515
PBS_JOBID= 13157244
Free space on /tmp= 71484 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293536-1303786920/watcher-3293536-1303786920 -o /tmp/evaluation-result-3293536-1303786920/solver-3293536-1303786920 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3293536-1303786920.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=1510265531
node126.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.783
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.56
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.783
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.783
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.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 12927224 kB
Buffers: 2002528 kB
Cached: 17185368 kB
SwapCached: 0 kB
Active: 8318516 kB
Inactive: 11123344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 12927224 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 226068 kB
Writeback: 0 kB
AnonPages: 253164 kB
Mapped: 15240 kB
Slab: 517020 kB
PageTables: 5788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 441440 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= 71160 MiB
End job on node126 at 2011-04-26 05:23:44