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-4105475-1466273646/watcher-4105475-1466273646 -o /tmp/evaluation-result-4105475-1466273646/solver-4105475-1466273646 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466271843-17264 --watchdog 1960 naps-1.02 HOME/instance-4105475-1466273646.opb 

pid=17450
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: 2.10 2.18 2.15 2/175 17453
/proc/meminfo: memFree=29959556/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=6828 CPUtime=0 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 399 0 0 0 0 0 0 0 20 0 1 0 29412920 6991872 273 33554432000 4194304 5796924 140733215881136 140733643141096 4361480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 1707 273 128 392 0 1306 0

[startup+0.100159 s]
/proc/loadavg: 2.10 2.18 2.15 2/175 17453
/proc/meminfo: memFree=29959556/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=6952 CPUtime=0.09 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 456 0 0 0 9 0 0 0 20 0 1 0 29412920 7118848 329 33554432000 4194304 5796924 140733215881136 140733643141096 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 1738 329 129 392 0 1337 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6952

[startup+0.200273 s]
/proc/loadavg: 2.10 2.18 2.15 2/175 17453
/proc/meminfo: memFree=29959556/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=7216 CPUtime=0.19 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 531 0 0 0 19 0 0 0 20 0 1 0 29412920 7389184 402 33554432000 4194304 5796924 140733215881136 140733643141096 5363594 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 1804 402 129 392 0 1403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7216

[startup+0.300266 s]
/proc/loadavg: 2.10 2.18 2.15 2/175 17453
/proc/meminfo: memFree=29959556/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=7376 CPUtime=0.29 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 598 0 0 0 29 0 0 0 20 0 1 0 29412920 7553024 469 33554432000 4194304 5796924 140733215881136 140733643141096 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 1844 469 129 392 0 1443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7376

[startup+0.700306 s]
/proc/loadavg: 2.10 2.18 2.15 2/175 17453
/proc/meminfo: memFree=29959556/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=35784 CPUtime=0.69 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 9073 0 0 0 68 1 0 0 20 0 1 0 29412920 36642816 7959 33554432000 4194304 5796924 140733215881136 140733215878424 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 8946 7959 169 392 0 8545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35784

[startup+1.50019 s]
/proc/loadavg: 2.10 2.18 2.15 3/176 17454
/proc/meminfo: memFree=29925212/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=40136 CPUtime=1.49 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 9410 0 0 0 148 1 0 0 20 0 1 0 29412920 41099264 8800 33554432000 4194304 5796924 140733215881136 140733215878376 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 10034 8800 169 392 0 9633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40136

[startup+3.10025 s]
/proc/loadavg: 2.10 2.18 2.15 3/176 17454
/proc/meminfo: memFree=29924336/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=44532 CPUtime=3.09 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 9818 0 0 0 308 1 0 0 20 0 1 0 29412920 45600768 9695 33554432000 4194304 5796924 140733215881136 140733215878376 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 11133 9695 169 392 0 10732 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44532

[startup+6.30025 s]
/proc/loadavg: 2.17 2.20 2.16 3/176 17454
/proc/meminfo: memFree=29914684/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=40180 CPUtime=6.29 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 10996 0 0 0 628 1 0 0 20 0 1 0 29412920 41144320 9216 33554432000 4194304 5796924 140733215881136 140733215878200 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 10045 9216 169 392 0 9644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40180

[startup+12.7003 s]
/proc/loadavg: 2.16 2.19 2.15 3/176 17454
/proc/meminfo: memFree=29917584/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=52152 CPUtime=12.69 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 11365 0 0 0 1268 1 0 0 20 0 1 0 29412920 53403648 10976 33554432000 4194304 5796924 140733215881136 140733215878248 4594173 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 13038 10976 169 392 0 12637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52152

[startup+25.5003 s]
/proc/loadavg: 2.20 2.20 2.16 4/177 17455
/proc/meminfo: memFree=29890520/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=82320 CPUtime=25.49 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 13284 0 0 0 2547 2 0 0 20 0 1 0 29412920 84295680 17043 33554432000 4194304 5796924 140733215881136 140733215878376 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 20580 17043 169 392 0 20179 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82320

[startup+51.1003 s]
/proc/loadavg: 2.13 2.18 2.15 3/177 17455
/proc/meminfo: memFree=29879404/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=101176 CPUtime=51.08 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 13661 0 0 0 5106 2 0 0 20 0 1 0 29412920 103604224 19721 33554432000 4194304 5796924 140733215881136 140733215878600 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 25294 19721 169 392 0 24893 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101176

[startup+102.3 s]
/proc/loadavg: 2.18 2.18 2.15 3/177 17456
/proc/meminfo: memFree=29858020/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=101176 CPUtime=102.26 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 14510 0 0 0 10223 3 0 0 20 0 1 0 29412920 103604224 24768 33554432000 4194304 5796924 140733215881136 140733215878376 4594144 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 25294 24768 169 392 0 24893 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 101176

