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-4101171-1466224909/watcher-4101171-1466224909 -o /tmp/evaluation-result-4101171-1466224909/solver-4101171-1466224909 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466206100-11874 --watchdog 1960 naps-1.02 HOME/instance-4101171-1466224909.opb 

pid=15764
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.17 2.17 2.14 3/176 15767
/proc/meminfo: memFree=30417244/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=6696 CPUtime=0 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 24539873 6856704 232 33554432000 4194304 5796924 140735153555152 140734224627960 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 1674 232 128 392 0 1273 0

[startup+0.100124 s]
/proc/loadavg: 2.17 2.17 2.14 3/176 15767
/proc/meminfo: memFree=30417244/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=9716 CPUtime=0.09 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 1114 0 0 0 9 0 0 0 20 0 1 0 24539873 9949184 957 33554432000 4194304 5796924 140735153555152 140734224627960 5087700 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 2429 957 143 392 0 2028 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9716

[startup+0.200295 s]
/proc/loadavg: 2.17 2.17 2.14 3/176 15767
/proc/meminfo: memFree=30417244/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=10588 CPUtime=0.19 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 1385 0 0 0 19 0 0 0 20 0 1 0 24539873 10842112 1186 33554432000 4194304 5796924 140735153555152 140734224627960 4432603 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 2647 1186 143 392 0 2246 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10588

[startup+0.30024 s]
/proc/loadavg: 2.17 2.17 2.14 3/176 15767
/proc/meminfo: memFree=30417244/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=10912 CPUtime=0.29 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 1440 0 0 0 29 0 0 0 20 0 1 0 24539873 11173888 1241 33554432000 4194304 5796924 140735153555152 140734224627960 4805602 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 2728 1241 143 392 0 2327 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10912

[startup+0.700236 s]
/proc/loadavg: 2.17 2.17 2.14 3/176 15767
/proc/meminfo: memFree=30417244/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=12096 CPUtime=0.69 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 1830 0 0 0 69 0 0 0 20 0 1 0 24539873 12386304 1548 33554432000 4194304 5796924 140735153555152 140734224627960 5092416 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 3024 1548 143 392 0 2623 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12096

[startup+1.50023 s]
/proc/loadavg: 2.16 2.17 2.14 3/177 15768
/proc/meminfo: memFree=30408564/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=15316 CPUtime=1.49 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 2757 0 0 0 149 0 0 0 20 0 1 0 24539873 15683584 2310 33554432000 4194304 5796924 140735153555152 140735153551368 4805613 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 3829 2310 143 392 0 3428 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15316

[startup+3.10024 s]
/proc/loadavg: 2.16 2.17 2.14 3/177 15768
/proc/meminfo: memFree=30406084/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=19088 CPUtime=3.09 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 3982 0 0 0 309 0 0 0 20 0 1 0 24539873 19546112 3205 33554432000 4194304 5796924 140735153555152 140735153551368 5096709 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 4772 3205 144 392 0 4371 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19088

[startup+6.30023 s]
/proc/loadavg: 2.23 2.18 2.14 4/177 15768
/proc/meminfo: memFree=30401764/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=21952 CPUtime=6.29 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 4623 0 0 0 629 0 0 0 20 0 1 0 24539873 22478848 3846 33554432000 4194304 5796924 140735153555152 140735153497912 5092526 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 5488 3846 144 392 0 5087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21952

[startup+12.7002 s]
/proc/loadavg: 2.21 2.18 2.14 3/177 15768
/proc/meminfo: memFree=30398340/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=24684 CPUtime=12.68 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 5362 0 0 0 1268 0 0 0 20 0 1 0 24539873 25276416 4585 33554432000 4194304 5796924 140735153555152 140735153551368 5092509 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 6171 4585 144 392 0 5770 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24684

