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-4110507-1466344360/watcher-4110507-1466344360 -o /tmp/evaluation-result-4110507-1466344360/solver-4110507-1466344360 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466341816-3873 --watchdog 1960 naps-1.02 HOME/instance-4110507-1466344360.wbo 

pid=5930
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.21 2.26 2.06 3/176 5933
/proc/meminfo: memFree=21150488/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=6556 CPUtime=0 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 36482598 6713344 213 33554432000 4194304 5796924 140737372020832 140736628397608 4404063 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 1639 213 127 392 0 1238 0

[startup+0.100179 s]
/proc/loadavg: 2.21 2.26 2.06 3/176 5933
/proc/meminfo: memFree=21150488/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=9816 CPUtime=0.09 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1423 0 0 0 9 0 0 0 20 0 1 0 36482598 10051584 1077 33554432000 4194304 5796924 140737372020832 140736628397608 5092416 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2454 1077 150 392 0 2053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9816

[startup+0.200376 s]
/proc/loadavg: 2.21 2.26 2.06 3/176 5933
/proc/meminfo: memFree=21150488/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=9816 CPUtime=0.19 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1423 0 0 0 19 0 0 0 20 0 1 0 36482598 10051584 1077 33554432000 4194304 5796924 140737372020832 140736628397608 4295683 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2454 1077 150 392 0 2053 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9816

[startup+0.300356 s]
/proc/loadavg: 2.21 2.26 2.06 3/176 5933
/proc/meminfo: memFree=21150488/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=9816 CPUtime=0.29 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1423 0 0 0 29 0 0 0 20 0 1 0 36482598 10051584 1077 33554432000 4194304 5796924 140737372020832 140736628397608 4809129 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2454 1077 150 392 0 2053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9816

[startup+0.700132 s]
/proc/loadavg: 2.21 2.26 2.06 3/176 5933
/proc/meminfo: memFree=21150488/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=9816 CPUtime=0.69 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1423 0 0 0 69 0 0 0 20 0 1 0 36482598 10051584 1077 33554432000 4194304 5796924 140737372020832 140736628397608 5087494 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2454 1077 150 392 0 2053 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9816

[startup+1.50023 s]
/proc/loadavg: 2.21 2.26 2.06 3/177 5934
/proc/meminfo: memFree=21144068/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=9816 CPUtime=1.49 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1424 0 0 0 149 0 0 0 20 0 1 0 36482598 10051584 1078 33554432000 4194304 5796924 140737372020832 140737372015672 5100064 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2454 1078 151 392 0 2053 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9816

[startup+3.10021 s]
/proc/loadavg: 2.19 2.25 2.06 3/177 5934
/proc/meminfo: memFree=21141772/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=9948 CPUtime=3.09 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1441 0 0 0 309 0 0 0 20 0 1 0 36482598 10186752 1095 33554432000 4194304 5796924 140737372020832 140737372015320 5092509 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2487 1095 151 392 0 2086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9948

[startup+6.30023 s]
/proc/loadavg: 2.19 2.25 2.06 3/177 5934
/proc/meminfo: memFree=21311116/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=9948 CPUtime=6.29 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1456 0 0 0 629 0 0 0 20 0 1 0 36482598 10186752 1110 33554432000 4194304 5796924 140737372020832 140737372015320 5096609 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2487 1110 151 392 0 2086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9948

[startup+12.7001 s]
/proc/loadavg: 2.16 2.24 2.06 3/177 5934
/proc/meminfo: memFree=21383952/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=10104 CPUtime=12.69 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1495 0 0 0 1269 0 0 0 20 0 1 0 36482598 10346496 1149 33554432000 4194304 5796924 140737372020832 140737372015400 5092450 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2526 1149 151 392 0 2125 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10104

[startup+25.5003 s]
/proc/loadavg: 2.13 2.23 2.06 3/177 5980
/proc/meminfo: memFree=30687252/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=10396 CPUtime=25.49 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1560 0 0 0 2549 0 0 0 20 0 1 0 36482598 10645504 1214 33554432000 4194304 5796924 140737372020832 140737372015400 5092427 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2599 1214 151 392 0 2198 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10396

[startup+51.1003 s]
/proc/loadavg: 2.15 2.23 2.06 3/177 5980
/proc/meminfo: memFree=30687128/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=10596 CPUtime=51.08 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1609 0 0 0 5108 0 0 0 20 0 1 0 36482598 10850304 1263 33554432000 4194304 5796924 140737372020832 140737372015320 5092504 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2649 1263 151 392 0 2248 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10596

[startup+102.3 s]
/proc/loadavg: 2.12 2.20 2.06 3/177 5981
/proc/meminfo: memFree=30685608/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11120 CPUtime=102.28 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1730 0 0 0 10228 0 0 0 20 0 1 0 36482598 11386880 1384 33554432000 4194304 5796924 140737372020832 140737372015320 4805666 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2780 1384 151 392 0 2379 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11120