[startup+162.3 s]
/proc/loadavg: 2.30 2.21 2.16 3/177 17458
/proc/meminfo: memFree=29824588/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=150496 CPUtime=162.25 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 15686 0 0 0 16220 5 0 0 20 0 1 0 29412920 154107904 33336 33554432000 4194304 5796924 140733215881136 140733215878424 4607241 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 37624 33336 169 392 0 37223 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150496

[startup+222.307 s]
/proc/loadavg: 2.20 2.20 2.16 3/177 17459
/proc/meminfo: memFree=29856296/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=101176 CPUtime=222.24 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 16476 0 0 0 22218 6 0 0 20 0 1 0 29412920 103604224 24768 33554432000 4194304 5796924 140733215881136 140733215878600 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 25294 24768 169 392 0 24893 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 101176

[startup+282.3 s]
/proc/loadavg: 2.25 2.22 2.17 3/177 17460
/proc/meminfo: memFree=29844568/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=114436 CPUtime=282.23 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 18082 0 0 0 28215 8 0 0 20 0 1 0 29412920 117182464 28140 33554432000 4194304 5796924 140733215881136 140733215878376 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 28609 28140 169 392 0 28208 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 114436

[startup+342.3 s]
/proc/loadavg: 2.28 2.24 2.18 4/177 17507
/proc/meminfo: memFree=29847744/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=114436 CPUtime=342.22 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 19046 0 0 0 34212 10 0 0 20 0 1 0 29412920 117182464 28305 33554432000 4194304 5796924 140733215881136 140733215878600 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 28609 28305 169 392 0 28208 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 114436

