runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4082396-1465269422/watcher-4082396-1465269422 -o /tmp/evaluation-result-4082396-1465269422/solver-4082396-1465269422 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465254880-10345 --watchdog 1960 naps-1.02 HOME/instance-4082396-1465269422.opb 

pid=12048
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 3.94 3.11 2.51 2/177 12051
/proc/meminfo: memFree=30038124/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=6992 CPUtime=0 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 108875161 7159808 275 33554432000 4194304 5796924 140737061477664 140735997731112 5151575 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 1748 275 114 392 0 1347 0

[startup+0.100158 s]
/proc/loadavg: 3.94 3.11 2.51 2/177 12051
/proc/meminfo: memFree=30038124/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=9040 CPUtime=0.09 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 994 0 0 0 9 0 0 0 20 0 1 0 108875161 9256960 817 33554432000 4194304 5796924 140737061477664 140737061475128 5091201 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 2260 817 128 392 0 1859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9040

[startup+0.200284 s]
/proc/loadavg: 3.94 3.11 2.51 2/177 12051
/proc/meminfo: memFree=30038124/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=10576 CPUtime=0.19 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 1503 0 0 0 19 0 0 0 20 0 1 0 108875161 10829824 1222 33554432000 4194304 5796924 140737061477664 140737061475128 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 2644 1222 128 392 0 2243 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10576

[startup+0.300265 s]
/proc/loadavg: 3.94 3.11 2.51 2/177 12051
/proc/meminfo: memFree=30038124/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=12940 CPUtime=0.29 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 2271 0 0 0 29 0 0 0 20 0 1 0 108875161 13250560 1838 33554432000 4194304 5796924 140737061477664 140737061475128 5094663 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 3235 1838 139 392 0 2834 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12940

[startup+0.70024 s]
/proc/loadavg: 3.94 3.11 2.51 2/177 12051
/proc/meminfo: memFree=30038124/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=22428 CPUtime=0.69 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 5204 0 0 0 69 0 0 0 20 0 1 0 108875161 22966272 4354 33554432000 4194304 5796924 140737061477664 140737061475128 4621249 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 5607 4355 140 392 0 5206 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22428

[startup+1.50023 s]
/proc/loadavg: 3.94 3.11 2.51 3/178 12052
/proc/meminfo: memFree=30004020/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=34520 CPUtime=1.49 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 8993 0 0 0 148 1 0 0 20 0 1 0 108875161 35348480 7484 33554432000 4194304 5796924 140737061477664 140737061474648 5087643 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 8630 7484 162 392 0 8229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34520

[startup+3.10029 s]
/proc/loadavg: 3.86 3.11 2.51 3/178 12052
/proc/meminfo: memFree=29998880/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=34520 CPUtime=3.09 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 8993 0 0 0 308 1 0 0 20 0 1 0 108875161 35348480 7484 33554432000 4194304 5796924 140737061477664 140737061474648 5087488 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 8630 7484 162 392 0 8229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34520

[startup+6.3002 s]
/proc/loadavg: 3.86 3.11 2.51 3/178 12052
/proc/meminfo: memFree=29966624/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=34960 CPUtime=6.29 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 9083 0 0 0 628 1 0 0 20 0 1 0 108875161 35799040 7574 33554432000 4194304 5796924 140737061477664 140737061472248 4802604 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 8740 7574 163 392 0 8339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34960

[startup+12.7002 s]
/proc/loadavg: 3.58 3.07 2.51 3/178 12052
/proc/meminfo: memFree=29939936/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=35592 CPUtime=12.69 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 9252 0 0 0 1268 1 0 0 20 0 1 0 108875161 36446208 7743 33554432000 4194304 5796924 140737061477664 140737061472184 4295931 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 8898 7743 163 392 0 8497 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35592

