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

pid=8448
running on 4 cores: 0,2,4,6

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: 1.92 1.99 1.99 3/176 8451
/proc/meminfo: memFree=31025480/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=6956 CPUtime=0 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 430 0 0 0 0 0 0 0 20 0 1 0 105974225 7122944 305 33554432000 4194304 5796924 140735621124224 140736262109128 4404174 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 1739 305 128 392 0 1338 0

[startup+0.100116 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8451
/proc/meminfo: memFree=31025480/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=7956 CPUtime=0.09 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 728 0 0 0 9 0 0 0 20 0 1 0 105974225 8146944 603 33554432000 4194304 5796924 140735621124224 140736262109128 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 1989 603 144 392 0 1588 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7956

[startup+0.200271 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8451
/proc/meminfo: memFree=31025480/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=7956 CPUtime=0.19 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 728 0 0 0 19 0 0 0 20 0 1 0 105974225 8146944 603 33554432000 4194304 5796924 140735621124224 140736262109128 5092487 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 1989 603 144 392 0 1588 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7956

[startup+0.300258 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8451
/proc/meminfo: memFree=31025480/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=7956 CPUtime=0.29 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 728 0 0 0 29 0 0 0 20 0 1 0 105974225 8146944 603 33554432000 4194304 5796924 140735621124224 140736262109128 5087650 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 1989 603 144 392 0 1588 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7956

[startup+0.70023 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8451
/proc/meminfo: memFree=31025480/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=8144 CPUtime=0.69 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 743 0 0 0 69 0 0 0 20 0 1 0 105974225 8339456 618 33554432000 4194304 5796924 140735621124224 140735621120440 5092487 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 2036 618 144 392 0 1635 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8144

[startup+1.50023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 8452
/proc/meminfo: memFree=31022644/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=8764 CPUtime=1.49 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 905 0 0 0 149 0 0 0 20 0 1 0 105974225 8974336 780 33554432000 4194304 5796924 140735621124224 140735621120440 5096658 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 2191 780 144 392 0 1790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8764

[startup+3.10023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 8452
/proc/meminfo: memFree=31021776/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=9000 CPUtime=3.09 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 1022 0 0 0 309 0 0 0 20 0 1 0 105974225 9216000 855 33554432000 4194304 5796924 140735621124224 140735621120440 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 2250 855 144 392 0 1849 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9000

[startup+6.30023 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8452
/proc/meminfo: memFree=31020840/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=24260 CPUtime=6.28 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 5904 0 0 0 628 0 0 0 20 0 1 0 105974225 24842240 5552 33554432000 4194304 5796924 140735621124224 140735621120440 4810576 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 6065 5552 164 392 0 5664 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24260

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8452
/proc/meminfo: memFree=31002564/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=24416 CPUtime=12.68 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 5948 0 0 0 1268 0 0 0 20 0 1 0 105974225 25001984 5596 33554432000 4194304 5796924 140735621124224 140735621118792 5092423 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 6104 5596 164 392 0 5703 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24416

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8452
/proc/meminfo: memFree=31002556/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=24416 CPUtime=25.48 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 5963 0 0 0 2548 0 0 0 20 0 1 0 105974225 25001984 5611 33554432000 4194304 5796924 140735621124224 140735621118792 4295944 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 6104 5611 164 392 0 5703 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24416

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8453
/proc/meminfo: memFree=31001752/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=24552 CPUtime=51.08 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 5984 0 0 0 5108 0 0 0 20 0 1 0 105974225 25141248 5632 33554432000 4194304 5796924 140735621124224 140735621118808 5087488 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 6138 5632 164 392 0 5737 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24552

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8454
/proc/meminfo: memFree=30797136/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=249380 CPUtime=102.28 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 45922 0 0 0 10219 9 0 0 20 0 1 0 105974225 255365120 56469 33554432000 4194304 5796924 140735621124224 140735621121288 4607277 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 62345 56469 179 392 0 61944 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 249380

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8455
/proc/meminfo: memFree=30669448/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=366160 CPUtime=162.25 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 52639 0 0 0 16213 12 0 0 20 0 1 0 105974225 374947840 87051 33554432000 4194304 5796924 140735621124224 140735621121288 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 91540 87051 181 392 0 91139 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 366160

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8456
/proc/meminfo: memFree=30664180/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=366160 CPUtime=222.24 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 52982 0 0 0 22211 13 0 0 20 0 1 0 105974225 374947840 88148 33554432000 4194304 5796924 140735621124224 140735621121288 4606523 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 91540 88148 181 392 0 91139 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 366160

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8457
/proc/meminfo: memFree=30692872/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=335812 CPUtime=282.21 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 53826 0 0 0 28207 14 0 0 20 0 1 0 105974225 343871488 80787 33554432000 4194304 5796924 140735621124224 140735621121688 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 83953 80787 181 392 0 83552 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 335812

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=30653352/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=342.21 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 53962 0 0 0 34205 16 0 0 20 0 1 0 105974225 394375168 90352 33554432000 4194304 5796924 140735621124224 140735621121512 4606847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 90352 181 392 0 95882 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 385132

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8463
/proc/meminfo: memFree=30654292/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=402.2 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 54092 0 0 0 40203 17 0 0 20 0 1 0 105974225 394375168 89328 33554432000 4194304 5796924 140735621124224 140735621121512 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 89328 181 392 0 95882 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 385132

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8464
/proc/meminfo: memFree=30685704/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=335812 CPUtime=462.19 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 54161 0 0 0 46201 18 0 0 20 0 1 0 105974225 343871488 81088 33554432000 4194304 5796924 140735621124224 140735621121688 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 83953 81088 181 392 0 83552 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 335812

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8465
/proc/meminfo: memFree=30651448/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=522.18 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 54292 0 0 0 52199 19 0 0 20 0 1 0 105974225 394375168 89328 33554432000 4194304 5796924 140735621124224 140735621121512 4606596 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 89328 181 392 0 95882 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 385132

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8466
/proc/meminfo: memFree=30644312/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=582.17 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 54362 0 0 0 58197 20 0 0 20 0 1 0 105974225 394375168 90352 33554432000 4194304 5796924 140735621124224 140735621121512 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 90352 181 392 0 95882 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 385132


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8472
/proc/meminfo: memFree=30630300/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=882.13 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 54711 0 0 0 88190 23 0 0 20 0 1 0 105974225 394375168 91376 33554432000 4194304 5796924 140735621124224 140735621121512 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 91376 181 392 0 95882 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 385132

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8473
/proc/meminfo: memFree=30629560/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=942.12 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 54781 0 0 0 94188 24 0 0 20 0 1 0 105974225 394375168 90864 33554432000 4194304 5796924 140735621124224 140735621121512 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 90864 181 392 0 95882 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 385132

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8478
/proc/meminfo: memFree=30631904/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1002.1 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 54933 0 0 0 100186 24 0 0 20 0 1 0 105974225 394375168 89840 33554432000 4194304 5796924 140735621124224 140735621121512 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 89840 181 392 0 95882 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 385132

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8479
/proc/meminfo: memFree=30664992/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=335812 CPUtime=1062.1 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 55256 0 0 0 106185 25 0 0 20 0 1 0 105974225 343871488 81088 33554432000 4194304 5796924 140735621124224 140735621121688 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 83953 81088 181 392 0 83552 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 335812

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8480
/proc/meminfo: memFree=30614356/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1122.09 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 55327 0 0 0 112183 26 0 0 20 0 1 0 105974225 394375168 92912 33554432000 4194304 5796924 140735621124224 140735621121512 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 92912 181 392 0 95882 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 385132

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8481
/proc/meminfo: memFree=30616860/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1182.08 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 55984 0 0 0 118181 27 0 0 20 0 1 0 105974225 394375168 91888 33554432000 4194304 5796924 140735621124224 140735621121512 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 91888 181 392 0 95882 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 385132

[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 8528
/proc/meminfo: memFree=31696576/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1242.07 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 56645 0 0 0 124178 29 0 0 20 0 1 0 105974225 394375168 90352 33554432000 4194304 5796924 140735621124224 140735621121512 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 90352 181 392 0 95882 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 385132

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8530
/proc/meminfo: memFree=31635124/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=415952 CPUtime=1302.06 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 57243 0 0 0 130177 29 0 0 20 0 1 0 105974225 425934848 94003 33554432000 4194304 5796924 140735621124224 140735621121864 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 103988 94003 181 392 0 103587 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 415952

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8531
/proc/meminfo: memFree=31634840/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1362.05 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 57313 0 0 0 136175 30 0 0 20 0 1 0 105974225 394375168 91888 33554432000 4194304 5796924 140735621124224 140735621121512 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 91888 181 392 0 95882 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 385132

[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8532
/proc/meminfo: memFree=31598256/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1422.04 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 57977 0 0 0 142172 32 0 0 20 0 1 0 105974225 394375168 89840 33554432000 4194304 5796924 140735621124224 140735621121512 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 89840 181 392 0 95882 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 385132

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8533
/proc/meminfo: memFree=31582340/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1482.04 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 58381 0 0 0 148171 33 0 0 20 0 1 0 105974225 394375168 93297 33554432000 4194304 5796924 140735621124224 140735621121512 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 93297 181 392 0 95882 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 385132

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8534
/proc/meminfo: memFree=31589060/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1542.04 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 58651 0 0 0 154169 35 0 0 20 0 1 0 105974225 394375168 91376 33554432000 4194304 5796924 140735621124224 140735621121512 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 91376 181 392 0 95882 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 385132

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8539
/proc/meminfo: memFree=31572740/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=415952 CPUtime=1602.02 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 59245 0 0 0 160166 36 0 0 20 0 1 0 105974225 425934848 95027 33554432000 4194304 5796924 140735621124224 140735621121864 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 103988 95027 181 392 0 103587 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 415952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8540
/proc/meminfo: memFree=31583436/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1662.01 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 59315 0 0 0 166164 37 0 0 20 0 1 0 105974225 394375168 92400 33554432000 4194304 5796924 140735621124224 140735621121512 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 92400 181 392 0 95882 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 385132

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8541
/proc/meminfo: memFree=31595496/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1721.99 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 59971 0 0 0 172161 38 0 0 20 0 1 0 105974225 394375168 89328 33554432000 4194304 5796924 140735621124224 140735621121512 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 89328 181 392 0 95882 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 385132

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8542
/proc/meminfo: memFree=31542688/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=385132 CPUtime=1781.99 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 60198 0 0 0 178160 39 0 0 20 0 1 0 105974225 394375168 93125 33554432000 4194304 5796924 140735621124224 140735621121512 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 96283 93125 181 392 0 95882 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 385132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8542
/proc/meminfo: memFree=31574780/32872528 swapFree=9100/9100
[pid=8451] ppid=8448 vsize=415952 CPUtime=1800.08 cores=0,2,4,6
/proc/8451/stat : 8451 (naps-1.02) R 8448 8451 7022 0 -1 4202496 60574 0 0 0 179969 39 0 0 20 0 1 0 105974225 425934848 94515 33554432000 4194304 5796924 140735621124224 140735621121864 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8451/statm: 103988 94515 181 392 0 103587 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 415952

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 8451 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.1
CPU user time (s): 1799.7
CPU system time (s): 0.401938
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 415952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.401938
maximum resident set size= 384396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60586
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= 62
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.28735 second user time and 7.09792 second system time

The end