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-4101459-1466228731/watcher-4101459-1466228731 -o /tmp/evaluation-result-4101459-1466228731/solver-4101459-1466228731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466206099-12166 --watchdog 1960 naps-1.02 HOME/instance-4101459-1466228731.opb 

pid=15800
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.05 2.10 2.10 3/176 15803
/proc/meminfo: memFree=30237672/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=6692 CPUtime=0 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 24922372 6852608 236 33554432000 4194304 5796924 140734862593648 140734862593064 4806863 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 1673 236 116 392 0 1272 0

[startup+0.10022 s]
/proc/loadavg: 2.05 2.10 2.10 3/176 15803
/proc/meminfo: memFree=30237672/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=11780 CPUtime=0.09 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 1637 0 0 0 9 0 0 0 20 0 1 0 24922372 12062720 1511 33554432000 4194304 5796924 140734862593648 140734862593064 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 2945 1511 140 392 0 2544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11780

[startup+0.200389 s]
/proc/loadavg: 2.05 2.10 2.10 3/176 15803
/proc/meminfo: memFree=30237672/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=11780 CPUtime=0.19 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 1643 0 0 0 19 0 0 0 20 0 1 0 24922372 12062720 1517 33554432000 4194304 5796924 140734862593648 140734862593064 4809243 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 2945 1517 144 392 0 2544 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11780

[startup+0.300366 s]
/proc/loadavg: 2.05 2.10 2.10 3/176 15803
/proc/meminfo: memFree=30237672/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=12284 CPUtime=0.29 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 1796 0 0 0 29 0 0 0 20 0 1 0 24922372 12578816 1628 33554432000 4194304 5796924 140734862593648 140734862593064 5077954 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 3071 1628 144 392 0 2670 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12284

[startup+0.700255 s]
/proc/loadavg: 2.05 2.10 2.10 3/176 15803
/proc/meminfo: memFree=30237672/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=12424 CPUtime=0.69 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 1823 0 0 0 69 0 0 0 20 0 1 0 24922372 12722176 1655 33554432000 4194304 5796924 140734862593648 140734862593064 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 3106 1655 144 392 0 2705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12424

[startup+1.50025 s]
/proc/loadavg: 2.05 2.10 2.10 3/177 15804
/proc/meminfo: memFree=30231116/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=12924 CPUtime=1.49 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 2036 0 0 0 149 0 0 0 20 0 1 0 24922372 13234176 1785 33554432000 4194304 5796924 140734862593648 140734862589864 5100806 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 3231 1785 145 392 0 2830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12924

[startup+3.10025 s]
/proc/loadavg: 2.05 2.10 2.10 3/177 15804
/proc/meminfo: memFree=30229380/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=14976 CPUtime=3.09 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 2697 0 0 0 309 0 0 0 20 0 1 0 24922372 15335424 2281 33554432000 4194304 5796924 140734862593648 140734862589864 4299886 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 3744 2281 145 392 0 3343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14976

[startup+6.30028 s]
/proc/loadavg: 2.05 2.10 2.10 3/177 15804
/proc/meminfo: memFree=30247704/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=99668 CPUtime=6.29 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 23835 0 0 0 626 3 0 0 20 0 1 0 24922372 102060032 21678 33554432000 4194304 5796924 140734862593648 140734862591336 4648261 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 24917 21678 154 392 0 24516 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99668

[startup+12.7003 s]
/proc/loadavg: 2.04 2.10 2.10 3/177 15804
/proc/meminfo: memFree=30082572/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=183184 CPUtime=12.69 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 39329 0 0 0 1262 7 0 0 20 0 1 0 24922372 187580416 43445 33554432000 4194304 5796924 140734862593648 140734862590696 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 45796 43445 182 392 0 45395 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 183184

[startup+25.5004 s]
/proc/loadavg: 2.03 2.10 2.10 3/177 15804
/proc/meminfo: memFree=30064644/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=201296 CPUtime=25.48 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 39850 0 0 0 2541 7 0 0 20 0 1 0 24922372 206127104 48011 33554432000 4194304 5796924 140734862593648 140734862590712 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 50324 48011 182 392 0 49923 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 201296

[startup+51.1004 s]
/proc/loadavg: 2.08 2.10 2.10 3/177 15804
/proc/meminfo: memFree=29977136/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=244484 CPUtime=51.08 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 44102 0 0 0 5099 9 0 0 20 0 1 0 24922372 250351616 58383 33554432000 4194304 5796924 140734862593648 140734862591112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 61121 58383 182 392 0 60720 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 244484

[startup+102.3 s]
/proc/loadavg: 2.16 2.11 2.10 3/177 15806
/proc/meminfo: memFree=29935944/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=274832 CPUtime=102.28 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 44692 0 0 0 10218 10 0 0 20 0 1 0 24922372 281427968 65605 33554432000 4194304 5796924 140734862593648 140734862590888 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 68708 65605 182 392 0 68307 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 274832