[startup+25.5003 s]
/proc/loadavg: 3.33 3.03 2.50 2/178 12053
/proc/meminfo: memFree=28624556/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=36996 CPUtime=25.48 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 9588 0 0 0 2547 1 0 0 20 0 1 0 108875161 37883904 8079 33554432000 4194304 5796924 140737061477664 140737061472184 5087774 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 9249 8079 163 392 0 8848 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36996

[startup+51.1002 s]
/proc/loadavg: 3.32 3.06 2.52 3/178 12100
/proc/meminfo: memFree=29992308/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=39824 CPUtime=51.08 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 10266 0 0 0 5107 1 0 0 20 0 1 0 108875161 40779776 8757 33554432000 4194304 5796924 140737061477664 140737061472184 5087606 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 9956 8757 163 392 0 9555 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39824

[startup+102.3 s]
/proc/loadavg: 2.72 2.94 2.51 3/177 12101
/proc/meminfo: memFree=29940224/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=45612 CPUtime=102.28 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 11627 0 0 0 10226 2 0 0 20 0 1 0 108875161 46706688 10517 33554432000 4194304 5796924 140737061477664 140737061472152 4840439 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 11403 10517 163 392 0 11002 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 45612

[startup+162.3 s]
/proc/loadavg: 2.31 2.78 2.48 3/177 12103
/proc/meminfo: memFree=29929912/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=50024 CPUtime=162.26 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 12834 0 0 0 16224 2 0 0 20 0 1 0 108875161 51224576 11724 33554432000 4194304 5796924 140737061477664 140737061472248 5087766 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 12506 11724 163 392 0 12105 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 50024

[startup+222.307 s]
/proc/loadavg: 2.27 2.68 2.46 4/178 12107
/proc/meminfo: memFree=29913148/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=57256 CPUtime=222.26 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 14470 0 0 0 22224 2 0 0 20 0 1 0 108875161 58630144 13360 33554432000 4194304 5796924 140737061477664 140737061472152 5077954 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 14314 13360 163 392 0 13913 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 57256

[startup+282.3 s]
/proc/loadavg: 2.23 2.60 2.45 3/177 12108
/proc/meminfo: memFree=29902440/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=62528 CPUtime=282.24 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 15350 0 0 0 28222 2 0 0 20 0 1 0 108875161 64028672 14751 33554432000 4194304 5796924 140737061477664 140737061472248 5077866 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 15632 14751 163 392 0 15231 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 62528

[startup+342.3 s]
/proc/loadavg: 2.23 2.53 2.43 4/177 12109
/proc/meminfo: memFree=29906352/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=67668 CPUtime=342.23 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 16707 0 0 0 34221 2 0 0 20 0 1 0 108875161 69292032 16108 33554432000 4194304 5796924 140737061477664 140737061472248 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 16917 16108 163 392 0 16516 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 67668

[startup+402.3 s]
/proc/loadavg: 2.24 2.48 2.42 3/177 12110
/proc/meminfo: memFree=29889616/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=80936 CPUtime=402.22 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 19427 0 0 0 40219 3 0 0 20 0 1 0 108875161 82878464 19339 33554432000 4194304 5796924 140737061477664 140737061472184 5093096 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 20234 19339 163 392 0 19833 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 80936

[startup+462.3 s]
/proc/loadavg: 2.26 2.43 2.41 3/177 12112
/proc/meminfo: memFree=29876012/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=86208 CPUtime=462.22 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 19723 0 0 0 46219 3 0 0 20 0 1 0 108875161 88276992 20657 33554432000 4194304 5796924 140737061477664 140737061472200 5087606 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 21552 20657 163 392 0 21151 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 86208

[startup+522.3 s]
/proc/loadavg: 2.14 2.37 2.38 3/177 12113
/proc/meminfo: memFree=29866284/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=87788 CPUtime=522.21 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 20116 0 0 0 52218 3 0 0 20 0 1 0 108875161 89894912 21050 33554432000 4194304 5796924 140737061477664 140737061472248 5092735 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 21947 21050 163 392 0 21546 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 87788

