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-4083834-1465341065/watcher-4083834-1465341065 -o /tmp/evaluation-result-4083834-1465341065/solver-4083834-1465341065 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465339263-4344 --watchdog 1960 open-wbo-lsu HOME/instance-4083834-1465341065.opb 

pid=4758
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.00 2.00 1.83 3/178 4761
/proc/meminfo: memFree=28771936/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=4720 CPUtime=0 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 909 0 0 0 0 0 0 0 20 0 1 0 116038606 4833280 785 33554432000 4194304 6058637 140737061135104 140735235650776 5154074 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 1180 785 697 456 0 154 0

[startup+0.100114 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 4761
/proc/meminfo: memFree=28771936/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=6808 CPUtime=0.09 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 1374 0 0 0 9 0 0 0 20 0 1 0 116038606 6971392 1250 33554432000 4194304 6058637 140737061135104 140735235650776 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 1702 1250 697 456 0 676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6808

[startup+0.200285 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 4761
/proc/meminfo: memFree=28771936/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=9196 CPUtime=0.19 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 1882 0 0 0 19 0 0 0 20 0 1 0 116038606 9416704 1758 33554432000 4194304 6058637 140737061135104 140735235650776 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 2299 1758 697 456 0 1273 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9196

[startup+0.300288 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 4761
/proc/meminfo: memFree=28771936/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=18880 CPUtime=0.29 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 4379 0 0 0 29 0 0 0 20 0 1 0 116038606 19333120 4107 33554432000 4194304 6058637 140737061135104 140735235650776 4277464 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 4720 4107 164 456 0 4256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18880

[startup+0.700307 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 4761
/proc/meminfo: memFree=28771936/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=19424 CPUtime=0.69 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 4523 0 0 0 69 0 0 0 20 0 1 0 116038606 19890176 4251 33554432000 4194304 6058637 140737061135104 140737061134440 4261384 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 4856 4251 177 456 0 4392 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19424

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 4762
/proc/meminfo: memFree=28755776/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=22392 CPUtime=1.49 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 4806 0 0 0 149 0 0 0 20 0 1 0 116038606 22929408 4524 33554432000 4194304 6058637 140737061135104 140737061134440 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 5598 4524 177 456 0 5134 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22392

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 4762
/proc/meminfo: memFree=28754596/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=20288 CPUtime=3.08 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 6397 0 0 0 308 0 0 0 20 0 1 0 116038606 20774912 4474 33554432000 4194304 6058637 140737061135104 140737061134136 4280035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 5072 4474 178 456 0 4608 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20288

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 4762
/proc/meminfo: memFree=28743988/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=36148 CPUtime=6.28 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 8526 0 0 0 627 1 0 0 20 0 1 0 116038606 37015552 8501 33554432000 4194304 6058637 140737061135104 140737061133864 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 9037 8501 178 456 0 8573 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36148

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 4762
/proc/meminfo: memFree=28739028/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=36148 CPUtime=12.68 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 8526 0 0 0 1267 1 0 0 20 0 1 0 116038606 37015552 8501 33554432000 4194304 6058637 140737061135104 140737061134440 4301312 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 9037 8501 178 456 0 8573 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36148

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 4762
/proc/meminfo: memFree=28733372/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=50472 CPUtime=25.48 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 10015 0 0 0 2546 2 0 0 20 0 1 0 116038606 51683328 10500 33554432000 4194304 6058637 140737061135104 140737061133832 4277368 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 12618 10500 178 456 0 12154 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50472

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 4762
/proc/meminfo: memFree=28724636/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=50472 CPUtime=51.08 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 10578 0 0 0 5105 3 0 0 20 0 1 0 116038606 51683328 12098 33554432000 4194304 6058637 140737061135104 140737061134440 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 12618 12098 178 456 0 12154 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50472

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.84 3/179 4809
/proc/meminfo: memFree=31002332/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=88236 CPUtime=102.28 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 11491 0 0 0 10224 4 0 0 20 0 1 0 116038606 90353664 15729 33554432000 4194304 6058637 140737061135104 140737061133832 4277712 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 22059 15729 178 456 0 21595 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88236

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 1.85 3/179 4811
/proc/meminfo: memFree=30981460/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=88236 CPUtime=162.26 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 11495 0 0 0 16222 4 0 0 20 0 1 0 116038606 90353664 17265 33554432000 4194304 6058637 140737061135104 140737061133832 4277672 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 22059 17265 178 456 0 21595 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 88236

[startup+222.307 s]
/proc/loadavg: 2.02 2.01 1.86 3/179 4812
/proc/meminfo: memFree=30942896/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=137556 CPUtime=222.25 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 13394 0 0 0 22219 6 0 0 20 0 1 0 116038606 140857344 25405 33554432000 4194304 6058637 140737061135104 140737061133880 4278287 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 34389 25405 178 456 0 33925 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 137556

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/179 4813
/proc/meminfo: memFree=30942188/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=137556 CPUtime=282.24 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 15301 0 0 0 28215 9 0 0 20 0 1 0 116038606 140857344 25405 33554432000 4194304 6058637 140737061135104 140737061134168 4277824 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 34389 25405 178 456 0 33925 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 137556

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 4814
/proc/meminfo: memFree=30932432/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=137556 CPUtime=342.23 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 16741 0 0 0 34212 11 0 0 20 0 1 0 116038606 140857344 27453 33554432000 4194304 6058637 140737061135104 140737061133880 4277687 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 34389 27453 178 456 0 33925 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 137556

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 4815
/proc/meminfo: memFree=30903988/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=137556 CPUtime=402.22 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 18180 0 0 0 40209 13 0 0 20 0 1 0 116038606 140857344 26429 33554432000 4194304 6058637 140737061135104 140737061133880 4277687 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 34389 26429 178 456 0 33925 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 137556

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 4817
/proc/meminfo: memFree=30972572/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=88236 CPUtime=462.21 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 19148 0 0 0 46206 15 0 0 20 0 1 0 116038606 90353664 17265 33554432000 4194304 6058637 140737061135104 140737061134168 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 22059 17265 178 456 0 21595 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 88236

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 4818
/proc/meminfo: memFree=30931956/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=88236 CPUtime=522.2 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 20111 0 0 0 52204 16 0 0 20 0 1 0 116038606 90353664 17265 33554432000 4194304 6058637 140737061135104 140737061134168 4277672 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 22059 17265 178 456 0 21595 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 88236

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/180 4822
/proc/meminfo: memFree=30972912/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=88236 CPUtime=582.19 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 21076 0 0 0 58201 18 0 0 20 0 1 0 116038606 90353664 17265 33554432000 4194304 6058637 140737061135104 140737061134168 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 22059 17265 178 456 0 21595 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 88236


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 4831
/proc/meminfo: memFree=30816360/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=942.14 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 30702 0 0 0 94179 35 0 0 20 0 1 0 116038606 154861568 36683 33554432000 4194304 6058637 140737061135104 140737061133880 4277682 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 36683 178 456 0 37344 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 151232

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 4832
/proc/meminfo: memFree=30854852/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=182052 CPUtime=1002.14 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 32366 0 0 0 100176 38 0 0 20 0 1 0 116038606 186421248 39310 33554432000 4194304 6058637 140737061135104 140737061134136 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 45513 39310 178 456 0 45049 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 182052

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 4833
/proc/meminfo: memFree=30864888/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=101912 CPUtime=1062.12 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 33446 0 0 0 106172 40 0 0 20 0 1 0 116038606 104357888 24959 33554432000 4194304 6058637 140737061135104 140737061134168 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 25478 24959 178 456 0 25014 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 101912

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 4835
/proc/meminfo: memFree=30814432/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=1122.11 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 35001 0 0 0 112169 42 0 0 20 0 1 0 116038606 154861568 33611 33554432000 4194304 6058637 140737061135104 140737061133880 4277712 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 33611 178 456 0 37344 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 151232

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/180 4839
/proc/meminfo: memFree=30871508/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=1182.09 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 36087 0 0 0 118165 44 0 0 20 0 1 0 116038606 154861568 35147 33554432000 4194304 6058637 140737061135104 140737061133880 4278255 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 35147 178 456 0 37344 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 151232

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 4840
/proc/meminfo: memFree=30871204/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=1242.09 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 37165 0 0 0 124163 46 0 0 20 0 1 0 116038606 154861568 35147 33554432000 4194304 6058637 140737061135104 140737061133880 4278222 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 35147 178 456 0 37344 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 151232

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 4841
/proc/meminfo: memFree=30830064/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=1302.08 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 38241 0 0 0 130160 48 0 0 20 0 1 0 116038606 154861568 37195 33554432000 4194304 6058637 140737061135104 140737061133880 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 37195 178 456 0 37344 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 151232

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 4842
/proc/meminfo: memFree=30819648/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=182052 CPUtime=1362.07 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 39416 0 0 0 136157 50 0 0 20 0 1 0 116038606 186421248 37294 33554432000 4194304 6058637 140737061135104 140737061133880 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 45513 37294 178 456 0 45049 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 182052

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 4846
/proc/meminfo: memFree=30813192/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=1422.06 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 40390 0 0 0 142155 51 0 0 20 0 1 0 116038606 154861568 37195 33554432000 4194304 6058637 140737061135104 140737061133880 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 37195 178 456 0 37344 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 151232

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 4847
/proc/meminfo: memFree=30811540/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=1482.04 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 41479 0 0 0 148151 53 0 0 20 0 1 0 116038606 154861568 36171 33554432000 4194304 6058637 140737061135104 140737061133880 4278287 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 36171 178 456 0 37344 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 151232

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 4848
/proc/meminfo: memFree=30809312/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=1542.04 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 42553 0 0 0 154150 54 0 0 20 0 1 0 116038606 154861568 35147 33554432000 4194304 6058637 140737061135104 140737061133880 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 35147 178 456 0 37344 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 151232

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 4849
/proc/meminfo: memFree=30813856/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=151232 CPUtime=1602.03 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 43626 0 0 0 160146 57 0 0 20 0 1 0 116038606 154861568 34635 33554432000 4194304 6058637 140737061135104 140737061133880 4278287 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 37808 34635 178 456 0 37344 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 151232

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 4850
/proc/meminfo: memFree=30862392/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=101912 CPUtime=1662.01 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 44226 0 0 0 166143 58 0 0 20 0 1 0 116038606 104357888 24959 33554432000 4194304 6058637 140737061135104 140737061134168 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 25478 24959 178 456 0 25014 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 101912

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 4852
/proc/meminfo: memFree=30854016/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=101912 CPUtime=1722 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 45308 0 0 0 172141 59 0 0 20 0 1 0 116038606 104357888 24959 33554432000 4194304 6058637 140737061135104 140737061134168 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 25478 24959 178 456 0 25014 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 101912

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 4856
/proc/meminfo: memFree=30795116/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=182052 CPUtime=1781.99 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 46384 0 0 0 178138 61 0 0 20 0 1 0 116038606 186421248 40334 33554432000 4194304 6058637 140737061135104 140737061134136 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 45513 40334 178 456 0 45049 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 182052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 4856
/proc/meminfo: memFree=30844040/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=101912 CPUtime=1800 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 46386 0 0 0 179938 62 0 0 20 0 1 0 116038606 104357888 24959 33554432000 4194304 6058637 140737061135104 140737061134168 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 25478 24959 178 456 0 25014 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 101912

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 4856
/proc/meminfo: memFree=30844040/32872528 swapFree=8144/8144
[pid=4761] ppid=4758 vsize=101912 CPUtime=1800 cores=1,3,5,7
/proc/4761/stat : 4761 (open-wbo-lsu) R 4758 4761 4327 0 -1 4202496 46386 0 0 0 179938 62 0 0 20 0 1 0 116038606 104357888 24959 33554432000 4194304 6058637 140737061135104 140737061134168 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/4761/statm: 25478 24959 178 456 0 25014 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 101912

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800
CPU user time (s): 1799.38
CPU system time (s): 0.622905
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 182052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.622905
maximum resident set size= 165432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46389
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= 31
involuntary context switches= 1934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90625 second user time and 6.553 second system time

The end