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-4086327-1465244986/watcher-4086327-1465244986 -o /tmp/evaluation-result-4086327-1465244986/solver-4086327-1465244986 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465223432-16631 --watchdog 1960 open-wbo HOME/instance-4086327-1465244986.opb 

pid=21964
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.85 1.97 1.99 3/178 21967
/proc/meminfo: memFree=31954336/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=2968 CPUtime=0 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 490 0 0 0 0 0 0 0 20 0 1 0 106430678 3039232 366 33554432000 4194304 6059633 140736737232720 140735411578872 4662759 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 742 366 226 456 0 186 0

[startup+0.100209 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 21967
/proc/meminfo: memFree=31954336/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=11180 CPUtime=0.09 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 1599 0 0 0 9 0 0 0 20 0 1 0 106430678 11448320 1365 33554432000 4194304 6059633 140736737232720 140735411578872 4262848 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 2795 1366 181 456 0 2331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11180

[startup+0.200307 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 21967
/proc/meminfo: memFree=31954336/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=7452 CPUtime=0.19 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 1857 0 0 0 19 0 0 0 20 0 1 0 106430678 7630848 1390 33554432000 4194304 6059633 140736737232720 140735411578872 4278389 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 1863 1390 183 456 0 1399 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7452

[startup+0.300238 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 21967
/proc/meminfo: memFree=31954336/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=7972 CPUtime=0.29 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 1966 0 0 0 29 0 0 0 20 0 1 0 106430678 8163328 1498 33554432000 4194304 6059633 140736737232720 140735411578872 4280227 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 1993 1498 183 456 0 1529 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7972

[startup+0.700239 s]
/proc/loadavg: 1.85 1.97 1.99 3/178 21967
/proc/meminfo: memFree=31954336/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=10108 CPUtime=0.69 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 2812 0 0 0 69 0 0 0 20 0 1 0 106430678 10350592 1746 33554432000 4194304 6059633 140736737232720 140736737231208 4280227 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 2527 1746 184 456 0 2063 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10108

[startup+1.50023 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 21968
/proc/meminfo: memFree=31944664/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=16176 CPUtime=1.49 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 3613 0 0 0 149 0 0 0 20 0 1 0 106430678 16564224 3565 33554432000 4194304 6059633 140736737232720 140736737231208 4255738 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 4044 3565 184 456 0 3580 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16176

[startup+3.10024 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 21968
/proc/meminfo: memFree=31940072/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=18896 CPUtime=3.09 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 4302 0 0 0 309 0 0 0 20 0 1 0 106430678 19349504 4238 33554432000 4194304 6059633 140736737232720 140736737231240 4280227 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 4724 4238 184 456 0 4260 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18896

[startup+6.30024 s]
/proc/loadavg: 1.86 1.97 1.99 3/179 21968
/proc/meminfo: memFree=31911244/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=27712 CPUtime=6.29 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 4866 0 0 0 628 1 0 0 20 0 1 0 106430678 28377088 4307 33554432000 4194304 6059633 140736737232720 140736737231208 4278457 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 6928 4307 184 456 0 6464 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27712

[startup+12.7002 s]
/proc/loadavg: 1.88 1.97 1.99 3/179 21968
/proc/meminfo: memFree=31890636/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=40744 CPUtime=12.69 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 6812 0 0 0 1268 1 0 0 20 0 1 0 106430678 41721856 8734 33554432000 4194304 6059633 140736737232720 140736737231544 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 10186 8734 185 456 0 9722 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40744

[startup+25.5004 s]
/proc/loadavg: 1.90 1.97 1.99 3/180 21971
/proc/meminfo: memFree=31873140/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=59420 CPUtime=25.48 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 7340 0 0 0 2547 1 0 0 20 0 1 0 106430678 60846080 11299 33554432000 4194304 6059633 140736737232720 140736737231208 4277882 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 14855 11299 185 456 0 14391 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59420

[startup+51.1004 s]
/proc/loadavg: 1.93 1.97 1.99 3/180 21971
/proc/meminfo: memFree=31885784/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=78264 CPUtime=51.08 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 8243 0 0 0 5106 2 0 0 20 0 1 0 106430678 80142336 17403 33554432000 4194304 6059633 140736737232720 140736737231208 4278479 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 19566 17403 185 456 0 19102 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78264

[startup+102.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/179 21972
/proc/meminfo: memFree=31878392/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=78264 CPUtime=102.28 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 8298 0 0 0 10225 3 0 0 20 0 1 0 106430678 80142336 19006 33554432000 4194304 6059633 140736737232720 140736737231544 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 19566 19006 185 456 0 19102 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 78264

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 22018
/proc/meminfo: memFree=31904444/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=127584 CPUtime=162.26 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 8397 0 0 0 16222 4 0 0 20 0 1 0 106430678 130646016 30299 33554432000 4194304 6059633 140736737232720 140736737231256 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 31896 30299 185 456 0 31432 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 127584

[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 22019
/proc/meminfo: memFree=31930704/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=78264 CPUtime=222.27 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 8714 0 0 0 22219 8 0 0 20 0 1 0 106430678 80142336 19006 33554432000 4194304 6059633 140736737232720 140736737231544 4255238 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 19566 19006 185 456 0 19102 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 78264

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 22021
/proc/meminfo: memFree=31903668/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=78264 CPUtime=282.25 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 8966 0 0 0 28214 11 0 0 20 0 1 0 106430678 80142336 19006 33554432000 4194304 6059633 140736737232720 140736737231544 4278520 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 19566 19006 185 456 0 19102 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 78264

[startup+342.3 s]
/proc/loadavg: 2.06 1.99 1.99 3/179 22022
/proc/meminfo: memFree=31900040/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=78264 CPUtime=342.24 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 9218 0 0 0 34210 14 0 0 20 0 1 0 106430678 80142336 19006 33554432000 4194304 6059633 140736737232720 140736737231544 4278479 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 19566 19006 185 456 0 19102 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 78264

[startup+402.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/179 22023
/proc/meminfo: memFree=31840224/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=158404 CPUtime=402.23 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 9474 0 0 0 40205 18 0 0 20 0 1 0 106430678 162205696 34462 33554432000 4194304 6059633 140736737232720 140736737231512 4278443 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39601 34462 185 456 0 39137 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 158404

[startup+462.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 22024
/proc/meminfo: memFree=31900012/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=78264 CPUtime=462.21 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 10093 0 0 0 46201 20 0 0 20 0 1 0 106430678 80142336 19006 33554432000 4194304 6059633 140736737232720 140736737231544 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 19566 19006 185 456 0 19102 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 78264

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 22025
/proc/meminfo: memFree=31852620/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=127584 CPUtime=522.2 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 10828 0 0 0 52196 24 0 0 20 0 1 0 106430678 130646016 30811 33554432000 4194304 6059633 140736737232720 140736737231256 4278520 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 31896 30811 185 456 0 31432 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 127584

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 22027
/proc/meminfo: memFree=31823644/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=158404 CPUtime=582.19 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 11340 0 0 0 58193 26 0 0 20 0 1 0 106430678 162205696 35486 33554432000 4194304 6059633 140736737232720 140736737231512 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39601 35486 185 456 0 39137 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 158404


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


[startup+882.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 22036
/proc/meminfo: memFree=31885264/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=78264 CPUtime=882.14 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 13928 0 0 0 88175 39 0 0 20 0 1 0 106430678 80142336 19088 33554432000 4194304 6059633 140736737232720 140736737231512 4277768 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 19566 19088 186 456 0 19102 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 78264

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 22037
/proc/meminfo: memFree=31814380/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=127584 CPUtime=942.12 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 14929 0 0 0 94170 42 0 0 20 0 1 0 106430678 130646016 27821 33554432000 4194304 6059633 140736737232720 140736737231256 4278363 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 31896 27821 186 456 0 31432 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 127584

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22039
/proc/meminfo: memFree=31835212/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=127584 CPUtime=1002.12 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 15071 0 0 0 100168 44 0 0 20 0 1 0 106430678 130646016 31405 33554432000 4194304 6059633 140736737232720 140736737231256 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 31896 31405 186 456 0 31432 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 127584

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22040
/proc/meminfo: memFree=31787656/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=158404 CPUtime=1062.11 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 16056 0 0 0 106164 47 0 0 20 0 1 0 106430678 162205696 34032 33554432000 4194304 6059633 140736737232720 140736737231512 4278520 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39601 34032 186 456 0 39137 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 158404

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22041
/proc/meminfo: memFree=31789756/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=158404 CPUtime=1122.1 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 17008 0 0 0 112161 49 0 0 20 0 1 0 106430678 162205696 32496 33554432000 4194304 6059633 140736737232720 140736737231512 4246322 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39601 32496 186 456 0 39137 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 158404

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22043
/proc/meminfo: memFree=31826372/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=158404 CPUtime=1182.09 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 17852 0 0 0 118157 52 0 0 20 0 1 0 106430678 162205696 33520 33554432000 4194304 6059633 140736737232720 140736737231512 4278363 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39601 33520 186 456 0 39137 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 158404

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22047
/proc/meminfo: memFree=31826504/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=158404 CPUtime=1242.07 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 18821 0 0 0 124153 54 0 0 20 0 1 0 106430678 162205696 33520 33554432000 4194304 6059633 140736737232720 140736737231512 4278447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39601 33520 186 456 0 39137 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 158404

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22048
/proc/meminfo: memFree=31801728/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=127584 CPUtime=1302.06 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 19713 0 0 0 130150 56 0 0 20 0 1 0 106430678 130646016 31405 33554432000 4194304 6059633 140736737232720 140736737231256 4278329 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 31896 31405 186 456 0 31432 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 127584

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22049
/proc/meminfo: memFree=31802848/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=127584 CPUtime=1362.04 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 19860 0 0 0 136146 58 0 0 20 0 1 0 106430678 130646016 28333 33554432000 4194304 6059633 140736737232720 140736737231256 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 31896 28333 186 456 0 31432 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 127584

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22050
/proc/meminfo: memFree=31759964/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=158404 CPUtime=1422.03 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 19948 0 0 0 142145 58 0 0 20 0 1 0 106430678 162205696 38128 33554432000 4194304 6059633 140736737232720 140736737231512 4261480 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39601 38128 186 456 0 39137 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 158404

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22052
/proc/meminfo: memFree=31815572/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=158404 CPUtime=1482.02 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 20887 0 0 0 148141 61 0 0 20 0 1 0 106430678 162205696 36080 33554432000 4194304 6059633 140736737232720 140736737231512 4278363 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39601 36080 186 456 0 39137 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 158404

[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22053
/proc/meminfo: memFree=31820884/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=159432 CPUtime=1542.01 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 22122 0 0 0 154137 64 0 0 20 0 1 0 106430678 163258368 35313 33554432000 4194304 6059633 140736737232720 140736737231512 4277847 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 39858 35313 186 456 0 39394 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 159432

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22054
/proc/meminfo: memFree=31850024/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=130692 CPUtime=1601.98 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 23536 0 0 0 160132 66 0 0 20 0 1 0 106430678 133828608 27574 33554432000 4194304 6059633 140736737232720 140736737231256 4277874 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 32673 27574 186 456 0 32209 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 130692

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22055
/proc/meminfo: memFree=31802804/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=161512 CPUtime=1661.98 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 23626 0 0 0 166130 68 0 0 20 0 1 0 106430678 165388288 39417 33554432000 4194304 6059633 140736737232720 140736737231512 4277790 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 40378 39417 186 456 0 39914 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 161512

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22056
/proc/meminfo: memFree=31824828/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=162196 CPUtime=1721.96 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 24747 0 0 0 172126 70 0 0 20 0 1 0 106430678 166088704 33956 33554432000 4194304 6059633 140736737232720 140736737231512 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 40549 33956 186 456 0 40085 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 162196

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22058
/proc/meminfo: memFree=31842324/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=131376 CPUtime=1781.96 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 25631 0 0 0 178123 73 0 0 20 0 1 0 106430678 134529024 29793 33554432000 4194304 6059633 140736737232720 140736737231544 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 32844 29793 186 456 0 32380 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 131376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22059
/proc/meminfo: memFree=31797268/32872528 swapFree=8144/8144
[pid=21967] ppid=21964 vsize=131376 CPUtime=1800.06 cores=0,2,4,6
/proc/21967/stat : 21967 (open-wbo) R 21964 21967 16615 0 -1 4202496 25636 0 0 0 179933 73 0 0 20 0 1 0 106430678 134529024 32353 33554432000 4194304 6059633 140736737232720 140736737231544 4278382 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/21967/statm: 32844 32353 186 456 0 32380 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 131376

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

Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.06
CPU user time (s): 1799.33
CPU system time (s): 0.732888
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 212284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.732888
maximum resident set size= 194488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25639
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= 96
involuntary context switches= 1914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65029 second user time and 6.81196 second system time

The end