[startup+402.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/178 17511
/proc/meminfo: memFree=29792896/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=163756 CPUtime=402.22 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 20432 0 0 0 40209 13 0 0 20 0 1 0 29412920 167686144 40457 33554432000 4194304 5796924 140733215881136 140733215878424 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 40939 40457 169 392 0 40538 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 163756

[startup+462.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 17513
/proc/meminfo: memFree=29792128/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=114436 CPUtime=462.2 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 22002 0 0 0 46205 15 0 0 20 0 1 0 29412920 117182464 28305 33554432000 4194304 5796924 140733215881136 140733215878600 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 28609 28305 169 392 0 28208 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 114436

[startup+522.3 s]
/proc/loadavg: 2.35 2.28 2.19 4/177 17514
/proc/meminfo: memFree=29752176/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=163756 CPUtime=522.2 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 23387 0 0 0 52202 18 0 0 20 0 1 0 29412920 167686144 38409 33554432000 4194304 5796924 140733215881136 140733215878424 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 40939 38409 169 392 0 40538 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 163756

[startup+582.3 s]
/proc/loadavg: 2.27 2.27 2.19 3/177 17515
/proc/meminfo: memFree=29701300/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=163756 CPUtime=582.19 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 24380 0 0 0 58200 19 0 0 20 0 1 0 29412920 167686144 40457 33554432000 4194304 5796924 140733215881136 140733215878424 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 40939 40457 169 392 0 40538 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 163756


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


[startup+882.307 s]
/proc/loadavg: 2.28 2.26 2.19 4/177 17521
/proc/meminfo: memFree=29756872/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=114976 CPUtime=882.15 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 30085 0 0 0 88186 29 0 0 20 0 1 0 29412920 117735424 28440 33554432000 4194304 5796924 140733215881136 140733215878600 4606559 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 28744 28440 169 392 0 28343 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 114976

[startup+942.3 s]
/proc/loadavg: 2.30 2.27 2.19 3/177 17522
/proc/meminfo: memFree=29663108/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=195116 CPUtime=942.13 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 31081 0 0 0 94183 30 0 0 20 0 1 0 29412920 199798784 46803 33554432000 4194304 5796924 140733215881136 140733215878776 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 48779 46803 169 392 0 48378 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 195116

[startup+1002.3 s]
/proc/loadavg: 2.31 2.28 2.20 3/178 17526
/proc/meminfo: memFree=29704200/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=164296 CPUtime=1002.13 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 31479 0 0 0 100181 32 0 0 20 0 1 0 29412920 168239104 39568 33554432000 4194304 5796924 140733215881136 140733215878424 4606718 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 41074 39568 169 392 0 40673 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 164296

[startup+1062.3 s]
/proc/loadavg: 2.43 2.32 2.21 4/177 17528
/proc/meminfo: memFree=29681432/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=164296 CPUtime=1062.11 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 31879 0 0 0 106179 32 0 0 20 0 1 0 29412920 168239104 40080 33554432000 4194304 5796924 140733215881136 140733215878424 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 41074 40080 169 392 0 40673 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 164296

[startup+1122.3 s]
/proc/loadavg: 2.34 2.32 2.22 3/177 17529
/proc/meminfo: memFree=29695664/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=164296 CPUtime=1122.11 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 32887 0 0 0 112177 34 0 0 20 0 1 0 29412920 168239104 40606 33554432000 4194304 5796924 140733215881136 140733215878424 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 41074 40606 169 392 0 40673 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 164296

[startup+1182.3 s]
/proc/loadavg: 2.33 2.32 2.22 3/177 17530
/proc/meminfo: memFree=29673092/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=195116 CPUtime=1182.1 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 34361 0 0 0 118173 37 0 0 20 0 1 0 29412920 199798784 41080 33554432000 4194304 5796924 140733215881136 140733215878776 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 48779 41080 169 392 0 48378 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 195116

[startup+1242.3 s]
/proc/loadavg: 2.28 2.30 2.22 4/177 17531
/proc/meminfo: memFree=29692608/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=164296 CPUtime=1242.09 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 34910 0 0 0 124171 38 0 0 20 0 1 0 29412920 168239104 40647 33554432000 4194304 5796924 140733215881136 140733215878424 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 41074 40647 169 392 0 40673 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 164296

[startup+1302.3 s]
/proc/loadavg: 2.38 2.32 2.23 3/177 17532
/proc/meminfo: memFree=29661108/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=196228 CPUtime=1302.06 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 36737 0 0 0 130166 40 0 0 20 0 1 0 29412920 200937472 44009 33554432000 4194304 5796924 140733215881136 140733215878776 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 49057 44009 169 392 0 48656 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 196228

[startup+1362.3 s]
/proc/loadavg: 2.32 2.32 2.23 3/177 17534
/proc/meminfo: memFree=29691388/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=166104 CPUtime=1362.06 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 37627 0 0 0 136163 43 0 0 20 0 1 0 29412920 170090496 41044 33554432000 4194304 5796924 140733215881136 140733215878424 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 41526 41044 169 392 0 41125 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 166104

[startup+1422.3 s]
/proc/loadavg: 2.31 2.32 2.24 4/177 17535
/proc/meminfo: memFree=29715500/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=119176 CPUtime=1422.05 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 38580 0 0 0 142160 45 0 0 20 0 1 0 29412920 122036224 28934 33554432000 4194304 5796924 140733215881136 140733215878248 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 29794 28934 169 392 0 29393 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 119176

[startup+1482.3 s]
/proc/loadavg: 2.37 2.33 2.25 3/177 17536
/proc/meminfo: memFree=29675024/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=199316 CPUtime=1482.04 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 40172 0 0 0 148157 47 0 0 20 0 1 0 29412920 204099584 45836 33554432000 4194304 5796924 140733215881136 140733215878776 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 49829 45836 169 392 0 49428 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 199316

[startup+1542.31 s]
/proc/loadavg: 2.22 2.30 2.24 3/177 17537
/proc/meminfo: memFree=29628248/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=229664 CPUtime=1542.04 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 41609 0 0 0 154154 50 0 0 20 0 1 0 29412920 235175936 51344 33554432000 4194304 5796924 140733215881136 140733215878776 4606523 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 57416 51344 169 392 0 57015 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 229664

[startup+1602.3 s]
/proc/loadavg: 2.27 2.29 2.24 4/178 17541
/proc/meminfo: memFree=29631528/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=198844 CPUtime=1602.02 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 42324 0 0 0 160150 52 0 0 20 0 1 0 29412920 203616256 45645 33554432000 4194304 5796924 140733215881136 140733215878424 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 49711 45645 169 392 0 49310 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 198844

[startup+1662.3 s]
/proc/loadavg: 2.39 2.31 2.25 3/177 17543
/proc/meminfo: memFree=29617916/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=229664 CPUtime=1662.01 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 42928 0 0 0 166147 54 0 0 20 0 1 0 29412920 235175936 55440 33554432000 4194304 5796924 140733215881136 140733215878776 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 57416 55440 169 392 0 57015 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 229664

[startup+1722.3 s]
/proc/loadavg: 2.23 2.28 2.24 3/177 17544
/proc/meminfo: memFree=29640984/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=198844 CPUtime=1722 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 43637 0 0 0 172145 55 0 0 20 0 1 0 29412920 203616256 45645 33554432000 4194304 5796924 140733215881136 140733215878424 4606721 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 49711 45645 169 392 0 49310 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 198844

[startup+1782.3 s]
/proc/loadavg: 2.27 2.29 2.24 4/177 17545
/proc/meminfo: memFree=29631908/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=229664 CPUtime=1782 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 44246 0 0 0 178143 57 0 0 20 0 1 0 29412920 235175936 54928 33554432000 4194304 5796924 140733215881136 140733215878776 4606500 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 57416 54928 169 392 0 57015 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 229664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.28 2.29 2.25 3/177 17545
/proc/meminfo: memFree=29617324/32872528 swapFree=1590032/1720848
[pid=17453] ppid=17450 vsize=279752 CPUtime=1800.09 cores=0,2,4,6
/proc/17453/stat : 17453 (naps-1.02) R 17450 17453 11947 0 -1 4202496 44417 0 0 0 179952 57 0 0 20 0 1 0 29412920 286466048 57143 33554432000 4194304 5796924 140733215881136 140733215878776 4607261 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/17453/statm: 69938 57143 169 392 0 69537 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 279752

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 17453 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.11
CPU user time (s): 1799.52
CPU system time (s): 0.580911
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 279752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.580911
maximum resident set size= 247540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44429
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= 36
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79527 second user time and 6.66499 second system time

The end