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-4086542-1465256806/watcher-4086542-1465256806 -o /tmp/evaluation-result-4086542-1465256806/solver-4086542-1465256806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465251283-11458 --watchdog 1960 open-wbo HOME/instance-4086542-1465256806.opb 

pid=13113
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.14 2.14 2.10 4/176 13116
/proc/meminfo: memFree=30014972/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=5064 CPUtime=0 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 107613172 5185536 886 33554432000 4194304 6059633 140734386383024 140733862500616 4233429 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 1266 886 716 456 0 219 0

[startup+0.100178 s]
/proc/loadavg: 2.14 2.14 2.10 4/176 13116
/proc/meminfo: memFree=30014972/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=5600 CPUtime=0.09 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 1129 0 0 0 9 0 0 0 20 0 1 0 107613172 5734400 1004 33554432000 4194304 6059633 140734386383024 140733862500616 4214176 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 1400 1004 717 456 0 353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5600

[startup+0.200292 s]
/proc/loadavg: 2.14 2.14 2.10 4/176 13116
/proc/meminfo: memFree=30014972/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=6208 CPUtime=0.19 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 1270 0 0 0 19 0 0 0 20 0 1 0 107613172 6356992 1145 33554432000 4194304 6059633 140734386383024 140733862500616 4235927 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 1552 1145 717 456 0 505 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6208

[startup+0.300279 s]
/proc/loadavg: 2.14 2.14 2.10 4/176 13116
/proc/meminfo: memFree=30014972/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=12980 CPUtime=0.29 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 2838 0 0 0 29 0 0 0 20 0 1 0 107613172 13291520 2090 33554432000 4194304 6059633 140734386383024 140733862500616 4280227 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 3245 2090 179 456 0 2781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12980

[startup+0.700245 s]
/proc/loadavg: 2.14 2.14 2.10 4/176 13116
/proc/meminfo: memFree=30014972/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=13724 CPUtime=0.69 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 3952 0 0 0 69 0 0 0 20 0 1 0 107613172 14053376 2802 33554432000 4194304 6059633 140734386383024 140733862500616 4280227 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 3431 2802 183 456 0 2967 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13724

[startup+1.50025 s]
/proc/loadavg: 2.14 2.14 2.10 3/177 13117
/proc/meminfo: memFree=30001500/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=23940 CPUtime=1.49 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 5589 0 0 0 149 0 0 0 20 0 1 0 107613172 24514560 4848 33554432000 4194304 6059633 140734386383024 140734386381512 4261792 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 5985 4848 183 456 0 5521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23940

[startup+3.10029 s]
/proc/loadavg: 2.14 2.14 2.10 3/177 13117
/proc/meminfo: memFree=29993248/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=23940 CPUtime=3.09 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 5782 0 0 0 309 0 0 0 20 0 1 0 107613172 24514560 5552 33554432000 4194304 6059633 140734386383024 140734386382120 4278363 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 5985 5552 183 456 0 5521 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23940

[startup+6.30029 s]
/proc/loadavg: 2.13 2.14 2.10 3/177 13117
/proc/meminfo: memFree=29993136/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=28360 CPUtime=6.29 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 6375 0 0 0 628 1 0 0 20 0 1 0 107613172 29040640 6641 33554432000 4194304 6059633 140734386383024 140734386382120 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 7090 6641 183 456 0 6626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28360

[startup+12.7003 s]
/proc/loadavg: 2.12 2.14 2.10 3/177 13117
/proc/meminfo: memFree=29997364/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=20104 CPUtime=12.68 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 8245 0 0 0 1267 1 0 0 20 0 1 0 107613172 20586496 4610 33554432000 4194304 6059633 140734386383024 140734386381848 4867836 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 5026 4610 183 456 0 4562 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20104

[startup+25.5004 s]
/proc/loadavg: 2.09 2.13 2.10 3/177 13117
/proc/meminfo: memFree=29969416/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=50288 CPUtime=25.49 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 9229 0 0 0 2547 2 0 0 20 0 1 0 107613172 51494912 11654 33554432000 4194304 6059633 140734386383024 140734386381512 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 12572 11654 183 456 0 12108 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50288

[startup+51.1004 s]
/proc/loadavg: 2.13 2.13 2.10 3/177 13117
/proc/meminfo: memFree=29961040/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=84312 CPUtime=51.08 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 10129 0 0 0 5105 3 0 0 20 0 1 0 107613172 86335488 13654 33554432000 4194304 6059633 140734386383024 140734386381512 4277921 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 21078 13654 183 456 0 20614 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84312

[startup+102.3 s]
/proc/loadavg: 2.19 2.14 2.10 3/177 13118
/proc/meminfo: memFree=29950600/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=84312 CPUtime=102.28 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 10583 0 0 0 10225 3 0 0 20 0 1 0 107613172 86335488 15635 33554432000 4194304 6059633 140734386383024 140734386381512 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 21078 15635 183 456 0 20614 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 84312

