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-4101763-1466233154/watcher-4101763-1466233154 -o /tmp/evaluation-result-4101763-1466233154/solver-4101763-1466233154 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466206079-967 --watchdog 1960 naps-1.02 HOME/instance-4101763-1466233154.opb 

pid=5643
running on 4 cores: 1,3,5,7

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: 2.47 2.35 2.28 2/176 5646
/proc/meminfo: memFree=30166020/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=6828 CPUtime=0 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 421 0 0 0 0 0 0 0 20 0 1 0 25362213 6991872 295 33554432000 4194304 5796924 140737001561536 140734578428232 5087771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 1707 295 129 392 0 1306 0

[startup+0.100161 s]
/proc/loadavg: 2.47 2.35 2.28 2/176 5646
/proc/meminfo: memFree=30166020/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=9960 CPUtime=0.09 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 1232 0 0 0 9 0 0 0 20 0 1 0 25362213 10199040 1080 33554432000 4194304 5796924 140737001561536 140734578428232 5096553 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 2490 1080 144 392 0 2089 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9960

[startup+0.200298 s]
/proc/loadavg: 2.47 2.35 2.28 2/176 5646
/proc/meminfo: memFree=30166020/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=10264 CPUtime=0.19 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 1301 0 0 0 19 0 0 0 20 0 1 0 25362213 10510336 1149 33554432000 4194304 5796924 140737001561536 140734578428232 5096591 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 2566 1149 144 392 0 2165 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10264

[startup+0.300263 s]
/proc/loadavg: 2.47 2.35 2.28 2/176 5646
/proc/meminfo: memFree=30166020/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=10644 CPUtime=0.29 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 1445 0 0 0 29 0 0 0 20 0 1 0 25362213 10899456 1251 33554432000 4194304 5796924 140737001561536 140734578428232 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 2661 1251 144 392 0 2260 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10644

[startup+0.700233 s]
/proc/loadavg: 2.47 2.35 2.28 2/176 5646
/proc/meminfo: memFree=30166020/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=11768 CPUtime=0.69 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 1793 0 0 0 69 0 0 0 20 0 1 0 25362213 12050432 1516 33554432000 4194304 5796924 140737001561536 140737001557752 4199797 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 2942 1516 144 392 0 2541 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11768

[startup+1.50023 s]
/proc/loadavg: 2.47 2.35 2.28 3/177 5647
/proc/meminfo: memFree=30159480/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=15512 CPUtime=1.49 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 2879 0 0 0 149 0 0 0 20 0 1 0 25362213 15884288 2423 33554432000 4194304 5796924 140737001561536 140737001557752 4564240 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 3878 2424 145 392 0 3477 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15512

[startup+3.10031 s]
/proc/loadavg: 2.47 2.35 2.28 3/177 5647
/proc/meminfo: memFree=30118308/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=58196 CPUtime=3.09 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 12535 0 0 0 307 2 0 0 20 0 1 0 25362213 59592704 12353 33554432000 4194304 5796924 140737001561536 140737001558584 4583083 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 14549 12353 169 392 0 14148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58196

[startup+6.30033 s]
/proc/loadavg: 2.51 2.36 2.29 4/177 5647
/proc/meminfo: memFree=30112684/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=59744 CPUtime=6.29 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 13087 0 0 0 627 2 0 0 20 0 1 0 25362213 61177856 13400 33554432000 4194304 5796924 140737001561536 140737001558584 4583348 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 14936 13400 170 392 0 14535 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59744

[startup+12.7003 s]
/proc/loadavg: 2.47 2.35 2.29 3/177 5647
/proc/meminfo: memFree=30107136/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=62672 CPUtime=12.69 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 14761 0 0 0 1266 3 0 0 20 0 1 0 25362213 64176128 13883 33554432000 4194304 5796924 140737001561536 140737001558648 4592010 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 15668 13883 170 392 0 15267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62672

[startup+25.5004 s]
/proc/loadavg: 2.44 2.35 2.28 3/177 5647
/proc/meminfo: memFree=29872788/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=316136 CPUtime=25.49 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 53948 0 0 0 2537 12 0 0 20 0 1 0 25362213 323723264 72540 33554432000 4194304 5796924 140737001561536 140737001558648 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 79034 72540 180 392 0 78633 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 316136

