runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3498954-1308150728/watcher-3498954-1308150728 -o /tmp/evaluation-result-3498954-1308150728/solver-3498954-1308150728 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3498954-1308150728.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 1.71 1.87 2/178 3160
/proc/meminfo: memFree=29599372/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0

[startup+0.016598 s]
/proc/loadavg: 2.04 1.71 1.87 2/178 3160
/proc/meminfo: memFree=29599372/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100612 s]
/proc/loadavg: 2.04 1.71 1.87 2/178 3160
/proc/meminfo: memFree=29599372/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300576 s]
/proc/loadavg: 2.04 1.71 1.87 2/178 3160
/proc/meminfo: memFree=29599372/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700503 s]
/proc/loadavg: 2.04 1.71 1.87 2/178 3160
/proc/meminfo: memFree=29599372/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50033 s]
/proc/loadavg: 2.04 1.71 1.87 3/180 3163
/proc/meminfo: memFree=29499568/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=132800 CPUtime=1.49 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 27624 0 0 0 145 4 0 0 25 0 1 0 926671002 135987200 27534 33554432000 4194304 4218580 140735836287488 18446744073709551615 212687675136 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/3162/statm: 33200 27534 116 6 0 31670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141500

[startup+3.10103 s]
/proc/loadavg: 2.04 1.71 1.87 3/180 3163
/proc/meminfo: memFree=29477744/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=163812 CPUtime=3.09 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 35354 0 0 0 302 7 0 0 25 0 1 0 926671002 167743488 35264 33554432000 4194304 4218580 140735836287488 18446744073709551615 212687371772 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/3162/statm: 40953 35264 116 6 0 39423 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 172512

[startup+6.30048 s]
/proc/loadavg: 2.12 1.73 1.87 3/180 3163
/proc/meminfo: memFree=29407356/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=209464 CPUtime=6.28 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 48655 0 0 0 617 11 0 0 25 0 1 0 926671002 214491136 48343 33554432000 4194304 4218580 140735836287488 18446744073709551615 4210200 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 52366 48343 130 6 0 50836 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 218164

[startup+12.7003 s]
/proc/loadavg: 2.11 1.74 1.87 3/180 3164
/proc/meminfo: memFree=29407368/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=209464 CPUtime=12.68 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 48734 0 0 0 1257 11 0 0 25 0 1 0 926671002 214491136 48399 33554432000 4194304 4218580 140735836287488 18446744073709551615 4213514 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 52366 48399 133 6 0 50836 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 218164

[startup+25.501 s]
/proc/loadavg: 2.08 1.75 1.87 3/180 3164
/proc/meminfo: memFree=29408280/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=209464 CPUtime=25.48 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 48774 0 0 0 2537 11 0 0 25 0 1 0 926671002 214491136 48439 33554432000 4194304 4218580 140735836287488 18446744073709551615 4210064 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 52366 48439 133 6 0 50836 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 218164

[startup+51.1003 s]
/proc/loadavg: 2.05 1.77 1.88 3/180 3165
/proc/meminfo: memFree=29406288/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=211424 CPUtime=51.09 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 49254 0 0 0 5097 12 0 0 25 0 1 0 926671002 216498176 48919 33554432000 4194304 4218580 140735836287488 18446744073709551615 4208438 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 52856 48919 133 6 0 51326 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 220124

[startup+102.307 s]
/proc/loadavg: 2.02 1.80 1.88 3/180 3166
/proc/meminfo: memFree=29398308/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=219064 CPUtime=102.29 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 51237 0 0 0 10217 12 0 0 25 0 1 0 926671002 224321536 50809 33554432000 4194304 4218580 140735836287488 18446744073709551615 4208721 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 54766 50809 133 6 0 53236 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 227764

[startup+162.301 s]
/proc/loadavg: 2.01 1.84 1.89 3/180 3168
/proc/meminfo: memFree=29369616/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=241840 CPUtime=162.29 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 57267 0 0 0 16214 15 0 0 25 0 1 0 926671002 247644160 56533 33554432000 4194304 4218580 140735836287488 18446744073709551615 4211269 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 60460 56533 133 6 0 58930 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 250540

[startup+222.301 s]
/proc/loadavg: 2.00 1.86 1.89 3/180 3169
/proc/meminfo: memFree=29365172/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=244168 CPUtime=222.3 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 57852 0 0 0 22215 15 0 0 25 0 1 0 926671002 250028032 57118 33554432000 4194304 4218580 140735836287488 18446744073709551615 4210077 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 61042 57118 133 6 0 59512 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 252868

[startup+282.301 s]
/proc/loadavg: 2.00 1.89 1.90 3/180 3171
/proc/meminfo: memFree=29355256/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=251028 CPUtime=282.3 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 59558 0 0 0 28215 15 0 0 25 0 1 0 926671002 257052672 58824 33554432000 4194304 4218580 140735836287488 18446744073709551615 4211250 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 62757 58824 133 6 0 61227 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 259728

[startup+342.301 s]
/proc/loadavg: 2.11 1.95 1.92 3/180 3218
/proc/meminfo: memFree=28795696/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=291628 CPUtime=342.3 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 69721 0 0 0 34213 17 0 0 25 0 1 0 926671002 298627072 68987 33554432000 4194304 4218580 140735836287488 18446744073709551615 4208207 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 72907 68987 133 6 0 71377 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 300328

[startup+402.3 s]
/proc/loadavg: 2.04 1.95 1.92 3/180 3220
/proc/meminfo: memFree=28743616/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6

################
# More data... #
################


