runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 931)
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-3189674-1302706767/watcher-3189674-1302706767 -o /tmp/evaluation-result-3189674-1302706767/solver-3189674-1302706767 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189674-1302706767.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: 4.06 4.00 3.49 4/195 6091
/proc/meminfo: memFree=26841544/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=11796 CPUtime=0 cores=1,3
/proc/6091/stat : 6091 (runsolver) R 6089 6091 5856 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 114868041 12079104 51 33554432000 4194304 5432328 140733439821312 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/6091/statm: 2949 51 31 303 0 2643 0
[startup+0.101253 s]
/proc/loadavg: 4.06 4.00 3.49 4/195 6091
/proc/meminfo: memFree=26841544/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 114868041 8912896 253 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6091/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.200234 s]
/proc/loadavg: 4.06 4.00 3.49 4/195 6091
/proc/meminfo: memFree=26841544/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 114868041 8912896 253 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6091/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300217 s]
/proc/loadavg: 4.06 4.00 3.49 4/195 6091
/proc/meminfo: memFree=26841544/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 114868041 8912896 253 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6091/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.701109 s]
/proc/loadavg: 4.06 4.00 3.49 4/195 6091
/proc/meminfo: memFree=26841544/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8704
[startup+1.501 s]
/proc/loadavg: 4.06 4.00 3.49 5/198 6095
/proc/meminfo: memFree=26744188/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=75164 CPUtime=0.99 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 16645 0 0 0 97 2 0 0 19 0 1 0 114868091 76967936 16554 33554432000 4194304 4241092 140734793003632 18446744073709551615 4218244 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 18791 16554 131 12 0 17255 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 92572
[startup+3.10073 s]
/proc/loadavg: 4.06 4.00 3.50 5/198 6095
/proc/meminfo: memFree=26738468/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=77012 CPUtime=2.59 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 17115 0 0 0 257 2 0 0 22 0 1 0 114868091 78860288 17024 33554432000 4194304 4241092 140734793003632 18446744073709551615 4221917 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 19253 17024 136 12 0 17717 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 94420
[startup+6.30116 s]
/proc/loadavg: 4.06 4.00 3.50 5/198 6095
/proc/meminfo: memFree=26731616/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=78072 CPUtime=5.79 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 17366 0 0 0 577 2 0 0 25 0 1 0 114868091 79945728 17275 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223681 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 19518 17275 136 12 0 17982 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 95480
[startup+12.701 s]
/proc/loadavg: 4.05 4.00 3.50 5/198 6095
/proc/meminfo: memFree=26720492/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=80060 CPUtime=12.2 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 17866 0 0 0 1217 3 0 0 25 0 1 0 114868091 81981440 17775 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223733 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 20015 17775 136 12 0 18479 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 97468
[startup+25.5008 s]
/proc/loadavg: 4.04 4.00 3.51 5/198 6096
/proc/meminfo: memFree=26708816/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=82900 CPUtime=25 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 18583 0 0 0 2497 3 0 0 25 0 1 0 114868091 84889600 18492 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 20725 18492 136 12 0 19189 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 100308
[startup+51.1013 s]
/proc/loadavg: 4.03 4.00 3.52 5/198 6096
/proc/meminfo: memFree=26693872/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=85968 CPUtime=50.59 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 19346 0 0 0 5056 3 0 0 25 0 1 0 114868091 88031232 19255 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223573 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 21492 19255 136 12 0 19956 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 103376
[startup+102.301 s]
/proc/loadavg: 4.01 4.00 3.54 5/198 6107
/proc/meminfo: memFree=26647316/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=94948 CPUtime=101.8 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 21618 0 0 0 10176 4 0 0 25 0 1 0 114868091 97226752 21527 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 23737 21527 136 12 0 22201 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112356
[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.57 5/198 6108
/proc/meminfo: memFree=26607416/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=117844 CPUtime=161.79 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 27337 0 0 0 16174 5 0 0 25 0 1 0 114868091 120672256 27227 33554432000 4194304 4241092 140734793003632 18446744073709551615 4205594 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 29461 27227 136 12 0 27925 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 135252
[startup+222.307 s]
/proc/loadavg: 4.00 4.00 3.59 5/198 6110
/proc/meminfo: memFree=26581804/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=117876 CPUtime=221.8 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 27353 0 0 0 22175 5 0 0 25 0 1 0 114868091 120705024 27236 33554432000 4194304 4241092 140734793003632 18446744073709551615 4228418 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 29469 27236 136 12 0 27933 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 135284
[startup+282.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26404184/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=176148 CPUtime=821.8 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 42548 0 0 0 82169 11 0 0 25 0 1 0 114868091 180375552 41823 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44037 41823 136 12 0 42501 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 193556
[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.79 5/198 6128
/proc/meminfo: memFree=26326388/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=176108 CPUtime=881.82 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 42635 0 0 0 88170 12 0 0 25 0 1 0 114868091 180334592 41824 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44027 41824 136 12 0 42491 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 193516
[startup+942.3 s]
/proc/loadavg: 4.11 4.03 3.81 5/198 6129
/proc/meminfo: memFree=26311344/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=176140 CPUtime=941.81 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 42735 0 0 0 94169 12 0 0 25 0 1 0 114868091 180367360 41826 33554432000 4194304 4241092 140734793003632 18446744073709551615 4222280 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44035 41826 136 12 0 42499 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 193548
[startup+1002.3 s]
/proc/loadavg: 4.04 4.02 3.82 5/198 6131
/proc/meminfo: memFree=26311284/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=176108 CPUtime=1001.81 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 42828 0 0 0 100169 12 0 0 25 0 1 0 114868091 180334592 41819 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44027 41819 136 12 0 42491 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 193516
[startup+1062.3 s]
/proc/loadavg: 4.07 4.03 3.83 5/198 6132
/proc/meminfo: memFree=26310380/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=176204 CPUtime=1061.81 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 42918 0 0 0 106169 12 0 0 25 0 1 0 114868091 180432896 41842 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223640 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44051 41842 136 12 0 42515 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 193612
[startup+1122.3 s]
/proc/loadavg: 4.02 4.02 3.84 5/198 6134
/proc/meminfo: memFree=26310212/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=176140 CPUtime=1121.81 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 42999 0 0 0 112169 12 0 0 25 0 1 0 114868091 180367360 41830 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44035 41830 136 12 0 42499 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 193548
[startup+1182.3 s]
/proc/loadavg: 4.01 4.02 3.84 5/198 6136
/proc/meminfo: memFree=26304196/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=179736 CPUtime=1181.82 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 43982 0 0 0 118169 13 0 0 25 0 1 0 114868091 184049664 42730 33554432000 4194304 4241092 140734793003632 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44934 42730 136 12 0 43398 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 197144
[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.85 5/198 6137
/proc/meminfo: memFree=26303400/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=179800 CPUtime=1241.82 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 44073 0 0 0 124169 13 0 0 25 0 1 0 114868091 184115200 42740 33554432000 4194304 4241092 140734793003632 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44950 42740 136 12 0 43414 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 197208
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.06 4.02 3.86 3/189 6187
/proc/meminfo: memFree=26687400/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=179800 CPUtime=1299.52 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 44170 0 0 0 129939 13 0 0 25 0 1 0 114868091 184115200 42742 33554432000 4194304 4241092 140734793003632 18446744073709551615 4205319 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44950 42742 136 12 0 43414 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 197208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 4.06 4.02 3.86 3/189 6187
/proc/meminfo: memFree=26687400/32951124 swapFree=67111528/67111528
[pid=6091] ppid=6089 vsize=8704 CPUtime=0.47 cores=1,3
/proc/6091/stat : 6091 (esg_static.sh) S 6089 6091 5856 0 -1 4202496 349 6442 0 0 0 0 46 1 21 0 1 0 114868041 8912896 256 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660662016 0 0 4100 65536 18446744071562362840 0 0 17 3 0 0 0
/proc/6091/statm: 2176 256 211 178 0 69 0
[pid=6094] ppid=6091 vsize=8704 CPUtime=0 cores=1,3
/proc/6094/stat : 6094 (esg_static.sh) S 6091 6091 5856 0 -1 4202560 131 0 0 0 0 0 0 0 21 0 1 0 114868091 8912896 135 33554432000 4194304 4922060 140733893133200 18446744073709551615 268660481157 0 65536 4096 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6094/statm: 2176 135 90 178 0 69 0
[pid=6095] ppid=6094 vsize=179800 CPUtime=1299.52 cores=1,3
/proc/6095/stat : 6095 (sathys) R 6094 6091 5856 0 -1 4202496 44170 0 0 0 129939 13 0 0 25 0 1 0 114868091 184115200 42742 33554432000 4194304 4241092 140734793003632 18446744073709551615 4205319 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/6095/statm: 44950 42742 136 12 0 43414 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 197208
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6091 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=468928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.488924
# while last known CPU time is 1299.99
#
# 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.99
CPU user time (s): 1299.85
CPU system time (s): 0.14
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 197240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.468928
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7141
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= 10
involuntary context switches= 22
runsolver used 2.01869 second user time and 5.09323 second system time
The end
Begin job on node107 at 2011-04-13 16:59:28
IDJOB=3189674
IDBENCH=82605
IDSOLVER=1610
FILE ID=node107/3189674-1302706767
RUNJOBID= node107-1302705467-5876
PBS_JOBID= 12981413
Free space on /tmp= 73476 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3189674-1302706767/watcher-3189674-1302706767 -o /tmp/evaluation-result-3189674-1302706767/solver-3189674-1302706767 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3189674-1302706767.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 94d10ca78c6cee5b0badfb96b777ac08
RANDOM SEED=1362313091
node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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 : 5359.47
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.829
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.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 26841948 kB
Buffers: 539428 kB
Cached: 5239692 kB
SwapCached: 0 kB
Active: 3090172 kB
Inactive: 2776880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 26841948 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 14076 kB
Writeback: 0 kB
AnonPages: 87532 kB
Mapped: 15496 kB
Slab: 178668 kB
PageTables: 5544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 273488 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= 73480 MiB
End job on node107 at 2011-04-13 17:21:08