[startup+51.1004 s]
/proc/loadavg: 2.43 2.35 2.29 4/178 5650
/proc/meminfo: memFree=29730428/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=466356 CPUtime=51.08 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 71064 0 0 0 5090 18 0 0 20 0 1 0 25362213 477548544 105663 33554432000 4194304 5796924 140737001561536 140737001558648 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 116589 105663 180 392 0 116188 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 466356

[startup+102.3 s]
/proc/loadavg: 2.33 2.33 2.28 3/178 5651
/proc/meminfo: memFree=29514052/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=697324 CPUtime=102.28 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 100611 0 0 0 10201 27 0 0 20 0 1 0 25362213 714059776 157984 33554432000 4194304 5796924 140737001561536 140737001558584 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 174331 157984 181 392 0 173930 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 697324

[startup+162.3 s]
/proc/loadavg: 2.35 2.33 2.28 3/178 5676
/proc/meminfo: memFree=29165316/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1138804 CPUtime=162.26 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 144748 0 0 0 16183 43 0 0 20 0 1 0 25362213 1166135296 243668 33554432000 4194304 5796924 140737001561536 140737001559256 4648000 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 284701 243668 183 392 0 284300 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1138804

[startup+222.307 s]
/proc/loadavg: 2.17 2.28 2.26 3/177 5677
/proc/meminfo: memFree=29148560/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1095292 CPUtime=222.26 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 146085 0 0 0 22181 45 0 0 20 0 1 0 25362213 1121579008 242300 33554432000 4194304 5796924 140737001561536 140737001558584 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 273823 242300 184 392 0 273422 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1095292

[startup+282.3 s]
/proc/loadavg: 2.17 2.26 2.26 3/177 5678
/proc/meminfo: memFree=29148180/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1095292 CPUtime=282.25 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 146740 0 0 0 28179 46 0 0 20 0 1 0 25362213 1121579008 239807 33554432000 4194304 5796924 140737001561536 140737001559000 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 273823 239807 184 392 0 273422 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1095292

[startup+342.3 s]
/proc/loadavg: 2.19 2.25 2.25 3/177 5679
/proc/meminfo: memFree=29110572/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1095292 CPUtime=342.23 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 146744 0 0 0 34177 46 0 0 20 0 1 0 25362213 1121579008 241855 33554432000 4194304 5796924 140737001561536 140737001559000 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 273823 241855 184 392 0 273422 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1095292

[startup+402.3 s]
/proc/loadavg: 2.17 2.23 2.25 3/177 5680
/proc/meminfo: memFree=29009944/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1142920 CPUtime=402.22 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 158102 0 0 0 40172 50 0 0 20 0 1 0 25362213 1170350080 264673 33554432000 4194304 5796924 140737001561536 140737001558584 4607776 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 285730 264673 184 392 0 285329 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1142920

[startup+462.3 s]
/proc/loadavg: 2.27 2.25 2.25 3/177 5682
/proc/meminfo: memFree=28656248/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1542100 CPUtime=462.22 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 194873 0 0 0 46158 64 0 0 20 0 1 0 25362213 1579110400 350849 33554432000 4194304 5796924 140737001561536 140737001558584 4592160 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 385525 350849 184 392 0 385124 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1542100

[startup+522.3 s]
/proc/loadavg: 2.43 2.29 2.27 3/177 5683
/proc/meminfo: memFree=28641608/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1542100 CPUtime=522.21 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 194877 0 0 0 52157 64 0 0 20 0 1 0 25362213 1579110400 352386 33554432000 4194304 5796924 140737001561536 140737001558584 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 385525 352386 184 392 0 385124 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1542100

[startup+582.3 s]
/proc/loadavg: 2.45 2.32 2.27 3/177 5684
/proc/meminfo: memFree=28623800/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1545936 CPUtime=582.21 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 194883 0 0 0 58156 65 0 0 20 0 1 0 25362213 1583038464 354436 33554432000 4194304 5796924 140737001561536 140737001558584 4606516 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 386484 354436 184 392 0 386083 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 1545936


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

/proc/meminfo: memFree=28559308/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1545936 CPUtime=882.16 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 196289 0 0 0 88148 68 0 0 20 0 1 0 25362213 1583038464 348745 33554432000 4194304 5796924 140737001561536 140737001559000 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 386484 348745 184 392 0 386083 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1545936