[startup+582.3 s]
/proc/loadavg: 2.16 2.33 2.36 3/177 12114
/proc/meminfo: memFree=29871376/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=93076 CPUtime=582.19 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 21429 0 0 0 58216 3 0 0 20 0 1 0 108875161 95309824 22363 33554432000 4194304 5796924 140737061477664 140737061472248 5087571 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 23269 22363 163 392 0 22868 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 93076


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


[startup+942.3 s]
/proc/loadavg: 2.17 2.19 2.28 3/177 12124
/proc/meminfo: memFree=29813100/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=134908 CPUtime=942.14 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 29509 0 0 0 94209 5 0 0 20 0 1 0 108875161 138145792 32702 33554432000 4194304 5796924 140737061477664 140737061472520 5093157 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 33727 32702 163 392 0 33326 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 134908

[startup+1002.3 s]
/proc/loadavg: 2.23 2.20 2.27 3/177 12125
/proc/meminfo: memFree=29803364/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=137784 CPUtime=1002.13 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 30243 0 0 0 100208 5 0 0 20 0 1 0 108875161 141090816 33436 33554432000 4194304 5796924 140737061477664 140737061472248 5087650 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 34446 33436 163 392 0 34045 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 137784

[startup+1062.3 s]
/proc/loadavg: 2.17 2.19 2.27 3/177 12127
/proc/meminfo: memFree=29795236/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=142880 CPUtime=1062.12 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 31511 0 0 0 106206 6 0 0 20 0 1 0 108875161 146309120 34704 33554432000 4194304 5796924 140737061477664 140737061472248 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 35720 34704 163 392 0 35319 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 142880

[startup+1122.3 s]
/proc/loadavg: 2.10 2.17 2.25 3/177 12128
/proc/meminfo: memFree=29785320/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=148348 CPUtime=1122.11 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 32875 0 0 0 112205 6 0 0 20 0 1 0 108875161 151908352 36068 33554432000 4194304 5796924 140737061477664 140737061472248 5096709 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 37087 36068 163 392 0 36686 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 148348

[startup+1182.3 s]
/proc/loadavg: 2.03 2.14 2.24 3/177 12129
/proc/meminfo: memFree=29797184/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=153552 CPUtime=1182.1 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 34164 0 0 0 118204 6 0 0 20 0 1 0 108875161 157237248 37357 33554432000 4194304 5796924 140737061477664 140737061472248 5092504 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 38388 37357 163 392 0 37987 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 153552

[startup+1242.3 s]
/proc/loadavg: 2.10 2.14 2.23 3/177 12130
/proc/meminfo: memFree=29787136/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=158764 CPUtime=1242.1 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 35463 0 0 0 124203 7 0 0 20 0 1 0 108875161 162574336 38656 33554432000 4194304 5796924 140737061477664 140737061472248 4199810 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 39691 38656 163 392 0 39290 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 158764

[startup+1302.3 s]
/proc/loadavg: 2.11 2.13 2.22 4/177 12131
/proc/meminfo: memFree=29777088/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=163964 CPUtime=1302.08 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 36820 0 0 0 130201 7 0 0 20 0 1 0 108875161 167899136 39999 33554432000 4194304 5796924 140737061477664 140737061472248 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 40991 39999 163 392 0 40590 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 163964

[startup+1362.3 s]
/proc/loadavg: 2.07 2.11 2.20 3/177 12133
/proc/meminfo: memFree=29765384/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=169280 CPUtime=1362.06 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 38241 0 0 0 136199 7 0 0 20 0 1 0 108875161 173342720 41405 33554432000 4194304 5796924 140737061477664 140737061472248 4296208 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 42320 41405 163 392 0 41919 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 169280

