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-4109107-1466267054/watcher-4109107-1466267054 -o /tmp/evaluation-result-4109107-1466267054/solver-4109107-1466267054 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466240299-31523 --watchdog 1960 open-wbo-lsu HOME/instance-4109107-1466267054.opb 

pid=4401
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.18 2.19 2.18 4/176 4404
/proc/meminfo: memFree=30490724/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=2676 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 28753997 2740224 295 33554432000 4194304 6058637 140734341903040 140735736187624 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 669 295 187 456 0 153 0

[startup+0.100165 s]
/proc/loadavg: 2.18 2.19 2.18 4/176 4404
/proc/meminfo: memFree=30490724/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=21428 CPUtime=0.09 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 3984 0 0 0 9 0 0 0 20 0 1 0 28753997 21942272 4224 33554432000 4194304 6058637 140734341903040 140735736187624 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 5357 4224 176 456 0 4893 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21428

[startup+0.200372 s]
/proc/loadavg: 2.18 2.19 2.18 4/176 4404
/proc/meminfo: memFree=30490724/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=21692 CPUtime=0.19 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 4088 0 0 0 19 0 0 0 20 0 1 0 28753997 22212608 4328 33554432000 4194304 6058637 140734341903040 140735736187624 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 5423 4328 176 456 0 4959 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21692

[startup+0.300324 s]
/proc/loadavg: 2.18 2.19 2.18 4/176 4404
/proc/meminfo: memFree=30490724/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=21692 CPUtime=0.29 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 4166 0 0 0 29 0 0 0 20 0 1 0 28753997 22212608 4406 33554432000 4194304 6058637 140734341903040 140735736187624 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 5423 4406 176 456 0 4959 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21692

[startup+0.700274 s]
/proc/loadavg: 2.18 2.19 2.18 4/176 4404
/proc/meminfo: memFree=30490724/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=24676 CPUtime=0.69 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 4445 0 0 0 69 0 0 0 20 0 1 0 28753997 25268224 4684 33554432000 4194304 6058637 140734341903040 140735736187624 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 6169 4684 177 456 0 5705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24676

[startup+1.50029 s]
/proc/loadavg: 2.18 2.19 2.18 4/177 4405
/proc/meminfo: memFree=30471540/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=22416 CPUtime=1.49 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 5412 0 0 0 149 0 0 0 20 0 1 0 28753997 22953984 4650 33554432000 4194304 6058637 140734341903040 140734341902072 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 5604 4650 179 456 0 5140 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22416

[startup+3.1003 s]
/proc/loadavg: 2.18 2.19 2.18 4/177 4405
/proc/meminfo: memFree=30439160/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=29888 CPUtime=3.09 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 6955 0 0 0 308 1 0 0 20 0 1 0 28753997 30605312 6106 33554432000 4194304 6058637 140734341903040 140734341902104 4254568 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 7472 6106 179 456 0 7008 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29888

[startup+6.3003 s]
/proc/loadavg: 2.17 2.19 2.18 4/177 4405
/proc/meminfo: memFree=30430508/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=41384 CPUtime=6.29 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 7953 0 0 0 628 1 0 0 20 0 1 0 28753997 42377216 7642 33554432000 4194304 6058637 140734341903040 140734341902376 4277382 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 10346 7642 179 456 0 9882 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41384

[startup+12.7003 s]
/proc/loadavg: 2.15 2.18 2.18 4/177 4405
/proc/meminfo: memFree=30446228/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=48564 CPUtime=12.68 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 8939 0 0 0 1267 1 0 0 20 0 1 0 28753997 49729536 11166 33554432000 4194304 6058637 140734341903040 140734341901800 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 12141 11166 179 456 0 11677 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48564