[startup+25.5003 s]
/proc/loadavg: 2.18 2.17 2.14 4/177 15768
/proc/meminfo: memFree=30390028/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=28800 CPUtime=25.49 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 6390 0 0 0 2548 1 0 0 20 0 1 0 24539873 29491200 5465 33554432000 4194304 5796924 140735153555152 140735153551368 5087497 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 7200 5465 144 392 0 6799 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28800

[startup+51.1003 s]
/proc/loadavg: 2.19 2.17 2.14 4/177 15768
/proc/meminfo: memFree=30383904/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=34904 CPUtime=51.08 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 7743 0 0 0 5107 1 0 0 20 0 1 0 24539873 35741696 6818 33554432000 4194304 5796924 140735153555152 140735153551368 5092545 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 8726 6818 144 392 0 8325 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34904

[startup+102.3 s]
/proc/loadavg: 2.19 2.18 2.14 3/177 15769
/proc/meminfo: memFree=30062840/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=346156 CPUtime=102.28 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 43432 0 0 0 10217 11 0 0 20 0 1 0 24539873 354463744 75526 33554432000 4194304 5796924 140735153555152 140735153552200 4577321 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 86539 75526 169 392 0 86138 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 346156

[startup+162.3 s]
/proc/loadavg: 2.18 2.17 2.14 3/177 15770
/proc/meminfo: memFree=30073956/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=323784 CPUtime=162.27 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 47191 0 0 0 16213 14 0 0 20 0 1 0 24539873 331554816 69779 33554432000 4194304 5796924 140735153555152 140735153552200 4607747 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 80946 69779 169 392 0 80545 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 323784

[startup+222.307 s]
/proc/loadavg: 2.21 2.18 2.14 3/177 15771
/proc/meminfo: memFree=30015972/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=328468 CPUtime=222.27 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 48977 0 0 0 22211 16 0 0 20 0 1 0 24539873 336351232 73708 33554432000 4194304 5796924 140735153555152 140735153552200 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 82117 73708 169 392 0 81716 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 328468

[startup+282.3 s]
/proc/loadavg: 2.30 2.21 2.15 3/177 15773
/proc/meminfo: memFree=30001164/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=365804 CPUtime=282.23 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 51707 0 0 0 28205 18 0 0 20 0 1 0 24539873 374583296 76802 33554432000 4194304 5796924 140735153555152 140735153552792 4622911 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 91451 76802 169 392 0 91050 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 365804

[startup+342.3 s]
/proc/loadavg: 2.21 2.20 2.15 4/177 15774
/proc/meminfo: memFree=29991956/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=343928 CPUtime=342.21 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 56492 0 0 0 34196 25 0 0 20 0 1 0 24539873 352182272 78532 33554432000 4194304 5796924 140735153555152 140735153552616 4591871 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 85982 78532 179 392 0 85581 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 343928

[startup+402.3 s]
/proc/loadavg: 2.15 2.19 2.15 3/177 15775
/proc/meminfo: memFree=29970656/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=354912 CPUtime=402.2 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 60472 0 0 0 40190 30 0 0 20 0 1 0 24539873 363429888 83491 33554432000 4194304 5796924 140735153555152 140735153552200 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 88728 83491 179 392 0 88327 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 354912

[startup+462.3 s]
/proc/loadavg: 2.22 2.20 2.15 3/177 15776
/proc/meminfo: memFree=29959772/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=389424 CPUtime=462.18 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 64379 0 0 0 46184 34 0 0 20 0 1 0 24539873 398770176 85728 33554432000 4194304 5796924 140735153555152 140735153552264 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 97356 85728 179 392 0 96955 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 389424

[startup+522.3 s]
/proc/loadavg: 2.13 2.17 2.15 3/178 15780
/proc/meminfo: memFree=29945336/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=368032 CPUtime=522.17 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 67419 0 0 0 52178 39 0 0 20 0 1 0 24539873 376864768 86632 33554432000 4194304 5796924 140735153555152 140735153552616 4606712 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 92008 86632 179 392 0 91607 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 368032

