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-3499111-1308155816/watcher-3499111-1308155816 -o /tmp/evaluation-result-3499111-1308155816/solver-3499111-1308155816 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3499111-1308155816.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.00 2.00 1.96 2/175 19362
/proc/meminfo: memFree=27019404/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 907997225 8908800 250 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19362/statm: 2175 250 209 178 0 68 0

[startup+0.074476 s]
/proc/loadavg: 2.00 2.00 1.96 2/175 19362
/proc/meminfo: memFree=27019404/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 907997225 8908800 250 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19362/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100468 s]
/proc/loadavg: 2.00 2.00 1.96 2/175 19362
/proc/meminfo: memFree=27019404/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 907997225 8908800 250 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19362/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300384 s]
/proc/loadavg: 2.00 2.00 1.96 2/175 19362
/proc/meminfo: memFree=27019404/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8700

[startup+0.700296 s]
/proc/loadavg: 2.00 2.00 1.96 2/175 19362
/proc/meminfo: memFree=27019404/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8700

[startup+1.50122 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19365
/proc/meminfo: memFree=27007384/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=16336 CPUtime=1.37 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 2568 0 0 0 137 0 0 0 25 0 1 0 907997237 16728064 2479 33554432000 4194304 4218580 140736653738944 18446744073709551615 4213183 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 4084 2479 131 6 0 2554 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25036

[startup+3.10092 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19365
/proc/meminfo: memFree=27006740/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=16816 CPUtime=2.97 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 2703 0 0 0 297 0 0 0 25 0 1 0 907997237 17219584 2614 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208438 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 4204 2614 131 6 0 2674 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 25516

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19365
/proc/meminfo: memFree=27004936/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=18140 CPUtime=6.17 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 3022 0 0 0 617 0 0 0 25 0 1 0 907997237 18575360 2933 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208546 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 4535 2933 131 6 0 3005 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26840

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19365
/proc/meminfo: memFree=27001596/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=20900 CPUtime=12.57 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 3705 0 0 0 1257 0 0 0 25 0 1 0 907997237 21401600 3615 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208521 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 5225 3615 131 6 0 3695 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29600

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19366
/proc/meminfo: memFree=26998868/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=23836 CPUtime=25.37 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 4457 0 0 0 2537 0 0 0 25 0 1 0 907997237 24408064 4366 33554432000 4194304 4218580 140736653738944 18446744073709551615 4210524 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 5959 4366 131 6 0 4429 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32536

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19366
/proc/meminfo: memFree=26993160/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=27836 CPUtime=50.96 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 5489 0 0 0 5096 0 0 0 25 0 1 0 907997237 28504064 5362 33554432000 4194304 4218580 140736653738944 18446744073709551615 4209137 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 6959 5362 131 6 0 5429 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36536

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19368
/proc/meminfo: memFree=26984568/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=34712 CPUtime=102.17 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 7316 0 0 0 10216 1 0 0 25 0 1 0 907997237 35545088 7059 33554432000 4194304 4218580 140736653738944 18446744073709551615 4209504 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 8678 7059 131 6 0 7148 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 43412

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19369
/proc/meminfo: memFree=26976596/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=41344 CPUtime=162.17 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9144 0 0 0 16216 1 0 0 25 0 1 0 907997237 42336256 8750 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208516 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10336 8750 131 6 0 8806 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 50044

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

[startup+179.101 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19370
/proc/meminfo: memFree=26974580/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=42436 CPUtime=178.98 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9450 0 0 0 17896 2 0 0 25 0 1 0 907997237 43454464 9011 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10609 9011 131 6 0 9079 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 51136

[startup+204.701 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19370
/proc/meminfo: memFree=26973328/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=42688 CPUtime=204.58 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9534 0 0 0 20456 2 0 0 25 0 1 0 907997237 43712512 9049 33554432000 4194304 4218580 140736653738944 18446744073709551615 4210507 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10672 9049 131 6 0 9142 0
Current children cumulated CPU time (s) 204.69
Current children cumulated vsize (KiB) 51388

[startup+211.101 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19371
/proc/meminfo: memFree=26973316/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=42720 CPUtime=210.98 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9557 0 0 0 21096 2 0 0 25 0 1 0 907997237 43745280 9061 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208475 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10680 9061 131 6 0 9150 0
Current children cumulated CPU time (s) 211.09
Current children cumulated vsize (KiB) 51420

[startup+217.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19371
/proc/meminfo: memFree=26972944/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=42832 CPUtime=217.37 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9635 0 0 0 21735 2 0 0 25 0 1 0 907997237 43859968 9110 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208576 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10708 9110 131 6 0 9178 0
Current children cumulated CPU time (s) 217.48
Current children cumulated vsize (KiB) 51532

[startup+219.101 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19371
/proc/meminfo: memFree=26972820/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=43008 CPUtime=218.97 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9665 0 0 0 21895 2 0 0 25 0 1 0 907997237 44040192 9140 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10752 9140 131 6 0 9222 0
Current children cumulated CPU time (s) 219.08
Current children cumulated vsize (KiB) 51708

[startup+219.901 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19371
/proc/meminfo: memFree=26972696/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=43008 CPUtime=219.77 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9688 0 0 0 21975 2 0 0 25 0 1 0 907997237 44040192 9163 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10752 9163 131 6 0 9222 0
Current children cumulated CPU time (s) 219.88
Current children cumulated vsize (KiB) 51708

[startup+220.701 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19371
/proc/meminfo: memFree=26972696/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=42944 CPUtime=220.57 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9690 0 0 0 22055 2 0 0 25 0 1 0 907997237 43974656 9149 33554432000 4194304 4218580 140736653738944 18446744073709551615 4210037 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10736 9149 131 6 0 9206 0
Current children cumulated CPU time (s) 220.68
Current children cumulated vsize (KiB) 51644

[startup+221.107 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19371
/proc/meminfo: memFree=26972696/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=42944 CPUtime=220.98 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9693 0 0 0 22096 2 0 0 25 0 1 0 907997237 43974656 9152 33554432000 4194304 4218580 140736653738944 18446744073709551615 4208534 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10736 9152 131 6 0 9206 0
Current children cumulated CPU time (s) 221.09
Current children cumulated vsize (KiB) 51644

[startup+221.201 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 19371
/proc/meminfo: memFree=26972696/32951124 swapFree=67064576/67111528
[pid=19362] ppid=19360 vsize=8700 CPUtime=0.11 cores=0,2,4,6
/proc/19362/stat : 19362 (esg_static.sh) S 19360 19362 18881 0 -1 4202496 356 2314 0 0 0 0 10 1 24 0 1 0 907997225 8908800 253 33554432000 4194304 4922060 140737125926544 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19362/statm: 2175 253 209 178 0 68 0
[pid=19365] ppid=19362 vsize=42944 CPUtime=221.07 cores=0,2,4,6
/proc/19365/stat : 19365 (cdcl) R 19362 19362 18881 0 -1 4202496 9693 0 0 0 22105 2 0 0 25 0 1 0 907997237 43974656 9152 33554432000 4194304 4218580 140736653738944 18446744073709551615 4210517 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/19365/statm: 10736 9152 131 6 0 9206 0
Current children cumulated CPU time (s) 221.18
Current children cumulated vsize (KiB) 51644

Child status: 10
Real time (s): 221.223
CPU time (s): 221.222
CPU user time (s): 221.174
CPU system time (s): 0.047992
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 51740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.174
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14177
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= 158
involuntary context switches= 890

runsolver used 0.386941 second user time and 0.774882 second system time

The end