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-4094708-1466078016/watcher-4094708-1466078016 -o /tmp/evaluation-result-4094708-1466078016/solver-4094708-1466078016 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466074855-19419 --watchdog 1960 naps-1.02 HOME/instance-4094708-1466078016.wbo 

pid=20321
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.33 2.19 2.13 3/176 20324
/proc/meminfo: memFree=30459276/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=6684 CPUtime=0 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 9850792 6844416 242 33554432000 4194304 5796924 140735239138592 140733635087608 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 1671 242 130 392 0 1270 0

[startup+0.100161 s]
/proc/loadavg: 2.33 2.19 2.13 3/176 20324
/proc/meminfo: memFree=30459276/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=10512 CPUtime=0.09 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 1474 0 0 0 9 0 0 0 20 0 1 0 9850792 10764288 1781 33554432000 4194304 5796924 140735239138592 140733635087608 4636540 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 2628 1782 151 392 0 2227 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10512

[startup+0.200373 s]
/proc/loadavg: 2.33 2.19 2.13 3/176 20324
/proc/meminfo: memFree=30459276/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=16876 CPUtime=0.19 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 4360 0 0 0 19 0 0 0 20 0 1 0 9850792 17281024 3733 33554432000 4194304 5796924 140735239138592 140733635087608 4650608 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 4219 3733 169 392 0 3818 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16876

[startup+0.300368 s]
/proc/loadavg: 2.33 2.19 2.13 3/176 20324
/proc/meminfo: memFree=30459276/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=17888 CPUtime=0.29 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 4698 0 0 0 29 0 0 0 20 0 1 0 9850792 18317312 4037 33554432000 4194304 5796924 140735239138592 140733635087608 4592097 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 4472 4037 171 392 0 4071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17888

[startup+0.700301 s]
/proc/loadavg: 2.33 2.19 2.13 3/176 20324
/proc/meminfo: memFree=30459276/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=29364 CPUtime=0.69 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 5397 0 0 0 69 0 0 0 20 0 1 0 9850792 30068736 6780 33554432000 4194304 5796924 140735239138592 140733635087608 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 7341 6780 171 392 0 6940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29364

[startup+1.50028 s]
/proc/loadavg: 2.33 2.19 2.13 3/177 20325
/proc/meminfo: memFree=30433904/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=29360 CPUtime=1.49 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 5803 0 0 0 149 0 0 0 20 0 1 0 9850792 30064640 6562 33554432000 4194304 5796924 140735239138592 140735239135880 4592304 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 7340 6562 171 392 0 6939 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29360

[startup+3.10031 s]
/proc/loadavg: 2.30 2.19 2.12 3/177 20325
/proc/meminfo: memFree=30415492/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=29360 CPUtime=3.09 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 6676 0 0 0 308 1 0 0 20 0 1 0 9850792 30064640 6921 33554432000 4194304 5796924 140735239138592 140735239135880 4568981 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 7340 6921 171 392 0 6939 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29360

[startup+6.30033 s]
/proc/loadavg: 2.30 2.19 2.12 3/177 20325
/proc/meminfo: memFree=30392844/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=78456 CPUtime=6.29 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 7140 0 0 0 628 1 0 0 20 0 1 0 9850792 80338944 16072 33554432000 4194304 5796924 140735239138592 140735239135880 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 19614 16072 171 392 0 19213 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78456

[startup+12.7003 s]
/proc/loadavg: 2.42 2.21 2.13 4/177 20325
/proc/meminfo: memFree=30399288/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=65200 CPUtime=12.69 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 8433 0 0 0 1266 3 0 0 20 0 1 0 9850792 66764800 12109 33554432000 4194304 5796924 140735239138592 140735239136984 4583129 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 16300 12109 182 392 0 15899 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65200

[startup+25.5004 s]
/proc/loadavg: 2.35 2.20 2.13 3/176 20325
/proc/meminfo: memFree=30350484/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=84744 CPUtime=25.49 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 9572 0 0 0 2545 4 0 0 20 0 1 0 9850792 86777856 20400 33554432000 4194304 5796924 140735239138592 140735239135832 4583196 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 21186 20400 182 392 0 20785 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84744

[startup+51.1004 s]
/proc/loadavg: 2.23 2.19 2.13 3/177 20326
/proc/meminfo: memFree=30428924/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=134064 CPUtime=51.08 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 10140 0 0 0 5102 6 0 0 20 0 1 0 9850792 137281536 29961 33554432000 4194304 5796924 140735239138592 140735239135880 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 33516 29961 182 392 0 33115 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134064

[startup+102.3 s]
/proc/loadavg: 2.35 2.23 2.14 3/177 20327
/proc/meminfo: memFree=30363892/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=116376 CPUtime=102.28 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 11224 0 0 0 10217 11 0 0 20 0 1 0 9850792 119169024 28619 33554432000 4194304 5796924 140735239138592 140735239135880 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 29094 28619 182 392 0 28693 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116376