[startup+162.3 s]
/proc/loadavg: 2.27 2.16 2.10 3/177 13120
/proc/meminfo: memFree=29947840/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=84312 CPUtime=162.27 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 10640 0 0 0 16223 4 0 0 20 0 1 0 107613172 86335488 16147 33554432000 4194304 6059633 140734386383024 140734386381848 4278354 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 21078 16147 183 456 0 20614 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 84312

[startup+222.307 s]
/proc/loadavg: 2.20 2.16 2.10 4/178 13124
/proc/meminfo: memFree=29945244/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=84312 CPUtime=222.26 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 10873 0 0 0 22220 6 0 0 20 0 1 0 107613172 86335488 16147 33554432000 4194304 6059633 140734386383024 140734386381848 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 21078 16147 183 456 0 20614 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 84312

[startup+282.3 s]
/proc/loadavg: 2.17 2.16 2.10 3/177 13125
/proc/meminfo: memFree=29943984/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=85164 CPUtime=282.25 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 11135 0 0 0 28217 8 0 0 20 0 1 0 107613172 87207936 16230 33554432000 4194304 6059633 140734386383024 140734386382120 4278382 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 21291 16230 183 456 0 20827 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 85164

[startup+342.3 s]
/proc/loadavg: 2.19 2.17 2.10 3/177 13126
/proc/meminfo: memFree=29919668/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=97192 CPUtime=342.24 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 11690 0 0 0 34216 8 0 0 20 0 1 0 107613172 99524608 22393 33554432000 4194304 6059633 140734386383024 140734386382120 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 24298 22393 183 456 0 23834 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 97192

[startup+402.3 s]
/proc/loadavg: 2.11 2.15 2.10 4/177 13127
/proc/meminfo: memFree=29917224/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=97192 CPUtime=402.23 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 11691 0 0 0 40215 8 0 0 20 0 1 0 107613172 99524608 22905 33554432000 4194304 6059633 140734386383024 140734386382120 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 24298 22905 183 456 0 23834 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 97192