[startup+582.3 s]
/proc/loadavg: 2.09 2.15 2.14 3/176 15781
/proc/meminfo: memFree=29932884/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=398984 CPUtime=582.16 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 69211 0 0 0 58174 42 0 0 20 0 1 0 24539873 408559616 89864 33554432000 4194304 5796924 140735153555152 140735153552264 4593394 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 99746 89864 179 392 0 99345 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 398984


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


[startup+882.307 s]
/proc/loadavg: 2.13 2.15 2.14 3/177 15788
/proc/meminfo: memFree=29901544/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=414132 CPUtime=882.12 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 77651 0 0 0 88156 56 0 0 20 0 1 0 24539873 424071168 94945 33554432000 4194304 5796924 140735153555152 140735153552616 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 103533 94945 179 392 0 103132 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 414132

[startup+942.3 s]
/proc/loadavg: 2.17 2.15 2.14 3/177 15790
/proc/meminfo: memFree=29881816/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=419832 CPUtime=942.11 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 79105 0 0 0 94152 59 0 0 20 0 1 0 24539873 429907968 95595 33554432000 4194304 5796924 140735153555152 140735153552616 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 104958 95595 179 392 0 104557 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 419832

[startup+1002.3 s]
/proc/loadavg: 2.15 2.15 2.13 3/177 15791
/proc/meminfo: memFree=29846704/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=471676 CPUtime=1002.1 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 80080 0 0 0 100150 60 0 0 20 0 1 0 24539873 482996224 103708 33554432000 4194304 5796924 140735153555152 140735153552264 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 117919 103708 179 392 0 117518 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 471676

[startup+1062.3 s]
/proc/loadavg: 2.10 2.13 2.13 3/177 15792
/proc/meminfo: memFree=29847760/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=473796 CPUtime=1062.09 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 81463 0 0 0 106146 63 0 0 20 0 1 0 24539873 485167104 102145 33554432000 4194304 5796924 140735153555152 140735153552264 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 118449 102145 179 392 0 118048 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 473796

[startup+1122.3 s]
/proc/loadavg: 2.18 2.15 2.13 3/178 15796
/proc/meminfo: memFree=29852104/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=425784 CPUtime=1122.08 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 82566 0 0 0 112143 65 0 0 20 0 1 0 24539873 436002816 99863 33554432000 4194304 5796924 140735153555152 140735153552616 4591776 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 106446 99863 179 392 0 106045 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 425784

[startup+1182.3 s]
/proc/loadavg: 2.16 2.15 2.13 3/178 15820
/proc/meminfo: memFree=29736712/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=477504 CPUtime=1182.08 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 83268 0 0 0 118141 67 0 0 20 0 1 0 24539873 488964096 106688 33554432000 4194304 5796924 140735153555152 140735153552264 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 119376 106688 179 392 0 118975 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 477504

[startup+1242.3 s]
/proc/loadavg: 2.10 2.13 2.13 3/177 15822
/proc/meminfo: memFree=29745920/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=478868 CPUtime=1242.07 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 84528 0 0 0 124137 70 0 0 20 0 1 0 24539873 490360832 104033 33554432000 4194304 5796924 140735153555152 140735153552264 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 119717 104033 179 392 0 119316 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 478868

[startup+1302.3 s]
/proc/loadavg: 2.03 2.11 2.11 3/177 15823
/proc/meminfo: memFree=29714896/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=481236 CPUtime=1302.06 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 85148 0 0 0 130135 71 0 0 20 0 1 0 24539873 492785664 110785 33554432000 4194304 5796924 140735153555152 140735153552264 4607232 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 120309 110785 179 392 0 119908 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 481236