[startup+162.3 s]
/proc/loadavg: 2.37 2.25 2.15 3/177 20373
/proc/meminfo: memFree=30659384/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=165696 CPUtime=162.26 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 11605 0 0 0 16210 16 0 0 20 0 1 0 9850792 169672704 39935 33554432000 4194304 5796924 140735239138592 140735239135880 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 41424 39935 182 392 0 41023 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 165696

[startup+222.307 s]
/proc/loadavg: 2.26 2.24 2.16 3/177 20374
/proc/meminfo: memFree=30658056/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=165696 CPUtime=222.25 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 12120 0 0 0 22204 21 0 0 20 0 1 0 9850792 169672704 38914 33554432000 4194304 5796924 140735239138592 140735239135880 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 41424 38914 182 392 0 41023 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 165696

[startup+282.3 s]
/proc/loadavg: 2.20 2.23 2.16 4/177 20375
/proc/meminfo: memFree=30645344/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=165696 CPUtime=282.24 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 12515 0 0 0 28198 26 0 0 20 0 1 0 9850792 169672704 40962 33554432000 4194304 5796924 140735239138592 140735239135880 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 41424 40962 182 392 0 41023 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 165696

[startup+342.3 s]
/proc/loadavg: 2.21 2.23 2.16 3/177 20377
/proc/meminfo: memFree=30642352/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=165696 CPUtime=342.23 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 12912 0 0 0 34192 31 0 0 20 0 1 0 9850792 169672704 40450 33554432000 4194304 5796924 140735239138592 140735239135880 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 41424 40450 182 392 0 41023 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 165696

[startup+402.3 s]
/proc/loadavg: 2.24 2.23 2.17 3/178 20381
/proc/meminfo: memFree=30677828/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=118552 CPUtime=402.23 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 13611 0 0 0 40187 36 0 0 20 0 1 0 9850792 121397248 28836 33554432000 4194304 5796924 140735239138592 140735239136056 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 29638 28836 182 392 0 29237 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 118552

[startup+462.3 s]
/proc/loadavg: 2.28 2.24 2.17 3/178 20405
/proc/meminfo: memFree=30597276/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=201892 CPUtime=462.22 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 15656 0 0 0 46181 41 0 0 20 0 1 0 9850792 206737408 48983 33554432000 4194304 5796924 140735239138592 140735239135880 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 50473 48983 182 392 0 50072 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 201892

[startup+522.3 s]
/proc/loadavg: 2.11 2.20 2.16 3/177 20406
/proc/meminfo: memFree=30601448/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=201892 CPUtime=522.2 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 15932 0 0 0 52176 44 0 0 20 0 1 0 9850792 206737408 48471 33554432000 4194304 5796924 140735239138592 140735239135880 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 50473 48471 182 392 0 50072 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 201892

[startup+582.3 s]
/proc/loadavg: 2.18 2.20 2.17 3/177 20407
/proc/meminfo: memFree=30642528/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=152572 CPUtime=582.2 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 17023 0 0 0 58171 49 0 0 20 0 1 0 9850792 156233728 37685 33554432000 4194304 5796924 140735239138592 140735239136056 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 38143 37685 182 392 0 37742 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 152572


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


[startup+942.3 s]
/proc/loadavg: 2.12 2.15 2.15 3/177 20415
/proc/meminfo: memFree=30591144/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=232712 CPUtime=942.14 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 24858 0 0 0 94142 72 0 0 20 0 1 0 9850792 238297088 50594 33554432000 4194304 5796924 140735239138592 140735239135880 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 58178 50594 182 392 0 57777 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 232712

[startup+1002.3 s]
/proc/loadavg: 2.17 2.15 2.15 4/178 20419
/proc/meminfo: memFree=30586320/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=232712 CPUtime=1002.13 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 25829 0 0 0 100138 75 0 0 20 0 1 0 9850792 238297088 51106 33554432000 4194304 5796924 140735239138592 140735239136232 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 58178 51106 182 392 0 57777 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 232712

[startup+1062.3 s]
/proc/loadavg: 2.10 2.14 2.14 3/177 20420
/proc/meminfo: memFree=30571336/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=232712 CPUtime=1062.12 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 26805 0 0 0 106133 79 0 0 20 0 1 0 9850792 238297088 55202 33554432000 4194304 5796924 140735239138592 140735239136232 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 58178 55202 182 392 0 57777 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 232712

[startup+1122.3 s]
/proc/loadavg: 2.09 2.12 2.14 3/177 20421
/proc/meminfo: memFree=30548492/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=282800 CPUtime=1122.11 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 28596 0 0 0 112128 83 0 0 20 0 1 0 9850792 289587200 60623 33554432000 4194304 5796924 140735239138592 140735239136232 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 70700 60623 182 392 0 70299 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 282800

[startup+1182.3 s]
/proc/loadavg: 2.06 2.11 2.13 4/177 20422
/proc/meminfo: memFree=30585872/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=232712 CPUtime=1182.1 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 29697 0 0 0 118123 87 0 0 20 0 1 0 9850792 238297088 51618 33554432000 4194304 5796924 140735239138592 140735239136232 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 58178 51618 182 392 0 57777 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 232712