[startup+162.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/177 15807
/proc/meminfo: memFree=29917200/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=324152 CPUtime=162.26 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 44983 0 0 0 16216 10 0 0 20 0 1 0 24922372 331931648 74072 33554432000 4194304 5796924 140734862593648 140734862590936 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 81038 74072 182 392 0 80637 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 324152

[startup+222.307 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 15808
/proc/meminfo: memFree=29953180/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=275036 CPUtime=222.26 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 45276 0 0 0 22216 10 0 0 20 0 1 0 24922372 281636864 66118 33554432000 4194304 5796924 140734862593648 140734862590888 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 68759 66118 182 392 0 68358 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 275036

[startup+282.3 s]
/proc/loadavg: 2.18 2.13 2.10 3/178 15812
/proc/meminfo: memFree=29937360/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=275036 CPUtime=282.24 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 45622 0 0 0 28213 11 0 0 20 0 1 0 24922372 281636864 66168 33554432000 4194304 5796924 140734862593648 140734862591112 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 68759 66168 182 392 0 68358 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 275036

[startup+342.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/177 15813
/proc/meminfo: memFree=29950964/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=275036 CPUtime=342.22 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 45927 0 0 0 34211 11 0 0 20 0 1 0 24922372 281636864 66170 33554432000 4194304 5796924 140734862593648 140734862591112 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 68759 66170 182 392 0 68358 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 275036

[startup+402.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/177 15815
/proc/meminfo: memFree=29934148/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=275036 CPUtime=402.19 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 46252 0 0 0 40207 12 0 0 20 0 1 0 24922372 281636864 66226 33554432000 4194304 5796924 140734862593648 140734862591112 4606844 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 68759 66226 182 392 0 68358 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 275036

[startup+462.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 15816
/proc/meminfo: memFree=29949580/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=275036 CPUtime=462.18 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 46550 0 0 0 46206 12 0 0 20 0 1 0 24922372 281636864 66226 33554432000 4194304 5796924 140734862593648 140734862591112 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 68759 66226 182 392 0 68358 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 275036

[startup+522.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/177 15817
/proc/meminfo: memFree=29884596/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=324356 CPUtime=522.16 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 46853 0 0 0 52203 13 0 0 20 0 1 0 24922372 332140544 78535 33554432000 4194304 5796924 140734862593648 140734862590936 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 81089 78535 182 392 0 80688 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 324356

[startup+582.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/177 15818
/proc/meminfo: memFree=29904600/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=324356 CPUtime=582.16 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 47148 0 0 0 58202 14 0 0 20 0 1 0 24922372 332140544 76999 33554432000 4194304 5796924 140734862593648 140734862590936 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 81089 76999 182 392 0 80688 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 324356


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


[startup+882.307 s]
/proc/loadavg: 2.15 2.12 2.09 4/178 15827
/proc/meminfo: memFree=29899372/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=324356 CPUtime=882.11 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 50583 0 0 0 88190 21 0 0 20 0 1 0 24922372 332140544 75975 33554432000 4194304 5796924 140734862593648 140734862590936 4606807 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 81089 75975 182 392 0 80688 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 324356

[startup+942.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/178 15850
/proc/meminfo: memFree=29885852/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=326212 CPUtime=942.1 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 51860 0 0 0 94187 23 0 0 20 0 1 0 24922372 334041088 75415 33554432000 4194304 5796924 140734862593648 140734862590936 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 81553 75415 182 392 0 81152 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 326212

[startup+1002.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/177 15852
/proc/meminfo: memFree=29851844/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=357032 CPUtime=1002.09 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 52456 0 0 0 100185 24 0 0 20 0 1 0 24922372 365600768 80602 33554432000 4194304 5796924 140734862593648 140734862591288 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 89258 80602 182 392 0 88857 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 357032

[startup+1062.3 s]
/proc/loadavg: 2.23 2.15 2.10 4/177 15853
/proc/meminfo: memFree=29889544/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=327408 CPUtime=1062.08 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 53057 0 0 0 106183 25 0 0 20 0 1 0 24922372 335265792 76738 33554432000 4194304 5796924 140734862593648 140734862590936 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 81852 76738 182 392 0 81451 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 327408

[startup+1122.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/177 15854
/proc/meminfo: memFree=29851508/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=358228 CPUtime=1122.07 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 53655 0 0 0 112181 26 0 0 20 0 1 0 24922372 366825472 81413 33554432000 4194304 5796924 140734862593648 140734862591288 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 89557 81413 182 392 0 89156 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 358228

[startup+1182.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/177 15900
/proc/meminfo: memFree=29836612/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=331392 CPUtime=1182.06 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 54446 0 0 0 118179 27 0 0 20 0 1 0 24922372 339345408 77222 33554432000 4194304 5796924 140734862593648 140734862590936 4568998 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 82848 77222 182 392 0 82447 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 331392

[startup+1242.3 s]
/proc/loadavg: 2.27 2.17 2.10 4/177 15901
/proc/meminfo: memFree=29798728/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=362212 CPUtime=1242.05 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 55044 0 0 0 124177 28 0 0 20 0 1 0 24922372 370905088 82921 33554432000 4194304 5796924 140734862593648 140734862591288 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 90553 82921 182 392 0 90152 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 362212

[startup+1302.3 s]
/proc/loadavg: 2.17 2.15 2.10 4/176 15902
/proc/meminfo: memFree=29815512/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=331392 CPUtime=1302.04 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 55339 0 0 0 130175 29 0 0 20 0 1 0 24922372 339345408 76198 33554432000 4194304 5796924 140734862593648 140734862590936 4607215 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 82848 76198 182 392 0 82447 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 331392

[startup+1362.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/177 15904
/proc/meminfo: memFree=29781892/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=362212 CPUtime=1362.03 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 55934 0 0 0 136173 30 0 0 20 0 1 0 24922372 370905088 81385 33554432000 4194304 5796924 140734862593648 140734862591288 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 90553 81385 182 392 0 90152 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 362212

[startup+1422.3 s]
/proc/loadavg: 2.23 2.16 2.10 4/177 15905
/proc/meminfo: memFree=29778104/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=362212 CPUtime=1422.04 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 55942 0 0 0 142173 31 0 0 20 0 1 0 24922372 370905088 85481 33554432000 4194304 5796924 140734862593648 140734862591288 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 90553 85481 182 392 0 90152 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 362212

[startup+1482.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/178 15909
/proc/meminfo: memFree=29786212/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=333096 CPUtime=1482.01 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 56673 0 0 0 148169 32 0 0 20 0 1 0 24922372 341090304 80208 33554432000 4194304 5796924 140734862593648 140734862590936 4592575 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 83274 80208 182 392 0 82873 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 333096

[startup+1542.31 s]
/proc/loadavg: 2.22 2.17 2.10 3/177 15910
/proc/meminfo: memFree=29758560/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=363916 CPUtime=1542.02 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 57273 0 0 0 154168 34 0 0 20 0 1 0 24922372 372649984 84883 33554432000 4194304 5796924 140734862593648 140734862591288 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 90979 84883 182 392 0 90578 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 363916

[startup+1602.3 s]
/proc/loadavg: 2.23 2.18 2.11 4/177 15911
/proc/meminfo: memFree=29796856/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=334520 CPUtime=1602 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 57935 0 0 0 160165 35 0 0 20 0 1 0 24922372 342548480 77492 33554432000 4194304 5796924 140734862593648 140734862590936 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 83630 77492 182 392 0 83229 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 334520

[startup+1662.3 s]
/proc/loadavg: 2.15 2.16 2.10 3/177 15913
/proc/meminfo: memFree=29765416/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=365340 CPUtime=1662 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 58531 0 0 0 166164 36 0 0 20 0 1 0 24922372 374108160 82679 33554432000 4194304 5796924 140734862593648 140734862591288 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 91335 82679 182 392 0 90934 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 365340

[startup+1722.3 s]
/proc/loadavg: 2.10 2.14 2.09 4/177 15914
/proc/meminfo: memFree=29740968/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=365340 CPUtime=1721.99 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 58540 0 0 0 172163 36 0 0 20 0 1 0 24922372 374108160 87287 33554432000 4194304 5796924 140734862593648 140734862591288 4606712 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 91335 87287 182 392 0 90934 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 365340

[startup+1782.3 s]
/proc/loadavg: 2.19 2.16 2.10 4/177 15915
/proc/meminfo: memFree=29753248/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=336456 CPUtime=1781.98 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 59340 0 0 0 178161 37 0 0 20 0 1 0 24922372 344530944 80540 33554432000 4194304 5796924 140734862593648 140734862590936 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 84114 80540 182 392 0 83713 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 336456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.15 2.09 3/177 15915
/proc/meminfo: memFree=29742696/32872528 swapFree=1074772/1156532
[pid=15803] ppid=15800 vsize=367276 CPUtime=1800.07 cores=1,3,5,7
/proc/15803/stat : 15803 (naps-1.02) R 15800 15803 12149 0 -1 4202496 59685 0 0 0 179969 38 0 0 20 0 1 0 24922372 376090624 81900 33554432000 4194304 5796924 140734862593648 140734862591288 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15803/statm: 91819 81900 182 392 0 91418 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 367276

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 15803 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.09
CPU user time (s): 1799.7
CPU system time (s): 0.385941
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 367276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.385941
maximum resident set size= 355296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59697
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= 50
involuntary context switches= 2058

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46732 second user time and 7.09192 second system time

The end