[startup+25.5004 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 4405
/proc/meminfo: memFree=30460708/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=41384 CPUtime=25.49 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 9899 0 0 0 2547 2 0 0 20 0 1 0 28753997 42377216 7642 33554432000 4194304 6058637 140734341903040 140734341902104 4278244 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 10346 7642 179 456 0 9882 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41384

[startup+51.1004 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 4405
/proc/meminfo: memFree=30411684/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=83836 CPUtime=51.08 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 12445 0 0 0 5104 4 0 0 20 0 1 0 28753997 85848064 19930 33554432000 4194304 6058637 140734341903040 140734341901768 4277690 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 20959 19930 179 456 0 20495 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83836

[startup+102.3 s]
/proc/loadavg: 2.19 2.19 2.18 4/177 4406
/proc/meminfo: memFree=30335168/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=134884 CPUtime=102.28 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 14057 0 0 0 10222 6 0 0 20 0 1 0 28753997 138121216 29860 33554432000 4194304 6058637 140734341903040 140734341902376 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 33721 29860 179 456 0 33257 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 134884

[startup+162.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/177 4407
/proc/meminfo: memFree=30364184/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=134884 CPUtime=162.27 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 15534 0 0 0 16217 10 0 0 20 0 1 0 28753997 138121216 28836 33554432000 4194304 6058637 140734341903040 140734341901816 4278197 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 33721 28836 179 456 0 33257 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 134884

[startup+222.307 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 4409
/proc/meminfo: memFree=30377600/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=134884 CPUtime=222.26 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 17964 0 0 0 22211 15 0 0 20 0 1 0 28753997 138121216 28324 33554432000 4194304 6058637 140734341903040 140734341902104 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 33721 28324 179 456 0 33257 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 134884

[startup+282.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 4410
/proc/meminfo: memFree=30308260/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=282.25 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 20185 0 0 0 28205 20 0 0 20 0 1 0 28753997 169680896 36583 33554432000 4194304 6058637 140734341903040 140734341902072 4277682 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 36583 179 456 0 40962 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 165704

[startup+342.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 4411
/proc/meminfo: memFree=30336116/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=342.24 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 21828 0 0 0 34200 24 0 0 20 0 1 0 28753997 169680896 39144 33554432000 4194304 6058637 140734341903040 140734341902072 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 39144 179 456 0 40962 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 165704

[startup+402.3 s]
/proc/loadavg: 2.14 2.18 2.18 4/178 4415
/proc/meminfo: memFree=30291404/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=402.22 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 23475 0 0 0 40194 28 0 0 20 0 1 0 28753997 169680896 39682 33554432000 4194304 6058637 140734341903040 140734341902072 4278177 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 39682 179 456 0 40962 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 165704

[startup+462.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/177 4416
/proc/meminfo: memFree=30344244/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=462.21 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 26761 0 0 0 46187 34 0 0 20 0 1 0 28753997 169680896 37122 33554432000 4194304 6058637 140734341903040 140734341902072 4254419 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 37122 179 456 0 40962 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 165704

[startup+522.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/177 4418
/proc/meminfo: memFree=30333068/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=134884 CPUtime=522.2 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 29451 0 0 0 52182 38 0 0 20 0 1 0 28753997 138121216 29887 33554432000 4194304 6058637 140734341903040 140734341901816 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 33721 29887 179 456 0 33257 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 134884

[startup+582.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 4419
/proc/meminfo: memFree=30329852/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=582.18 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 31693 0 0 0 58177 41 0 0 20 0 1 0 28753997 169680896 40194 33554432000 4194304 6058637 140734341903040 140734341902072 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 40194 179 456 0 40962 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 165704


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


[startup+882.307 s]
/proc/loadavg: 2.22 2.16 2.17 3/177 4425
/proc/meminfo: memFree=30324492/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=134884 CPUtime=882.14 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 42646 0 0 0 88150 64 0 0 20 0 1 0 28753997 138121216 30403 33554432000 4194304 6058637 140734341903040 140734341901816 4255535 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 33721 30403 179 456 0 33257 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 134884

[startup+942.3 s]
/proc/loadavg: 1.88 2.10 2.15 2/169 4457
/proc/meminfo: memFree=30477256/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=134884 CPUtime=942.13 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 44306 0 0 0 94146 67 0 0 20 0 1 0 28753997 138121216 32451 33554432000 4194304 6058637 140734341903040 140734341901816 4262641 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 33721 32451 179 456 0 33257 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 134884

[startup+1002.3 s]
/proc/loadavg: 1.48 1.94 2.09 2/171 4462
/proc/meminfo: memFree=30469544/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=1002.12 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 46548 0 0 0 100141 71 0 0 20 0 1 0 28753997 169680896 34054 33554432000 4194304 6058637 140734341903040 140734341902072 4254977 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 34054 179 456 0 40962 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 165704

[startup+1062.3 s]
/proc/loadavg: 1.32 1.81 2.03 2/170 4463
/proc/meminfo: memFree=30461224/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=1062.12 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 48728 0 0 0 106136 76 0 0 20 0 1 0 28753997 169680896 36614 33554432000 4194304 6058637 140734341903040 140734341902072 4254984 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 36614 179 456 0 40962 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 165704

[startup+1122.3 s]
/proc/loadavg: 1.24 1.70 1.98 2/170 4465
/proc/meminfo: memFree=30465188/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=1122.11 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 50533 0 0 0 112132 79 0 0 20 0 1 0 28753997 169680896 35078 33554432000 4194304 6058637 140734341903040 140734341902072 4262397 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 35078 179 456 0 40962 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 165704

[startup+1182.3 s]
/proc/loadavg: 1.32 1.65 1.94 2/170 4466
/proc/meminfo: memFree=30465644/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=1182.09 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 52710 0 0 0 118127 82 0 0 20 0 1 0 28753997 169680896 35590 33554432000 4194304 6058637 140734341903040 140734341902072 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 35590 179 456 0 40962 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 165704

[startup+1242.3 s]
/proc/loadavg: 1.22 1.57 1.90 2/170 4467
/proc/meminfo: memFree=30480028/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=134884 CPUtime=1242.08 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 54304 0 0 0 124123 85 0 0 20 0 1 0 28753997 138121216 31939 33554432000 4194304 6058637 140734341903040 140734341901816 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 33721 31939 179 456 0 33257 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 134884

[startup+1302.3 s]
/proc/loadavg: 1.21 1.51 1.85 2/170 4468
/proc/meminfo: memFree=30491812/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=134884 CPUtime=1302.07 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 56477 0 0 0 130119 88 0 0 20 0 1 0 28753997 138121216 28867 33554432000 4194304 6058637 140734341903040 140734341901816 4277682 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 33721 28867 179 456 0 33257 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 134884

[startup+1362.3 s]
/proc/loadavg: 1.21 1.46 1.81 2/170 4469
/proc/meminfo: memFree=30383364/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=297180 CPUtime=1362.05 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 58459 0 0 0 136114 91 0 0 20 0 1 0 28753997 304312320 55347 33554432000 4194304 6058637 140734341903040 140734341902072 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 74295 55347 179 456 0 73831 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 297180

[startup+1422.3 s]
/proc/loadavg: 1.29 1.44 1.79 3/170 4471
/proc/meminfo: memFree=30396284/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=215792 CPUtime=1422.04 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 60126 0 0 0 142110 94 0 0 20 0 1 0 28753997 220971008 52275 33554432000 4194304 6058637 140734341903040 140734341902072 4278328 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 53948 52275 179 456 0 53484 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 215792

[startup+1482.3 s]
/proc/loadavg: 1.21 1.39 1.74 2/170 4472
/proc/meminfo: memFree=30416752/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=215792 CPUtime=1482.03 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 62300 0 0 0 148105 98 0 0 20 0 1 0 28753997 220971008 47155 33554432000 4194304 6058637 140734341903040 140734341902072 4277690 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 53948 47155 179 456 0 53484 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 215792

[startup+1542.31 s]
/proc/loadavg: 1.26 1.36 1.71 3/170 4473
/proc/meminfo: memFree=30439024/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=215792 CPUtime=1542.03 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 64473 0 0 0 154101 102 0 0 20 0 1 0 28753997 220971008 42035 33554432000 4194304 6058637 140734341903040 140734341902072 4277687 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 53948 42035 179 456 0 53484 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 215792

[startup+1602.3 s]
/proc/loadavg: 1.30 1.35 1.69 2/171 4477
/proc/meminfo: memFree=30473228/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=165704 CPUtime=1602.01 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 65830 0 0 0 160096 105 0 0 20 0 1 0 28753997 169680896 34054 33554432000 4194304 6058637 140734341903040 140734341902072 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 41426 34054 179 456 0 40962 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 165704

[startup+1662.3 s]
/proc/loadavg: 1.30 1.35 1.66 2/170 4478
/proc/meminfo: memFree=30363332/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=297180 CPUtime=1662 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 67206 0 0 0 166092 108 0 0 20 0 1 0 28753997 304312320 60467 33554432000 4194304 6058637 140734341903040 140734341902072 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 74295 60467 179 456 0 73831 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 297180

[startup+1722.3 s]
/proc/loadavg: 1.22 1.32 1.63 2/170 4480
/proc/meminfo: memFree=30393976/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=215792 CPUtime=1722 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 68865 0 0 0 172088 112 0 0 20 0 1 0 28753997 220971008 52787 33554432000 4194304 6058637 140734341903040 140734341902072 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 53948 52787 179 456 0 53484 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 215792

[startup+1782.3 s]
/proc/loadavg: 1.32 1.34 1.62 2/170 4481
/proc/meminfo: memFree=30428532/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=215792 CPUtime=1781.98 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 71041 0 0 0 178084 114 0 0 20 0 1 0 28753997 220971008 44595 33554432000 4194304 6058637 140734341903040 140734341902072 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 53948 44595 179 456 0 53484 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 215792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.36 1.35 1.61 2/170 4481
/proc/meminfo: memFree=30398060/32872528 swapFree=1244176/1391344
[pid=4404] ppid=4401 vsize=215792 CPUtime=1800.08 cores=0,2,4,6
/proc/4404/stat : 4404 (open-wbo-lsu) R 4401 4404 31507 0 -1 4202496 71056 0 0 0 179893 115 0 0 20 0 1 0 28753997 220971008 52275 33554432000 4194304 6058637 140734341903040 140734341902072 4263421 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/4404/statm: 53948 52275 179 456 0 53484 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 215792

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

Child status: 40
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1798.94
CPU system time (s): 1.15882
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 297180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.15882
maximum resident set size= 245964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71059
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= 49
involuntary context switches= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.08338 second user time and 7.37988 second system time

The end