[startup+1422.3 s]
/proc/loadavg: 2.02 2.09 2.19 3/178 12137
/proc/meminfo: memFree=29753464/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=174684 CPUtime=1422.06 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 39682 0 0 0 142198 8 0 0 20 0 1 0 108875161 178876416 42846 33554432000 4194304 5796924 140737061477664 140737061472248 4296060 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 43671 42846 163 392 0 43270 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 174684

[startup+1482.3 s]
/proc/loadavg: 2.04 2.09 2.18 4/177 12138
/proc/meminfo: memFree=29710736/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=218580 CPUtime=1482.05 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 49005 0 0 0 148196 9 0 0 20 0 1 0 108875161 223825920 52164 33554432000 4194304 5796924 140737061477664 140737061472632 4865191 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 54645 52164 163 392 0 54244 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 218580

[startup+1542.31 s]
/proc/loadavg: 2.12 2.10 2.18 3/177 12139
/proc/meminfo: memFree=29703572/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=218580 CPUtime=1542.04 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 49005 0 0 0 154195 9 0 0 20 0 1 0 108875161 223825920 52164 33554432000 4194304 5796924 140737061477664 140737061472632 5087766 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 54645 52164 163 392 0 54244 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 218580

[startup+1602.3 s]
/proc/loadavg: 2.04 2.08 2.16 3/177 12140
/proc/meminfo: memFree=29726104/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=218580 CPUtime=1602.03 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 49005 0 0 0 160194 9 0 0 20 0 1 0 108875161 223825920 52164 33554432000 4194304 5796924 140737061477664 140737061472632 5087682 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 54645 52164 163 392 0 54244 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 218580

[startup+1662.3 s]
/proc/loadavg: 2.08 2.09 2.16 3/176 12141
/proc/meminfo: memFree=29721772/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=218580 CPUtime=1662.02 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 49005 0 0 0 166193 9 0 0 20 0 1 0 108875161 223825920 52164 33554432000 4194304 5796924 140737061477664 140737061472632 5077954 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 54645 52164 163 392 0 54244 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 218580

[startup+1722.3 s]
/proc/loadavg: 2.17 2.10 2.16 4/177 12143
/proc/meminfo: memFree=29713628/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=218580 CPUtime=1722.01 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 49005 0 0 0 172192 9 0 0 20 0 1 0 108875161 223825920 52164 33554432000 4194304 5796924 140737061477664 140737061472632 5093035 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 54645 52164 163 392 0 54244 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 218580

[startup+1782.3 s]
/proc/loadavg: 2.10 2.10 2.16 4/177 12144
/proc/meminfo: memFree=29719960/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=218580 CPUtime=1782 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 49006 0 0 0 178191 9 0 0 20 0 1 0 108875161 223825920 52676 33554432000 4194304 5796924 140737061477664 140737061472632 4807005 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 54645 52676 163 392 0 54244 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 218580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.09 2.15 4/177 12144
/proc/meminfo: memFree=29718528/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=218580 CPUtime=1800 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 49006 0 0 0 179991 9 0 0 20 0 1 0 108875161 223825920 52676 33554432000 4194304 5796924 140737061477664 140737061472632 5093096 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 54645 52676 163 392 0 54244 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 218580

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12051 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.08 2.09 2.15 4/177 12144
/proc/meminfo: memFree=29718528/32872528 swapFree=14956/1314940
[pid=12051] ppid=12048 vsize=218580 CPUtime=1800 cores=0,2,4,6
/proc/12051/stat : 12051 (naps-1.02) R 12048 12051 10329 0 -1 4202496 49006 0 0 0 179991 9 0 0 20 0 1 0 108875161 223825920 52676 33554432000 4194304 5796924 140737061477664 140737061472632 5093096 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12051/statm: 54645 52676 163 392 0 54244 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 218580

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.91
CPU system time (s): 0.094985
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 218580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.094985
maximum resident set size= 216804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49018
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= 41
involuntary context switches= 1979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76028 second user time and 6.599 second system time

The end