[startup+462.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/177 13129
/proc/meminfo: memFree=29894636/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=462.21 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 12294 0 0 0 46213 8 0 0 20 0 1 0 107613172 118452224 28090 33554432000 4194304 6059633 140734386383024 140734386382120 4278520 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28090 183 456 0 28455 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 115676

[startup+522.3 s]
/proc/loadavg: 2.13 2.15 2.10 3/177 13130
/proc/meminfo: memFree=29891732/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=522.21 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 12796 0 0 0 52211 10 0 0 20 0 1 0 107613172 118452224 28427 33554432000 4194304 6059633 140734386383024 140734386381848 4277847 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28427 185 456 0 28455 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 115676

[startup+582.3 s]
/proc/loadavg: 2.12 2.15 2.10 3/177 13131
/proc/meminfo: memFree=29891964/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=582.19 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 12972 0 0 0 58208 11 0 0 20 0 1 0 107613172 118452224 28427 33554432000 4194304 6059633 140734386383024 140734386382120 4278410 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28427 185 456 0 28455 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 115676


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.16 2.10 3/178 13163
/proc/meminfo: memFree=29888036/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=882.15 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 13643 0 0 0 88197 18 0 0 20 0 1 0 107613172 118452224 28427 33554432000 4194304 6059633 140734386383024 140734386381848 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28427 185 456 0 28455 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 115676

[startup+942.3 s]
/proc/loadavg: 2.09 2.14 2.09 3/177 13164
/proc/meminfo: memFree=29887776/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=942.14 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 13771 0 0 0 94194 20 0 0 20 0 1 0 107613172 118452224 28427 33554432000 4194304 6059633 140734386383024 140734386381848 4277847 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28427 185 456 0 28455 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 115676

[startup+1002.3 s]
/proc/loadavg: 2.19 2.16 2.10 3/177 13165
/proc/meminfo: memFree=29838248/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=1002.13 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 13901 0 0 0 100192 21 0 0 20 0 1 0 107613172 118452224 28427 33554432000 4194304 6059633 140734386383024 140734386381560 4278363 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28427 185 456 0 28455 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 115676

[startup+1062.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/176 13166
/proc/meminfo: memFree=29845776/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=164996 CPUtime=1062.12 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 14096 0 0 0 106189 23 0 0 20 0 1 0 107613172 168955904 38708 33554432000 4194304 6059633 140734386383024 140734386381560 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 41249 38708 185 456 0 40785 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 164996

[startup+1122.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/177 13168
/proc/meminfo: memFree=29833056/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=1122.11 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 14307 0 0 0 112185 26 0 0 20 0 1 0 107613172 118452224 28427 33554432000 4194304 6059633 140734386383024 140734386381816 4261576 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28427 185 456 0 28455 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 115676

[startup+1182.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/177 13169
/proc/meminfo: memFree=29847040/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=164996 CPUtime=1182.1 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 14503 0 0 0 118182 28 0 0 20 0 1 0 107613172 168955904 38708 33554432000 4194304 6059633 140734386383024 140734386381560 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 41249 38708 185 456 0 40785 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 164996

[startup+1242.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/177 13170
/proc/meminfo: memFree=29884980/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=1242.1 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 14712 0 0 0 124179 31 0 0 20 0 1 0 107613172 118452224 28427 33554432000 4194304 6059633 140734386383024 140734386381848 4278389 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28427 185 456 0 28455 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 115676

[startup+1302.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/177 13171
/proc/meminfo: memFree=29826384/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=195816 CPUtime=1302.08 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 14852 0 0 0 130176 32 0 0 20 0 1 0 107613172 200515584 42874 33554432000 4194304 6059633 140734386383024 140734386381816 4278425 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 48954 42874 185 456 0 48490 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 195816

[startup+1362.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/177 13172
/proc/meminfo: memFree=29827508/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=195816 CPUtime=1362.07 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 14989 0 0 0 136174 33 0 0 20 0 1 0 107613172 200515584 42362 33554432000 4194304 6059633 140734386383024 140734386381816 4278520 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 48954 42362 185 456 0 48490 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 195816

[startup+1422.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/178 13177
/proc/meminfo: memFree=29825196/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=195816 CPUtime=1422.07 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 15129 0 0 0 142172 35 0 0 20 0 1 0 107613172 200515584 42874 33554432000 4194304 6059633 140734386383024 140734386381816 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 48954 42874 185 456 0 48490 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 195816

[startup+1482.3 s]
/proc/loadavg: 2.18 2.12 2.09 3/177 13178
/proc/meminfo: memFree=29824276/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=195816 CPUtime=1482.06 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 15275 0 0 0 148169 37 0 0 20 0 1 0 107613172 200515584 42874 33554432000 4194304 6059633 140734386383024 140734386381816 4277852 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 48954 42874 185 456 0 48490 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 195816

[startup+1542.31 s]
/proc/loadavg: 2.17 2.12 2.09 3/177 13179
/proc/meminfo: memFree=29881056/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=115676 CPUtime=1542.05 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 16115 0 0 0 154166 39 0 0 20 0 1 0 107613172 118452224 28430 33554432000 4194304 6059633 140734386383024 140734386381848 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 28919 28430 185 456 0 28455 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 115676

[startup+1602.3 s]
/proc/loadavg: 2.29 2.16 2.10 3/177 13180
/proc/meminfo: memFree=29791104/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=245904 CPUtime=1602.04 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 17085 0 0 0 160163 41 0 0 20 0 1 0 107613172 251805696 50855 33554432000 4194304 6059633 140734386383024 140734386381816 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 61476 50855 185 456 0 61012 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 245904

[startup+1662.3 s]
/proc/loadavg: 2.23 2.16 2.10 3/177 13181
/proc/meminfo: memFree=29818468/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=195816 CPUtime=1662.02 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 17229 0 0 0 166159 43 0 0 20 0 1 0 107613172 200515584 43386 33554432000 4194304 6059633 140734386383024 140734386381816 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 48954 43386 185 456 0 48490 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 195816

[startup+1722.3 s]
/proc/loadavg: 2.19 2.16 2.10 3/177 13229
/proc/meminfo: memFree=29469744/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=164996 CPUtime=1722.02 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 18116 0 0 0 172156 46 0 0 20 0 1 0 107613172 168955904 37175 33554432000 4194304 6059633 140734386383024 140734386381560 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 41249 37175 185 456 0 40785 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 164996

[startup+1782.3 s]
/proc/loadavg: 2.21 2.16 2.10 3/177 13230
/proc/meminfo: memFree=29426384/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=195816 CPUtime=1782 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 18222 0 0 0 178153 47 0 0 20 0 1 0 107613172 200515584 46970 33554432000 4194304 6059633 140734386383024 140734386381816 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 48954 46970 185 456 0 48490 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 195816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.21 2.16 2.10 3/177 13230
/proc/meminfo: memFree=29496612/32872528 swapFree=16740/1306504
[pid=13116] ppid=13113 vsize=164996 CPUtime=1800.09 cores=0,2,4,6
/proc/13116/stat : 13116 (open-wbo) R 13113 13116 11442 0 -1 4202496 18285 0 0 0 179962 47 0 0 20 0 1 0 107613172 168955904 36151 33554432000 4194304 6059633 140734386383024 140734386381560 4255169 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/13116/statm: 41249 36151 185 456 0 40785 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 164996

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 13116 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.1
CPU user time (s): 1799.62
CPU system time (s): 0.475927
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 245904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.475927
maximum resident set size= 217756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18288
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= 35
involuntary context switches= 1881

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66529 second user time and 6.79397 second system time

The end