[startup+942.3 s]
/proc/loadavg: 2.28 2.27 2.27 3/177 5694
/proc/meminfo: memFree=28407012/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1695672 CPUtime=942.15 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 212296 0 0 0 94142 73 0 0 20 0 1 0 25362213 1736368128 384469 33554432000 4194304 5796924 140737001561536 140737001558584 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 423918 384469 184 392 0 423517 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 1695672

[startup+1002.3 s]
/proc/loadavg: 2.26 2.26 2.26 3/177 5695
/proc/meminfo: memFree=28395212/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1695672 CPUtime=1002.14 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 212325 0 0 0 100141 73 0 0 20 0 1 0 25362213 1736368128 385520 33554432000 4194304 5796924 140737001561536 140737001558584 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 423918 385520 184 392 0 423517 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1695672

[startup+1062.3 s]
/proc/loadavg: 2.30 2.27 2.27 3/177 5696
/proc/meminfo: memFree=28377992/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1695672 CPUtime=1062.13 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 212397 0 0 0 106140 73 0 0 20 0 1 0 25362213 1736368128 387125 33554432000 4194304 5796924 140737001561536 140737001558584 4606446 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 423918 387125 184 392 0 423517 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1695672

[startup+1122.3 s]
/proc/loadavg: 2.22 2.25 2.26 4/177 5698
/proc/meminfo: memFree=28363188/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1777060 CPUtime=1122.12 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 212918 0 0 0 112138 74 0 0 20 0 1 0 25362213 1819709440 388661 33554432000 4194304 5796924 140737001561536 140737001559176 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 444265 388661 184 392 0 443864 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1777060

[startup+1182.3 s]
/proc/loadavg: 2.20 2.23 2.25 3/177 5699
/proc/meminfo: memFree=28391968/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1695672 CPUtime=1182.11 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 213001 0 0 0 118135 76 0 0 20 0 1 0 25362213 1736368128 379056 33554432000 4194304 5796924 140737001561536 140737001559000 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 423918 379056 184 392 0 423517 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1695672

[startup+1242.3 s]
/proc/loadavg: 2.17 2.22 2.25 3/177 5700
/proc/meminfo: memFree=28376624/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1695672 CPUtime=1242.08 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 213026 0 0 0 124132 76 0 0 20 0 1 0 25362213 1736368128 380602 33554432000 4194304 5796924 140737001561536 140737001559000 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 423918 380602 184 392 0 423517 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1695672

[startup+1302.3 s]
/proc/loadavg: 2.24 2.22 2.25 3/178 5704
/proc/meminfo: memFree=28275872/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1695672 CPUtime=1302.07 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 213048 0 0 0 130130 77 0 0 20 0 1 0 25362213 1736368128 382334 33554432000 4194304 5796924 140737001561536 140737001559000 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 423918 382334 184 392 0 423517 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1695672

[startup+1362.3 s]
/proc/loadavg: 2.33 2.24 2.25 3/177 5705
/proc/meminfo: memFree=28086860/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1870172 CPUtime=1362.05 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 223507 0 0 0 136120 85 0 0 20 0 1 0 25362213 1915056128 427549 33554432000 4194304 5796924 140737001561536 140737001559384 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 467543 427549 184 392 0 467142 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1870172

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

[startup+1382.4 s]
/proc/loadavg: 2.31 2.24 2.25 3/177 5707
/proc/meminfo: memFree=27989060/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=1927308 CPUtime=1382.14 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 232765 0 0 0 138126 88 0 0 20 0 1 0 25362213 1973563392 451109 33554432000 4194304 5796924 140737001561536 140737001558648 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 481827 451109 184 392 0 481426 0
Current children cumulated CPU time (s) 1382.14
Current children cumulated vsize (KiB) 1927308

[startup+1395.2 s]
/proc/loadavg: 2.24 2.23 2.24 3/177 5707
/proc/meminfo: memFree=27912100/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=2176264 CPUtime=1394.94 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 242842 0 0 0 139402 92 0 0 20 0 1 0 25362213 2228494336 474899 33554432000 4194304 5796924 140737001561536 140737001547080 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 544066 474899 184 392 0 543665 0
Current children cumulated CPU time (s) 1394.94
Current children cumulated vsize (KiB) 2176264

