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-4082397-1465270556/watcher-4082397-1465270556 -o /tmp/evaluation-result-4082397-1465270556/solver-4082397-1465270556 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465257392-11072 --watchdog 1960 naps-1.02 HOME/instance-4082397-1465270556.opb 

pid=14073
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.11 2.16 2.17 2/176 14076
/proc/meminfo: memFree=29455536/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=7296 CPUtime=0 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108988507 7471104 383 33554432000 4194304 5796924 140736802041856 140735455920776 4839552 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 1824 383 117 392 0 1423 0

[startup+0.100109 s]
/proc/loadavg: 2.11 2.16 2.17 2/176 14076
/proc/meminfo: memFree=29455536/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=8252 CPUtime=0.09 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 822 0 0 0 9 0 0 0 20 0 1 0 108988507 8450048 663 33554432000 4194304 5796924 140736802041856 140735455920776 4313352 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 2063 663 144 392 0 1662 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8252

[startup+0.200276 s]
/proc/loadavg: 2.11 2.16 2.17 2/176 14076
/proc/meminfo: memFree=29455536/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=8656 CPUtime=0.19 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 913 0 0 0 19 0 0 0 20 0 1 0 108988507 8863744 754 33554432000 4194304 5796924 140736802041856 140735455920776 4261421 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 2164 754 145 392 0 1763 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8656

[startup+0.30026 s]
/proc/loadavg: 2.11 2.16 2.17 2/176 14076
/proc/meminfo: memFree=29455536/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=9048 CPUtime=0.29 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 1004 0 0 0 29 0 0 0 20 0 1 0 108988507 9265152 845 33554432000 4194304 5796924 140736802041856 140735455920776 5087776 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 2262 845 145 392 0 1861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9048

[startup+0.700212 s]
/proc/loadavg: 2.11 2.16 2.17 2/176 14076
/proc/meminfo: memFree=29455536/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=10916 CPUtime=0.69 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 1471 0 0 0 69 0 0 0 20 0 1 0 108988507 11177984 1279 33554432000 4194304 5796924 140736802041856 140736802035928 5092545 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 2729 1279 145 392 0 2328 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10916

[startup+1.5002 s]
/proc/loadavg: 2.11 2.16 2.17 3/177 14077
/proc/meminfo: memFree=29450032/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=13580 CPUtime=1.49 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 2229 0 0 0 149 0 0 0 20 0 1 0 108988507 13905920 1930 33554432000 4194304 5796924 140736802041856 140736802035928 5096588 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 3395 1930 145 392 0 2994 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13580

[startup+3.10021 s]
/proc/loadavg: 2.11 2.16 2.17 3/177 14077
/proc/meminfo: memFree=29445692/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=16548 CPUtime=3.09 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 3098 0 0 0 309 0 0 0 20 0 1 0 108988507 16945152 2716 33554432000 4194304 5796924 140736802041856 140736802035672 4809921 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 4137 2716 145 392 0 3736 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16548

[startup+6.30024 s]
/proc/loadavg: 2.10 2.16 2.17 3/177 14077
/proc/meminfo: memFree=29439816/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=19172 CPUtime=6.29 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 3779 0 0 0 629 0 0 0 20 0 1 0 108988507 19632128 3268 33554432000 4194304 5796924 140736802041856 140736802036056 4840439 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 4793 3268 145 392 0 4392 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19172

[startup+12.7003 s]
/proc/loadavg: 2.09 2.15 2.17 3/177 14077
/proc/meminfo: memFree=29415328/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=37940 CPUtime=12.69 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 9590 0 0 0 1268 1 0 0 20 0 1 0 108988507 38850560 7914 33554432000 4194304 5796924 140736802041856 140736802035656 4865579 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 9485 7914 145 392 0 9084 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37940

[startup+25.5003 s]
/proc/loadavg: 2.15 2.16 2.17 3/177 14077
/proc/meminfo: memFree=29413428/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=40184 CPUtime=25.48 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 10389 0 0 0 2547 1 0 0 20 0 1 0 108988507 41148416 8495 33554432000 4194304 5796924 140736802041856 140736802035576 5092450 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 10046 8495 145 392 0 9645 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40184

[startup+51.1003 s]
/proc/loadavg: 2.10 2.15 2.16 3/177 14077
/proc/meminfo: memFree=29394756/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=44028 CPUtime=51.08 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 11000 0 0 0 5107 1 0 0 20 0 1 0 108988507 45084672 9469 33554432000 4194304 5796924 140736802041856 140736802035656 4199797 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 11007 9469 145 392 0 10606 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44028

[startup+102.3 s]
/proc/loadavg: 2.23 2.18 2.18 3/177 14078
/proc/meminfo: memFree=29184812/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=59644 CPUtime=102.28 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 13886 0 0 0 10226 2 0 0 20 0 1 0 108988507 61075456 13081 33554432000 4194304 5796924 140736802041856 140736802035576 5096680 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 14911 13081 145 392 0 14510 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 59644