[startup+1362.3 s]
/proc/loadavg: 2.16 2.14 2.12 3/177 15824
/proc/meminfo: memFree=29724072/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=482120 CPUtime=1362.05 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 86221 0 0 0 136131 74 0 0 20 0 1 0 24539873 493690880 107946 33554432000 4194304 5796924 140735153555152 140735153552264 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 120530 107946 179 392 0 120129 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 482120

[startup+1422.3 s]
/proc/loadavg: 2.12 2.13 2.12 4/177 15870
/proc/meminfo: memFree=30267876/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=483856 CPUtime=1422.05 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 87545 0 0 0 142128 77 0 0 20 0 1 0 24539873 495468544 104337 33554432000 4194304 5796924 140735153555152 140735153552264 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 120964 104337 179 392 0 120563 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 483856

[startup+1482.3 s]
/proc/loadavg: 2.07 2.12 2.11 3/177 15871
/proc/meminfo: memFree=30235360/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=484648 CPUtime=1482.03 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 87763 0 0 0 148126 77 0 0 20 0 1 0 24539873 496279552 110687 33554432000 4194304 5796924 140735153555152 140735153552264 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 121162 110687 179 392 0 120761 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 484648

[startup+1542.31 s]
/proc/loadavg: 2.20 2.14 2.12 3/177 15873
/proc/meminfo: memFree=30204920/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=485748 CPUtime=1542.01 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 88966 0 0 0 154121 80 0 0 20 0 1 0 24539873 497405952 106705 33554432000 4194304 5796924 140735153555152 140735153552792 4606755 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 121437 106705 179 392 0 121036 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 485748

[startup+1602.3 s]
/proc/loadavg: 2.29 2.17 2.12 3/177 15874
/proc/meminfo: memFree=30108324/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=486992 CPUtime=1601.99 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 89261 0 0 0 160119 80 0 0 20 0 1 0 24539873 498679808 113132 33554432000 4194304 5796924 140735153555152 140735153552264 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 121748 113132 179 392 0 121347 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 486992

[startup+1662.3 s]
/proc/loadavg: 2.19 2.17 2.12 3/177 15875
/proc/meminfo: memFree=30122488/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=488544 CPUtime=1661.99 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 90464 0 0 0 166116 83 0 0 20 0 1 0 24539873 500269056 107856 33554432000 4194304 5796924 140735153555152 140735153552792 4607743 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 122136 107856 179 392 0 121735 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 488544

[startup+1722.3 s]
/proc/loadavg: 2.11 2.15 2.12 3/178 15879
/proc/meminfo: memFree=30072936/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=489472 CPUtime=1721.97 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 90735 0 0 0 172114 83 0 0 20 0 1 0 24539873 501219328 114770 33554432000 4194304 5796924 140735153555152 140735153552264 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 122368 114770 179 392 0 121967 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 489472

[startup+1782.3 s]
/proc/loadavg: 2.07 2.13 2.11 3/177 15880
/proc/meminfo: memFree=30065496/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=491260 CPUtime=1781.97 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 91772 0 0 0 178111 86 0 0 20 0 1 0 24539873 503050240 109333 33554432000 4194304 5796924 140735153555152 140735153552136 4583348 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 122815 109333 179 392 0 122414 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 491260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.13 2.11 3/176 15881
/proc/meminfo: memFree=30051996/32872528 swapFree=1103996/1183712
[pid=15767] ppid=15764 vsize=492064 CPUtime=1800.06 cores=1,3,5,7
/proc/15767/stat : 15767 (naps-1.02) R 15764 15767 11857 0 -1 4202496 92001 0 0 0 179920 86 0 0 20 0 1 0 24539873 503873536 112117 33554432000 4194304 5796924 140735153555152 140735153552264 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/15767/statm: 123016 112117 179 392 0 122615 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 492064

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 15767 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.07
CPU user time (s): 1799.21
CPU system time (s): 0.867868
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 620692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.867868
maximum resident set size= 552088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92013
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= 87
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6013 second user time and 6.88495 second system time

The end