[startup+162.3 s]
/proc/loadavg: 2.20 2.21 2.08 3/177 5983
/proc/meminfo: memFree=30685364/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11288 CPUtime=162.27 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1775 0 0 0 16227 0 0 0 20 0 1 0 36482598 11558912 1429 33554432000 4194304 5796924 140737372020832 140737372015368 4809123 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2822 1429 151 392 0 2421 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 11288

[startup+222.307 s]
/proc/loadavg: 2.22 2.21 2.09 3/177 5984
/proc/meminfo: memFree=30684876/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11396 CPUtime=222.26 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1796 0 0 0 22226 0 0 0 20 0 1 0 36482598 11669504 1450 33554432000 4194304 5796924 140737372020832 140737372015672 5092509 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2849 1450 151 392 0 2448 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 11396

[startup+282.3 s]
/proc/loadavg: 2.25 2.22 2.09 3/177 5985
/proc/meminfo: memFree=30684884/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11496 CPUtime=282.25 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1822 0 0 0 28225 0 0 0 20 0 1 0 36482598 11771904 1476 33554432000 4194304 5796924 140737372020832 140737372015672 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2874 1476 151 392 0 2473 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 11496

[startup+342.3 s]
/proc/loadavg: 2.23 2.22 2.10 3/177 5986
/proc/meminfo: memFree=30684392/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11620 CPUtime=342.24 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1849 0 0 0 34224 0 0 0 20 0 1 0 36482598 11898880 1503 33554432000 4194304 5796924 140737372020832 140737372015672 5087778 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2905 1503 151 392 0 2504 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 11620

[startup+402.3 s]
/proc/loadavg: 2.32 2.24 2.11 3/177 5987
/proc/meminfo: memFree=30684520/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11620 CPUtime=402.23 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1866 0 0 0 40223 0 0 0 20 0 1 0 36482598 11898880 1520 33554432000 4194304 5796924 140737372020832 140737372015672 5100093 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2905 1520 151 392 0 2504 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 11620

[startup+462.3 s]
/proc/loadavg: 2.27 2.24 2.11 3/178 5992
/proc/meminfo: memFree=30683720/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11736 CPUtime=462.22 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1880 0 0 0 46222 0 0 0 20 0 1 0 36482598 12017664 1534 33554432000 4194304 5796924 140737372020832 140737372015672 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2934 1534 151 392 0 2533 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 11736

[startup+522.3 s]
/proc/loadavg: 2.26 2.24 2.12 4/178 6016
/proc/meminfo: memFree=29900940/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11736 CPUtime=522.21 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1886 0 0 0 52221 0 0 0 20 0 1 0 36482598 12017664 1540 33554432000 4194304 5796924 140737372020832 140737372015672 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2934 1540 151 392 0 2533 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 11736

[startup+582.3 s]
/proc/loadavg: 2.44 2.29 2.14 3/177 6017
/proc/meminfo: memFree=29898220/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=11736 CPUtime=582.2 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 1891 0 0 0 58220 0 0 0 20 0 1 0 36482598 12017664 1545 33554432000 4194304 5796924 140737372020832 140737372015672 4809393 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 2934 1545 151 392 0 2533 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 11736


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


[startup+882.307 s]
/proc/loadavg: 2.34 2.30 2.18 3/177 6023
/proc/meminfo: memFree=28940208/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1052180 CPUtime=882.16 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 103721 0 0 0 88184 32 0 0 20 0 1 0 36482598 1077432320 231933 33554432000 4194304 5796924 140737372020832 140737372018296 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 263045 231933 182 392 0 262644 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1052180

[startup+942.3 s]
/proc/loadavg: 2.40 2.32 2.19 4/176 6024
/proc/meminfo: memFree=28921944/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1107204 CPUtime=942.14 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 104630 0 0 0 94181 33 0 0 20 0 1 0 36482598 1133776896 237944 33554432000 4194304 5796924 140737372020832 140737372017880 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 276801 237944 182 392 0 276400 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1107204

[startup+1002.3 s]
/proc/loadavg: 2.36 2.32 2.20 4/177 6026
/proc/meminfo: memFree=28952536/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1057116 CPUtime=1002.13 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 105137 0 0 0 100177 36 0 0 20 0 1 0 36482598 1082486784 232751 33554432000 4194304 5796924 140737372020832 140737372018296 4568949 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 264279 232751 182 392 0 263878 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1057116

[startup+1062.3 s]
/proc/loadavg: 2.31 2.32 2.20 3/177 6030
/proc/meminfo: memFree=28910040/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1107204 CPUtime=1062.1 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 105466 0 0 0 106174 36 0 0 20 0 1 0 36482598 1133776896 238407 33554432000 4194304 5796924 140737372020832 140737372018472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 276801 238407 182 392 0 276400 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1107204

[startup+1122.3 s]
/proc/loadavg: 2.28 2.30 2.20 4/177 6032
/proc/meminfo: memFree=28918592/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1107204 CPUtime=1122.09 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 106272 0 0 0 112170 39 0 0 20 0 1 0 36482598 1133776896 238685 33554432000 4194304 5796924 140737372020832 140737372018472 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 276801 238685 182 392 0 276400 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1107204