[startup+1401.6 s]
/proc/loadavg: 2.30 2.24 2.25 4/177 5707
/proc/meminfo: memFree=27918488/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=2098968 CPUtime=1401.34 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 243977 0 0 0 140039 95 0 0 20 0 1 0 25362213 2149343232 468093 33554432000 4194304 5796924 140737001561536 140737001559384 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 524742 468093 184 392 0 524341 0
Current children cumulated CPU time (s) 1401.34
Current children cumulated vsize (KiB) 2098968

[startup+1408 s]
/proc/loadavg: 2.36 2.26 2.25 3/177 5707
/proc/meminfo: memFree=27744296/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=2386940 CPUtime=1407.75 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 263017 0 0 0 140674 101 0 0 20 0 1 0 25362213 2444226560 511494 33554432000 4194304 5796924 140737001561536 140737001544248 4639447 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 596735 511494 184 392 0 596334 0
Current children cumulated CPU time (s) 1407.75
Current children cumulated vsize (KiB) 2386940

[startup+1411.2 s]
/proc/loadavg: 2.33 2.25 2.25 3/177 5707
/proc/meminfo: memFree=27760248/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=2326696 CPUtime=1410.93 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 268683 0 0 0 140988 105 0 0 20 0 1 0 25362213 2382536704 515846 33554432000 4194304 5796924 140737001561536 140737001559384 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 581674 515848 184 392 0 581273 0
Current children cumulated CPU time (s) 1410.93
Current children cumulated vsize (KiB) 2326696

[startup+1412.8 s]
/proc/loadavg: 2.33 2.25 2.25 3/177 5707
/proc/meminfo: memFree=27663580/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=2348476 CPUtime=1412.53 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 274207 0 0 0 141147 106 0 0 20 0 1 0 25362213 2404839424 531590 33554432000 4194304 5796924 140737001561536 140737001558504 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 587119 531590 184 392 0 586718 0
Current children cumulated CPU time (s) 1412.53
Current children cumulated vsize (KiB) 2348476

[startup+1413.2 s]
/proc/loadavg: 2.33 2.25 2.25 3/177 5707
/proc/meminfo: memFree=27663580/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=2348476 CPUtime=1412.93 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 274207 0 0 0 141187 106 0 0 20 0 1 0 25362213 2404839424 531590 33554432000 4194304 5796924 140737001561536 140737001558504 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 587119 531590 184 392 0 586718 0
Current children cumulated CPU time (s) 1412.93
Current children cumulated vsize (KiB) 2348476

[startup+1413.4 s]
/proc/loadavg: 2.33 2.25 2.25 3/177 5707
/proc/meminfo: memFree=27663580/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=2301760 CPUtime=1413.13 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 274221 0 0 0 141207 106 0 0 20 0 1 0 25362213 2357002240 522382 33554432000 4194304 5796924 140737001561536 140737001558504 4553778 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 575440 522382 198 392 0 575039 0
Current children cumulated CPU time (s) 1413.13
Current children cumulated vsize (KiB) 2301760

[startup+1413.5 s]
/proc/loadavg: 2.33 2.25 2.25 3/177 5707
/proc/meminfo: memFree=27699868/32872528 swapFree=1497824/1644992
[pid=5646] ppid=5643 vsize=2301760 CPUtime=1413.23 cores=1,3,5,7
/proc/5646/stat : 5646 (naps-1.02) R 5643 5646 950 0 -1 4202496 274221 0 0 0 141217 106 0 0 20 0 1 0 25362213 2357002240 522382 33554432000 4194304 5796924 140737001561536 140737001558504 4553778 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/5646/statm: 575440 522382 198 392 0 575039 0
Current children cumulated CPU time (s) 1413.23
Current children cumulated vsize (KiB) 2301760

Child status: 30
Real time (s): 1413.6
CPU time (s): 1413.34
CPU user time (s): 1412.2
CPU system time (s): 1.14283
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 2523636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1412.2
system time used= 1.14283
maximum resident set size= 2175992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274222
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= 80
involuntary context switches= 1521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.59445 second user time and 5.41018 second system time

The end