[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3276
/proc/meminfo: memFree=28226556/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450188 CPUtime=1962.35 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109395 0 0 0 196211 24 0 0 25 0 1 0 926671002 460992512 108625 33554432000 4194304 4218580 140735836287488 18446744073709551615 4211234 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112547 108625 133 6 0 111017 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 458888

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3277
/proc/meminfo: memFree=28226392/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450188 CPUtime=2022.34 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109402 0 0 0 202210 24 0 0 25 0 1 0 926671002 460992512 108630 33554432000 4194304 4218580 140735836287488 18446744073709551615 4210252 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112547 108630 133 6 0 111017 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 458888

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3279
/proc/meminfo: memFree=28226356/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450252 CPUtime=2082.35 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109411 0 0 0 208211 24 0 0 25 0 1 0 926671002 461058048 108639 33554432000 4194304 4218580 140735836287488 18446744073709551615 4210211 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112563 108639 133 6 0 111033 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 458952

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3280
/proc/meminfo: memFree=28226432/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450284 CPUtime=2142.35 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109424 0 0 0 214211 24 0 0 25 0 1 0 926671002 461090816 108647 33554432000 4194304 4218580 140735836287488 18446744073709551615 4210066 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112571 108647 133 6 0 111041 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 458984

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3282
/proc/meminfo: memFree=28226376/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450252 CPUtime=2202.35 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109430 0 0 0 220211 24 0 0 25 0 1 0 926671002 461058048 108646 33554432000 4194304 4218580 140735836287488 18446744073709551615 4210037 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112563 108646 133 6 0 111033 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 458952

Solver just ended. Dumping a history of the last processes samples

[startup+2227.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226232/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450284 CPUtime=2227.15 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109434 0 0 0 222691 24 0 0 25 0 1 0 926671002 461090816 108650 33554432000 4194304 4218580 140735836287488 18446744073709551615 4208186 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112571 108650 133 6 0 111041 0
Current children cumulated CPU time (s) 2227.15
Current children cumulated vsize (KiB) 458984

[startup+2239.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226352/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450252 CPUtime=2239.95 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109434 0 0 0 223971 24 0 0 25 0 1 0 926671002 461058048 108646 33554432000 4194304 4218580 140735836287488 18446744073709551615 4210232 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112563 108646 133 6 0 111033 0
Current children cumulated CPU time (s) 2239.95
Current children cumulated vsize (KiB) 458952

[startup+2246.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226352/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450252 CPUtime=2246.35 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109434 0 0 0 224611 24 0 0 25 0 1 0 926671002 461058048 108646 33554432000 4194304 4218580 140735836287488 18446744073709551615 4208105 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112563 108646 133 6 0 111033 0
Current children cumulated CPU time (s) 2246.35
Current children cumulated vsize (KiB) 458952

[startup+2249.51 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226224/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450284 CPUtime=2249.56 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109435 0 0 0 224932 24 0 0 25 0 1 0 926671002 461090816 108647 33554432000 4194304 4218580 140735836287488 18446744073709551615 4213531 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112571 108647 133 6 0 111041 0
Current children cumulated CPU time (s) 2249.56
Current children cumulated vsize (KiB) 458984

[startup+2251.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226336/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450284 CPUtime=2251.15 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109436 0 0 0 225091 24 0 0 25 0 1 0 926671002 461090816 108648 33554432000 4194304 4218580 140735836287488 18446744073709551615 4209445 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112571 108648 133 6 0 111041 0
Current children cumulated CPU time (s) 2251.15
Current children cumulated vsize (KiB) 458984

[startup+2252.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226448/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450284 CPUtime=2252.75 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109437 0 0 0 225251 24 0 0 25 0 1 0 926671002 461090816 108649 33554432000 4194304 4218580 140735836287488 18446744073709551615 4213187 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112571 108649 133 6 0 111041 0
Current children cumulated CPU time (s) 2252.75
Current children cumulated vsize (KiB) 458984

[startup+2253.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226448/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450284 CPUtime=2253.55 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109437 0 0 0 225331 24 0 0 25 0 1 0 926671002 461090816 108649 33554432000 4194304 4218580 140735836287488 18446744073709551615 4208272 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112571 108649 133 6 0 111041 0
Current children cumulated CPU time (s) 2253.55
Current children cumulated vsize (KiB) 458984

[startup+2253.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226448/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450284 CPUtime=2253.75 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109437 0 0 0 225351 24 0 0 25 0 1 0 926671002 461090816 108649 33554432000 4194304 4218580 140735836287488 18446744073709551615 4213922 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112571 108649 133 6 0 111041 0
Current children cumulated CPU time (s) 2253.75
Current children cumulated vsize (KiB) 458984

[startup+2253.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 3283
/proc/meminfo: memFree=28226448/32951124 swapFree=67076892/67111528
[pid=3160] ppid=3158 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (esg_static.sh) S 3158 3160 3051 0 -1 4202496 355 112 0 0 0 0 0 0 25 0 1 0 926671002 8908800 253 33554432000 4194304 4922060 140733761458960 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/3160/statm: 2175 253 209 178 0 68 0
[pid=3162] ppid=3160 vsize=450284 CPUtime=2253.85 cores=0,2,4,6
/proc/3162/stat : 3162 (cdcl) R 3160 3160 3051 0 -1 4202496 109437 0 0 0 225361 24 0 0 25 0 1 0 926671002 461090816 108649 33554432000 4194304 4218580 140735836287488 18446744073709551615 4208384 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/3162/statm: 112571 108649 133 6 0 111041 0
Current children cumulated CPU time (s) 2253.85
Current children cumulated vsize (KiB) 458984

Child status: 20
Real time (s): 2253.9
CPU time (s): 2253.95
CPU user time (s): 2253.69
CPU system time (s): 0.267959
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 458984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2253.69
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110122
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= 38
involuntary context switches= 3330

runsolver used 4.04239 second user time and 7.52486 second system time

The end