[startup+1242.3 s]
/proc/loadavg: 2.15 2.13 2.14 3/176 20423
/proc/meminfo: memFree=30557260/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=232712 CPUtime=1242.09 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 30667 0 0 0 124118 91 0 0 20 0 1 0 9850792 238297088 55714 33554432000 4194304 5796924 140735239138592 140735239136232 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 58178 55714 182 392 0 57777 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 232712

[startup+1302.3 s]
/proc/loadavg: 2.18 2.14 2.13 4/177 20425
/proc/meminfo: memFree=30541908/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=282800 CPUtime=1302.08 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 32454 0 0 0 130114 94 0 0 20 0 1 0 9850792 289587200 60111 33554432000 4194304 5796924 140735239138592 140735239136232 4607171 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 70700 60111 182 392 0 70299 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 282800

[startup+1362.3 s]
/proc/loadavg: 2.18 2.14 2.13 4/177 20426
/proc/meminfo: memFree=30590656/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=201892 CPUtime=1362.07 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 33479 0 0 0 136109 98 0 0 20 0 1 0 9850792 206737408 47967 33554432000 4194304 5796924 140735239138592 140735239136056 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 50473 47967 182 392 0 50072 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 201892

[startup+1422.3 s]
/proc/loadavg: 2.15 2.14 2.13 3/177 20427
/proc/meminfo: memFree=30521272/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=282800 CPUtime=1422.08 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 34391 0 0 0 142107 101 0 0 20 0 1 0 9850792 289587200 64719 33554432000 4194304 5796924 140735239138592 140735239136232 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 70700 64719 182 392 0 70299 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 282800

[startup+1482.3 s]
/proc/loadavg: 2.11 2.13 2.13 3/177 20428
/proc/meminfo: memFree=30525532/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=282800 CPUtime=1482.06 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 35360 0 0 0 148102 104 0 0 20 0 1 0 9850792 289587200 62671 33554432000 4194304 5796924 140735239138592 140735239136232 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 70700 62671 182 392 0 70299 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 282800

[startup+1542.31 s]
/proc/loadavg: 2.15 2.13 2.12 4/177 20429
/proc/meminfo: memFree=30533520/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=282800 CPUtime=1542.05 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 36327 0 0 0 154098 107 0 0 20 0 1 0 9850792 289587200 60623 33554432000 4194304 5796924 140735239138592 140735239136232 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 70700 60623 182 392 0 70299 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 282800

[startup+1602.3 s]
/proc/loadavg: 2.20 2.14 2.12 4/178 20480
/proc/meminfo: memFree=30583868/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=232712 CPUtime=1602.03 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 36919 0 0 0 160094 109 0 0 20 0 1 0 9850792 238297088 57688 33554432000 4194304 5796924 140735239138592 140735239136232 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 58178 57688 182 392 0 57777 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 232712

[startup+1662.3 s]
/proc/loadavg: 2.21 2.16 2.13 3/177 20481
/proc/meminfo: memFree=30578248/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=232712 CPUtime=1662.03 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 37449 0 0 0 166091 112 0 0 20 0 1 0 9850792 238297088 54178 33554432000 4194304 5796924 140735239138592 140735239136232 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 58178 54178 182 392 0 57777 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 232712

[startup+1722.3 s]
/proc/loadavg: 2.17 2.15 2.13 4/177 20482
/proc/meminfo: memFree=30599148/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=201892 CPUtime=1722.01 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 38347 0 0 0 172087 114 0 0 20 0 1 0 9850792 206737408 49503 33554432000 4194304 5796924 140735239138592 140735239136056 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 50473 49503 182 392 0 50072 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 201892

[startup+1782.3 s]
/proc/loadavg: 2.20 2.17 2.13 3/177 20483
/proc/meminfo: memFree=30528600/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=282800 CPUtime=1782.01 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 39260 0 0 0 178085 116 0 0 20 0 1 0 9850792 289587200 64207 33554432000 4194304 5796924 140735239138592 140735239136232 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 70700 64207 182 392 0 70299 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 282800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.17 2.13 3/177 20483
/proc/meminfo: memFree=30589224/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=201892 CPUtime=1800 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 39324 0 0 0 179883 117 0 0 20 0 1 0 9850792 206737408 48991 33554432000 4194304 5796924 140735239138592 140735239136056 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 50473 48991 182 392 0 50072 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 201892

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.17 2.13 3/177 20483
/proc/meminfo: memFree=30589224/32872528 swapFree=1073984/1155744
[pid=20324] ppid=20321 vsize=201892 CPUtime=1800 cores=1,3,5,7
/proc/20324/stat : 20324 (naps-1.02) R 20321 20324 17509 0 -1 4202496 39324 0 0 0 179883 117 0 0 20 0 1 0 9850792 206737408 48991 33554432000 4194304 5796924 140735239138592 140735239136056 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/20324/statm: 50473 48991 182 392 0 50072 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 201892

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1798.84
CPU system time (s): 1.17982
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 332120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.17982
maximum resident set size= 304068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39334
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= 22
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56431 second user time and 6.89695 second system time

The end