[startup+1182.3 s]
/proc/loadavg: 2.36 2.32 2.21 4/177 6033
/proc/meminfo: memFree=28914804/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1057572 CPUtime=1182.05 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 107104 0 0 0 118165 40 0 0 20 0 1 0 36482598 1082953728 236134 33554432000 4194304 5796924 140737372020832 140737372018296 4606847 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 264393 236134 182 392 0 263992 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 1057572

[startup+1242.3 s]
/proc/loadavg: 2.23 2.29 2.20 3/177 6034
/proc/meminfo: memFree=28909072/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1108608 CPUtime=1242.05 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 107624 0 0 0 124163 42 0 0 20 0 1 0 36482598 1135214592 241249 33554432000 4194304 5796924 140737372020832 140737372017944 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 277152 241249 182 392 0 276751 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1108608

[startup+1302.3 s]
/proc/loadavg: 2.20 2.27 2.19 3/177 6035
/proc/meminfo: memFree=28905820/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1109832 CPUtime=1302.03 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 108727 0 0 0 130159 44 0 0 20 0 1 0 36482598 1136467968 238095 33554432000 4194304 5796924 140737372020832 140737372017944 4606503 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 277458 238095 182 392 0 277057 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1109832

[startup+1362.3 s]
/proc/loadavg: 2.23 2.26 2.19 3/177 6036
/proc/meminfo: memFree=28899436/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1114496 CPUtime=1362.02 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 109352 0 0 0 136157 45 0 0 20 0 1 0 36482598 1141243904 244328 33554432000 4194304 5796924 140737372020832 140737372017880 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 278624 244328 182 392 0 278223 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1114496

[startup+1422.3 s]
/proc/loadavg: 2.19 2.25 2.19 3/177 6038
/proc/meminfo: memFree=28901120/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1064408 CPUtime=1422.02 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 109985 0 0 0 142155 47 0 0 20 0 1 0 36482598 1089953792 238530 33554432000 4194304 5796924 140737372020832 140737372018296 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 266102 238530 182 392 0 265701 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1064408

[startup+1482.3 s]
/proc/loadavg: 2.12 2.22 2.18 4/177 6039
/proc/meminfo: memFree=28862404/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1114496 CPUtime=1482 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 110193 0 0 0 148152 48 0 0 20 0 1 0 36482598 1141243904 243847 33554432000 4194304 5796924 140737372020832 140737372018472 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 278624 243847 182 392 0 278223 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1114496

[startup+1542.31 s]
/proc/loadavg: 2.23 2.24 2.18 3/177 6040
/proc/meminfo: memFree=28868388/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1114496 CPUtime=1542 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 110209 0 0 0 154152 48 0 0 20 0 1 0 36482598 1141243904 248973 33554432000 4194304 5796924 140737372020832 140737372018472 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 278624 248973 182 392 0 278223 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1114496

[startup+1602.3 s]
/proc/loadavg: 2.13 2.21 2.18 3/177 6041
/proc/meminfo: memFree=28876960/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1114856 CPUtime=1601.99 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 111118 0 0 0 160148 51 0 0 20 0 1 0 36482598 1141612544 242430 33554432000 4194304 5796924 140737372020832 140737372018472 4606480 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 278714 242430 182 392 0 278313 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1114856

[startup+1662.3 s]
/proc/loadavg: 2.19 2.21 2.18 4/178 6045
/proc/meminfo: memFree=28836164/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1115528 CPUtime=1661.97 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 111264 0 0 0 166146 51 0 0 20 0 1 0 36482598 1142300672 247686 33554432000 4194304 5796924 140737372020832 140737372017944 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 278882 247686 182 392 0 278481 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1115528

[startup+1722.3 s]
/proc/loadavg: 2.36 2.25 2.19 3/177 6047
/proc/meminfo: memFree=28892096/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1066876 CPUtime=1721.97 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 112265 0 0 0 172144 53 0 0 20 0 1 0 36482598 1092481024 239124 33554432000 4194304 5796924 140737372020832 140737372018296 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 266719 239124 182 392 0 266318 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1066876

[startup+1782.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 6048
/proc/meminfo: memFree=28847436/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1117104 CPUtime=1781.96 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 112497 0 0 0 178142 54 0 0 20 0 1 0 36482598 1143914496 244974 33554432000 4194304 5796924 140737372020832 140737372018472 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 279276 244974 182 392 0 278875 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1117104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 6048
/proc/meminfo: memFree=28837168/32872528 swapFree=1191052/1305516
[pid=5933] ppid=5930 vsize=1117104 CPUtime=1800.05 cores=1,3,5,7
/proc/5933/stat : 5933 (naps-1.02) R 5930 5933 3856 0 -1 4202496 112511 0 0 0 179951 54 0 0 20 0 1 0 36482598 1143914496 246010 33554432000 4194304 5796924 140737372020832 140737372017944 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/5933/statm: 279276 246010 182 392 0 278875 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1117104

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 5933 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.52
CPU system time (s): 0.554915
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 1197104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.554915
maximum resident set size= 1084004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112521
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= 118
involuntary context switches= 1955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64129 second user time and 6.84396 second system time

The end