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-4082295-1465252647/watcher-4082295-1465252647 -o /tmp/evaluation-result-4082295-1465252647/solver-4082295-1465252647 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465227048-7039 --watchdog 1960 naps-1.02 HOME/instance-4082295-1465252647.opb 

pid=9791
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.00 2.00 2.00 3/176 9794
/proc/meminfo: memFree=31858652/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=6860 CPUtime=0 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 1 0 107195873 7024640 268 33554432000 4194304 5796924 140735716497824 140736664910680 5093100 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 1715 268 128 392 0 1314 0

[startup+0.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9794
/proc/meminfo: memFree=31858652/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=3760 CPUtime=0.09 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 769 0 0 0 9 0 0 0 20 0 1 0 107195873 3850240 597 33554432000 4194304 5796924 140735716497824 140736664910680 4865586 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 940 597 151 392 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3760

[startup+0.20028 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9794
/proc/meminfo: memFree=31858652/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=3760 CPUtime=0.19 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 769 0 0 0 19 0 0 0 20 0 1 0 107195873 3850240 597 33554432000 4194304 5796924 140735716497824 140736664910680 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 940 597 151 392 0 539 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3760

[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9794
/proc/meminfo: memFree=31858652/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=3760 CPUtime=0.29 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 769 0 0 0 29 0 0 0 20 0 1 0 107195873 3850240 597 33554432000 4194304 5796924 140735716497824 140736664910680 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 940 597 151 392 0 539 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3760

[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9794
/proc/meminfo: memFree=31858652/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=3760 CPUtime=0.69 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 769 0 0 0 69 0 0 0 20 0 1 0 107195873 3850240 597 33554432000 4194304 5796924 140735716497824 140736664910680 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 940 597 151 392 0 539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3760

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9795
/proc/meminfo: memFree=31856388/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=3760 CPUtime=1.49 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 769 0 0 0 149 0 0 0 20 0 1 0 107195873 3850240 597 33554432000 4194304 5796924 140735716497824 140735716494808 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 940 597 151 392 0 539 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3760

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9795
/proc/meminfo: memFree=31808992/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=263296 CPUtime=3.09 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 40776 0 0 0 303 6 0 0 20 0 1 0 107195873 269615104 60810 33554432000 4194304 5796924 140735716497824 140735716494920 4564248 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 65824 60810 159 392 0 65423 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 263296

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9795
/proc/meminfo: memFree=31567948/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=307972 CPUtime=6.29 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 50369 0 0 0 620 9 0 0 20 0 1 0 107195873 315363328 72080 33554432000 4194304 5796924 140735716497824 140735716494872 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 76993 72080 169 392 0 76592 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 307972

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9795
/proc/meminfo: memFree=31558696/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=319648 CPUtime=12.68 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 50489 0 0 0 1259 9 0 0 20 0 1 0 107195873 327319552 72710 33554432000 4194304 5796924 140735716497824 140735716495464 4608495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 79912 72710 171 392 0 79511 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 319648

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9795
/proc/meminfo: memFree=31547116/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=319648 CPUtime=25.48 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 50530 0 0 0 2539 9 0 0 20 0 1 0 107195873 327319552 73262 33554432000 4194304 5796924 140735716497824 140735716495464 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 79912 73262 171 392 0 79511 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 319648

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9795
/proc/meminfo: memFree=31518308/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=320556 CPUtime=51.08 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 50894 0 0 0 5098 10 0 0 20 0 1 0 107195873 328249344 73514 33554432000 4194304 5796924 140735716497824 140735716495096 4606420 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 80139 73514 171 392 0 79738 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 320556

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9796
/proc/meminfo: memFree=31433960/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=351624 CPUtime=102.28 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 51447 0 0 0 10217 11 0 0 20 0 1 0 107195873 360062976 82208 33554432000 4194304 5796924 140735716497824 140735716494888 4606782 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 87906 82208 171 392 0 87505 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 351624

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9800
/proc/meminfo: memFree=31386180/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=370540 CPUtime=162.26 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 52407 0 0 0 16214 12 0 0 20 0 1 0 107195873 379432960 83341 33554432000 4194304 5796924 140735716497824 140735716495176 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 92635 83341 171 392 0 92234 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 370540

[startup+222.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9802
/proc/meminfo: memFree=31490820/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=381916 CPUtime=222.26 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 53236 0 0 0 22213 13 0 0 20 0 1 0 107195873 391081984 89808 33554432000 4194304 5796924 140735716497824 140735716494888 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 95479 89808 171 392 0 95078 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 381916

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9803
/proc/meminfo: memFree=31433284/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=381916 CPUtime=282.22 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 53268 0 0 0 28209 13 0 0 20 0 1 0 107195873 391081984 90393 33554432000 4194304 5796924 140735716497824 140735716494888 4594694 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 95479 90393 171 392 0 95078 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 381916

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9804
/proc/meminfo: memFree=31419020/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=351568 CPUtime=342.2 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 54137 0 0 0 34206 14 0 0 20 0 1 0 107195873 360005632 82939 33554432000 4194304 5796924 140735716497824 140735716495288 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 87892 82939 171 392 0 87491 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 351568

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9851
/proc/meminfo: memFree=31651724/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=402.19 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 55068 0 0 0 40204 15 0 0 20 0 1 0 107195873 410509312 92060 33554432000 4194304 5796924 140735716497824 140735716495112 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 92060 171 392 0 99821 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 400888

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9852
/proc/meminfo: memFree=31679364/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=351568 CPUtime=462.17 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 55485 0 0 0 46202 15 0 0 20 0 1 0 107195873 360005632 84976 33554432000 4194304 5796924 140735716497824 140735716495288 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 87892 84976 171 392 0 87491 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 351568

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9854
/proc/meminfo: memFree=31679160/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=351568 CPUtime=522.17 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 55902 0 0 0 52201 16 0 0 20 0 1 0 107195873 360005632 84976 33554432000 4194304 5796924 140735716497824 140735716495288 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 87892 84976 171 392 0 87491 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 351568

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9855
/proc/meminfo: memFree=31679036/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=351568 CPUtime=582.15 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 56319 0 0 0 58199 16 0 0 20 0 1 0 107195873 360005632 84976 33554432000 4194304 5796924 140735716497824 140735716495288 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 87892 84976 171 392 0 87491 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 351568


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9864
/proc/meminfo: memFree=19737044/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=882.12 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 58410 0 0 0 88192 20 0 0 20 0 1 0 107195873 410509312 94080 33554432000 4194304 5796924 140735716497824 140735716495112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 94080 171 392 0 99821 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 400888

[startup+942.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9865
/proc/meminfo: memFree=17722316/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=942.1 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 58829 0 0 0 94190 20 0 0 20 0 1 0 107195873 410509312 93568 33554432000 4194304 5796924 140735716497824 140735716495112 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 93568 171 392 0 99821 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 400888

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10003
/proc/meminfo: memFree=31445248/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=351568 CPUtime=1002.09 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 58834 0 0 0 100189 20 0 0 20 0 1 0 107195873 360005632 84976 33554432000 4194304 5796924 140735716497824 140735716495288 4606483 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 87892 84976 171 392 0 87491 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 351568

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10004
/proc/meminfo: memFree=31399808/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1062.09 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 59254 0 0 0 106188 21 0 0 20 0 1 0 107195873 410509312 95616 33554432000 4194304 5796924 140735716497824 140735716495112 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 95616 171 392 0 99821 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 400888

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10006
/proc/meminfo: memFree=31398876/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1122.08 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 59674 0 0 0 112186 22 0 0 20 0 1 0 107195873 410509312 95104 33554432000 4194304 5796924 140735716497824 140735716495112 4606552 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 95104 171 392 0 99821 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 400888

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10007
/proc/meminfo: memFree=31403992/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1182.06 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 60093 0 0 0 118184 22 0 0 20 0 1 0 107195873 410509312 94080 33554432000 4194304 5796924 140735716497824 140735716495112 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 94080 171 392 0 99821 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 400888

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10008
/proc/meminfo: memFree=31407480/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1242.06 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 60512 0 0 0 124183 23 0 0 20 0 1 0 107195873 410509312 93056 33554432000 4194304 5796924 140735716497824 140735716495112 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 93056 171 392 0 99821 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 400888

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10009
/proc/meminfo: memFree=31395444/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1302.05 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 60518 0 0 0 130182 23 0 0 20 0 1 0 107195873 410509312 96128 33554432000 4194304 5796924 140735716497824 140735716495112 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 96128 171 392 0 99821 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 400888

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10013
/proc/meminfo: memFree=31401060/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1362.04 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 60937 0 0 0 136180 24 0 0 20 0 1 0 107195873 410509312 94592 33554432000 4194304 5796924 140735716497824 140735716495112 4606807 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 94592 171 392 0 99821 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 400888

[startup+1422.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 10038
/proc/meminfo: memFree=31406720/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1422.03 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 61356 0 0 0 142179 24 0 0 20 0 1 0 107195873 410509312 93056 33554432000 4194304 5796924 140735716497824 140735716495112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 93056 171 392 0 99821 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 400888

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10039
/proc/meminfo: memFree=31395368/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1482.03 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 61362 0 0 0 148178 25 0 0 20 0 1 0 107195873 410509312 96128 33554432000 4194304 5796924 140735716497824 140735716495112 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 96128 171 392 0 99821 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 400888

[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10040
/proc/meminfo: memFree=31401640/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1542.02 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 61781 0 0 0 154177 25 0 0 20 0 1 0 107195873 410509312 94592 33554432000 4194304 5796924 140735716497824 140735716495112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 94592 171 392 0 99821 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 400888

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10041
/proc/meminfo: memFree=31439500/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=351568 CPUtime=1602 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 61787 0 0 0 160175 25 0 0 20 0 1 0 107195873 360005632 84977 33554432000 4194304 5796924 140735716497824 140735716495288 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 87892 84977 171 392 0 87491 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 351568

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10042
/proc/meminfo: memFree=31397180/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=400888 CPUtime=1661.99 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 62208 0 0 0 166173 26 0 0 20 0 1 0 107195873 410509312 95618 33554432000 4194304 5796924 140735716497824 140735716495112 4607753 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100222 95618 171 392 0 99821 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 400888

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10044
/proc/meminfo: memFree=31401844/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=402340 CPUtime=1721.99 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 63001 0 0 0 172172 27 0 0 20 0 1 0 107195873 411996160 94443 33554432000 4194304 5796924 140735716497824 140735716495112 4606552 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100585 94443 171 392 0 100184 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 402340

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10045
/proc/meminfo: memFree=31389308/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=402340 CPUtime=1781.98 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 63007 0 0 0 178171 27 0 0 20 0 1 0 107195873 411996160 97515 33554432000 4194304 5796924 140735716497824 140735716495112 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100585 97515 171 392 0 100184 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 402340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 10045
/proc/meminfo: memFree=31403644/32872528 swapFree=9100/9100
[pid=9794] ppid=9791 vsize=402340 CPUtime=1800.08 cores=1,3,5,7
/proc/9794/stat : 9794 (naps-1.02) R 9791 9794 7022 0 -1 4202496 63423 0 0 0 179980 28 0 0 20 0 1 0 107195873 411996160 93931 33554432000 4194304 5796924 140735716497824 140735716495112 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/9794/statm: 100585 93931 171 392 0 100184 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 402340

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

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.8
CPU system time (s): 0.282956
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 402340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.282956
maximum resident set size= 395920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63435
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= 70
involuntary context switches= 1975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25035 second user time and 7.2199 second system time

The end