[startup+162.3 s]
/proc/loadavg: 2.32 2.21 2.19 3/176 14079
/proc/meminfo: memFree=28864016/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=64192 CPUtime=162.26 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 15172 0 0 0 16224 2 0 0 20 0 1 0 108988507 65732608 14367 33554432000 4194304 5796924 140736802041856 140736802035576 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 16048 14367 145 392 0 15647 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 64192

[startup+222.307 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 14081
/proc/meminfo: memFree=28509092/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=445124 CPUtime=222.26 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59069 0 0 0 22213 13 0 0 20 0 1 0 108988507 455806976 98921 33554432000 4194304 5796924 140736802041856 140736802036424 5077846 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111281 98921 162 392 0 110880 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 445124

[startup+282.3 s]
/proc/loadavg: 2.15 2.18 2.18 4/178 14085
/proc/meminfo: memFree=28492468/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=445732 CPUtime=282.25 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59179 0 0 0 28211 14 0 0 20 0 1 0 108988507 456429568 99031 33554432000 4194304 5796924 140736802041856 140736802036344 5092487 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111433 99031 162 392 0 111032 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 445732

[startup+342.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 14086
/proc/meminfo: memFree=23130820/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=445732 CPUtime=342.24 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59215 0 0 0 34210 14 0 0 20 0 1 0 108988507 456429568 99067 33554432000 4194304 5796924 140736802041856 140736802036344 4865570 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111433 99067 162 392 0 111032 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 445732

[startup+402.3 s]
/proc/loadavg: 2.23 2.18 2.18 3/177 14087
/proc/meminfo: memFree=21369320/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=445996 CPUtime=402.23 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59263 0 0 0 40209 14 0 0 20 0 1 0 108988507 456699904 99115 33554432000 4194304 5796924 140736802041856 140736802036440 5092526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111499 99115 162 392 0 111098 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 445996

[startup+462.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/177 14088
/proc/meminfo: memFree=21153872/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=446132 CPUtime=462.22 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59296 0 0 0 46208 14 0 0 20 0 1 0 108988507 456839168 99148 33554432000 4194304 5796924 140736802041856 140736802036440 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111533 99148 162 392 0 111132 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 446132

[startup+522.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 14090
/proc/meminfo: memFree=19933628/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=446884 CPUtime=522.21 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59472 0 0 0 52207 14 0 0 20 0 1 0 108988507 457609216 99324 33554432000 4194304 5796924 140736802041856 140736802036376 4809248 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111721 99324 162 392 0 111320 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 446884

[startup+582.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 14137
/proc/meminfo: memFree=29825572/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=446884 CPUtime=582.2 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59473 0 0 0 58206 14 0 0 20 0 1 0 108988507 457609216 99325 33554432000 4194304 5796924 140736802041856 140736802036376 4809129 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111721 99325 162 392 0 111320 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 446884


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


[startup+882.307 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 14146
/proc/meminfo: memFree=29150560/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=446884 CPUtime=882.14 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59517 0 0 0 88200 14 0 0 20 0 1 0 108988507 457609216 100098 33554432000 4194304 5796924 140736802041856 140736802036376 4839627 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111721 100098 162 392 0 111320 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 446884

[startup+942.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 14147
/proc/meminfo: memFree=29068672/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=446884 CPUtime=942.12 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59517 0 0 0 94198 14 0 0 20 0 1 0 108988507 457609216 100772 33554432000 4194304 5796924 140736802041856 140736802036376 5087747 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111721 100772 162 392 0 111320 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 446884

[startup+1002.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 14148
/proc/meminfo: memFree=29091776/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=446884 CPUtime=1002.11 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59517 0 0 0 100197 14 0 0 20 0 1 0 108988507 457609216 100772 33554432000 4194304 5796924 140736802041856 140736802036376 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111721 100772 162 392 0 111320 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 446884

[startup+1062.3 s]
/proc/loadavg: 2.32 2.23 2.19 4/177 14149
/proc/meminfo: memFree=29122004/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=446884 CPUtime=1062.1 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 59517 0 0 0 106196 14 0 0 20 0 1 0 108988507 457609216 100772 33554432000 4194304 5796924 140736802041856 140736802036376 5092432 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 111721 100772 162 392 0 111320 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 446884

[startup+1122.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/177 14151
/proc/meminfo: memFree=28400708/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1272404 CPUtime=1122.09 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 142297 0 0 0 112173 36 0 0 20 0 1 0 108988507 1302941696 276288 33554432000 4194304 5796924 140736802041856 140736802039064 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 318101 276288 168 392 0 317700 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1272404

[startup+1182.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 14152
/proc/meminfo: memFree=28398880/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1209584 CPUtime=1182.09 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 146394 0 0 0 118169 40 0 0 20 0 1 0 108988507 1238614016 268961 33554432000 4194304 5796924 140736802041856 140736802039496 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 302396 268961 180 392 0 301995 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1209584

[startup+1242.3 s]
/proc/loadavg: 2.10 2.19 2.17 4/177 14153
/proc/meminfo: memFree=28418804/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1209584 CPUtime=1242.08 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 146409 0 0 0 124168 40 0 0 20 0 1 0 108988507 1238614016 271531 33554432000 4194304 5796924 140736802041856 140736802039496 4592304 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 302396 271531 180 392 0 301995 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1209584

[startup+1302.3 s]
/proc/loadavg: 2.07 2.16 2.17 4/177 14154
/proc/meminfo: memFree=28386016/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1302.07 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 146496 0 0 0 130167 40 0 0 20 0 1 0 108988507 1242902528 274173 33554432000 4194304 5796924 140736802041856 140736802038904 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 274173 180 392 0 303042 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1213772

[startup+1362.3 s]
/proc/loadavg: 2.17 2.18 2.17 4/177 14155
/proc/meminfo: memFree=28443108/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1362.06 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 147283 0 0 0 136163 43 0 0 20 0 1 0 108988507 1242902528 268019 33554432000 4194304 5796924 140736802041856 140736802039496 4593507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 268019 180 392 0 303042 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1213772

[startup+1422.3 s]
/proc/loadavg: 2.10 2.16 2.16 4/177 14157
/proc/meminfo: memFree=28406020/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1422.05 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 147414 0 0 0 142162 43 0 0 20 0 1 0 108988507 1242902528 270194 33554432000 4194304 5796924 140736802041856 140736802039496 4595464 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 270194 180 392 0 303042 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1213772

[startup+1482.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/178 14161
/proc/meminfo: memFree=28376464/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1482.04 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 147479 0 0 0 148161 43 0 0 20 0 1 0 108988507 1242902528 271792 33554432000 4194304 5796924 140736802041856 140736802039496 4592040 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 271792 180 392 0 303042 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1213772

[startup+1542.31 s]
/proc/loadavg: 2.19 2.17 2.17 3/178 14185
/proc/meminfo: memFree=28394544/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1542.04 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 147561 0 0 0 154160 44 0 0 20 0 1 0 108988507 1242902528 273918 33554432000 4194304 5796924 140736802041856 140736802039496 4591877 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 273918 180 392 0 303042 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1213772

[startup+1602.3 s]
/proc/loadavg: 2.23 2.19 2.18 4/176 14186
/proc/meminfo: memFree=28370948/32872528 swapFree=16208/1518548
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1602.02 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 147649 0 0 0 160158 44 0 0 20 0 1 0 108988507 1242902528 275539 33554432000 4194304 5796924 140736802041856 140736802039496 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 275539 180 392 0 303042 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1213772

[startup+1662.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 14188
/proc/meminfo: memFree=28385676/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1662.01 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 147723 0 0 0 166157 44 0 0 20 0 1 0 108988507 1242902528 276635 33554432000 4194304 5796924 140736802041856 140736802039496 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 276635 180 392 0 303042 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1213772

[startup+1722.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 14190
/proc/meminfo: memFree=28364488/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1722 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 147729 0 0 0 172156 44 0 0 20 0 1 0 108988507 1242902528 278174 33554432000 4194304 5796924 140736802041856 140736802039496 4592593 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 278174 180 392 0 303042 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1213772

[startup+1782.3 s]
/proc/loadavg: 2.26 2.20 2.18 4/177 14191
/proc/meminfo: memFree=28387868/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1781.99 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 148538 0 0 0 178153 46 0 0 20 0 1 0 108988507 1242902528 268958 33554432000 4194304 5796924 140736802041856 140736802039496 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 268958 180 392 0 303042 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1213772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 14191
/proc/meminfo: memFree=28379304/32872528 swapFree=16204/1518544
[pid=14076] ppid=14073 vsize=1213772 CPUtime=1800.09 cores=1,3,5,7
/proc/14076/stat : 14076 (naps-1.02) R 14073 14076 11055 0 -1 4202496 148539 0 0 0 179963 46 0 0 20 0 1 0 108988507 1242902528 269470 33554432000 4194304 5796924 140736802041856 140736802039496 4606834 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14076/statm: 303443 269470 180 392 0 303042 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1213772

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

Child status: 10
Real time (s): 1800.44
CPU time (s): 1800.14
CPU user time (s): 1799.63
CPU system time (s): 0.504923
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1354920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.504923
maximum resident set size= 1194024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148551
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= 42
involuntary context switches= 2007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50331 second user time and 6.601 second system time

The end