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

pid=32070
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: 1.27 1.45 1.83 3/174 32073
/proc/meminfo: memFree=30480652/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=2652 CPUtime=0 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 1 0 26080392 2715648 285 33554432000 4194304 6058637 140735360750752 140737135890664 4210712 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 663 285 181 456 0 153 0

[startup+0.100115 s]
/proc/loadavg: 1.27 1.45 1.83 3/174 32073
/proc/meminfo: memFree=30480652/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=13236 CPUtime=0.09 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 2384 0 0 0 9 0 0 0 20 0 1 0 26080392 13553664 2663 33554432000 4194304 6058637 140735360750752 140737135890664 4277598 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 3309 2663 176 456 0 2845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13236

[startup+0.200308 s]
/proc/loadavg: 1.27 1.45 1.83 3/174 32073
/proc/meminfo: memFree=30480652/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=13320 CPUtime=0.19 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 2404 0 0 0 19 0 0 0 20 0 1 0 26080392 13639680 2683 33554432000 4194304 6058637 140735360750752 140737135890664 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 3330 2683 176 456 0 2866 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13320

[startup+0.300276 s]
/proc/loadavg: 1.27 1.45 1.83 3/174 32073
/proc/meminfo: memFree=30480652/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=13388 CPUtime=0.29 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 2423 0 0 0 29 0 0 0 20 0 1 0 26080392 13709312 2702 33554432000 4194304 6058637 140735360750752 140737135890664 4277687 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 3347 2702 177 456 0 2883 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13388

[startup+0.700257 s]
/proc/loadavg: 1.27 1.45 1.83 3/174 32073
/proc/meminfo: memFree=30480652/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=13636 CPUtime=0.69 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 2476 0 0 0 69 0 0 0 20 0 1 0 26080392 13963264 2755 33554432000 4194304 6058637 140735360750752 140735360749576 4261802 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 3409 2755 177 456 0 2945 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13636

[startup+1.50033 s]
/proc/loadavg: 1.27 1.45 1.83 3/177 32244
/proc/meminfo: memFree=30468016/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=12200 CPUtime=1.49 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 3279 0 0 0 149 0 0 0 20 0 1 0 26080392 12492800 2538 33554432000 4194304 6058637 140735360750752 140735360750088 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 3050 2538 178 456 0 2586 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12200

[startup+3.10032 s]
/proc/loadavg: 1.27 1.45 1.83 3/172 32326
/proc/meminfo: memFree=30470388/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=16916 CPUtime=3.09 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 4736 0 0 0 309 0 0 0 20 0 1 0 26080392 17321984 3589 33554432000 4194304 6058637 140735360750752 140735360749480 4246088 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 4229 3589 178 456 0 3765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16916

[startup+6.30024 s]
/proc/loadavg: 1.33 1.46 1.83 3/177 32750
/proc/meminfo: memFree=30452968/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=22312 CPUtime=6.28 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 5806 0 0 0 628 0 0 0 20 0 1 0 26080392 22847488 5066 33554432000 4194304 6058637 140735360750752 140735360749512 4277630 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 5578 5066 178 456 0 5114 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22312

[startup+12.7003 s]
/proc/loadavg: 1.38 1.47 1.83 4/177 32750
/proc/meminfo: memFree=30444172/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=23988 CPUtime=12.68 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 6235 0 0 0 1268 0 0 0 20 0 1 0 26080392 24563712 5485 33554432000 4194304 6058637 140735360750752 140735360749512 4255186 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 5997 5485 178 456 0 5533 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23988

[startup+25.5004 s]
/proc/loadavg: 1.59 1.51 1.84 3/177 32750
/proc/meminfo: memFree=30431808/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=35684 CPUtime=25.48 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 7973 0 0 0 2547 1 0 0 20 0 1 0 26080392 36540416 7639 33554432000 4194304 6058637 140735360750752 140735360749480 4278331 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 8921 7639 178 456 0 8457 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35684

[startup+51.1004 s]
/proc/loadavg: 1.79 1.56 1.85 3/177 32750
/proc/meminfo: memFree=30415888/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=42868 CPUtime=51.08 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 8498 0 0 0 5107 1 0 0 20 0 1 0 26080392 43896832 10188 33554432000 4194304 6058637 140735360750752 140735360749512 4277357 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 10717 10188 178 456 0 10253 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42868

[startup+102.3 s]
/proc/loadavg: 1.94 1.64 1.86 4/178 32755
/proc/meminfo: memFree=30407336/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=43064 CPUtime=102.27 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 8748 0 0 0 10225 2 0 0 20 0 1 0 26080392 44097536 10237 33554432000 4194304 6058637 140735360750752 140735360749816 4277819 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 10766 10237 178 456 0 10302 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43064

[startup+162.3 s]
/proc/loadavg: 2.04 1.72 1.87 3/178 311
/proc/meminfo: memFree=30383508/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85016 CPUtime=162.26 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 9176 0 0 0 16223 3 0 0 20 0 1 0 26080392 87056384 14228 33554432000 4194304 6058637 140735360750752 140735360749480 4278287 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21254 14228 178 456 0 20790 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 85016

[startup+222.307 s]
/proc/loadavg: 2.09 1.80 1.89 3/177 312
/proc/meminfo: memFree=30386428/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=66204 CPUtime=222.25 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 9958 0 0 0 22222 3 0 0 20 0 1 0 26080392 67792896 13204 33554432000 4194304 6058637 140735360750752 140735360749480 4278255 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 16551 13204 178 456 0 16087 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 66204

[startup+282.3 s]
/proc/loadavg: 2.28 1.89 1.91 4/177 313
/proc/meminfo: memFree=30347972/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=282.24 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 10557 0 0 0 28220 4 0 0 20 0 1 0 26080392 87101440 19410 33554432000 4194304 6058637 140735360750752 140735360749480 4277795 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 19410 178 456 0 20801 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 85060

[startup+342.3 s]
/proc/loadavg: 2.24 1.94 1.92 3/177 314
/proc/meminfo: memFree=30345508/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=342.23 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 10558 0 0 0 34219 4 0 0 20 0 1 0 26080392 87101440 19922 33554432000 4194304 6058637 140735360750752 140735360749480 4277589 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 19922 178 456 0 20801 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 85060

[startup+402.3 s]
/proc/loadavg: 2.25 2.00 1.94 3/177 316
/proc/meminfo: memFree=30339332/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=402.23 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 10558 0 0 0 40218 5 0 0 20 0 1 0 26080392 87101440 19922 33554432000 4194304 6058637 140735360750752 140735360749480 4278255 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 19922 178 456 0 20801 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 85060

[startup+462.3 s]
/proc/loadavg: 2.16 2.02 1.95 4/177 317
/proc/meminfo: memFree=30333024/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=462.21 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 10559 0 0 0 46216 5 0 0 20 0 1 0 26080392 87101440 20434 33554432000 4194304 6058637 140735360750752 140735360749480 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 20434 178 456 0 20801 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 85060

[startup+522.3 s]
/proc/loadavg: 2.16 2.05 1.96 3/177 318
/proc/meminfo: memFree=30330824/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=522.21 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 10642 0 0 0 52216 5 0 0 20 0 1 0 26080392 87101440 20515 33554432000 4194304 6058637 140735360750752 140735360749480 4278137 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 20515 178 456 0 20801 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 85060

[startup+582.3 s]
/proc/loadavg: 2.20 2.08 1.98 3/177 319
/proc/meminfo: memFree=30298072/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=134380 CPUtime=582.2 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 11290 0 0 0 58214 6 0 0 20 0 1 0 26080392 137605120 28634 33554432000 4194304 6058637 140735360750752 140735360749528 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 33595 28634 178 456 0 33131 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 134380


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


[startup+942.3 s]
/proc/loadavg: 2.23 2.16 2.03 3/177 329
/proc/meminfo: memFree=30307572/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=942.14 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 13000 0 0 0 94203 11 0 0 20 0 1 0 26080392 87101440 20780 33554432000 4194304 6058637 140735360750752 140735360749816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 20780 178 456 0 20801 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 85060

[startup+1002.3 s]
/proc/loadavg: 2.19 2.16 2.04 4/177 331
/proc/meminfo: memFree=30307524/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=1002.13 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 13191 0 0 0 100202 11 0 0 20 0 1 0 26080392 87101440 20780 33554432000 4194304 6058637 140735360750752 140735360749816 4278265 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 20780 178 456 0 20801 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 85060

[startup+1062.3 s]
/proc/loadavg: 2.17 2.16 2.04 3/177 332
/proc/meminfo: memFree=30288868/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=1062.12 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 13382 0 0 0 106200 12 0 0 20 0 1 0 26080392 87101440 20780 33554432000 4194304 6058637 140735360750752 140735360749816 4277663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 20780 178 456 0 20801 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 85060

[startup+1122.3 s]
/proc/loadavg: 2.17 2.16 2.05 3/177 333
/proc/meminfo: memFree=30288756/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=85060 CPUtime=1122.12 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 13574 0 0 0 112199 13 0 0 20 0 1 0 26080392 87101440 20780 33554432000 4194304 6058637 140735360750752 140735360749816 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 21265 20780 178 456 0 20801 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 85060

[startup+1182.3 s]
/proc/loadavg: 2.23 2.17 2.06 4/177 334
/proc/meminfo: memFree=30257688/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=134380 CPUtime=1182.1 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 13955 0 0 0 118197 13 0 0 20 0 1 0 26080392 137605120 28634 33554432000 4194304 6058637 140735360750752 140735360749528 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 33595 28634 178 456 0 33131 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 134380

[startup+1242.3 s]
/proc/loadavg: 2.30 2.20 2.07 3/177 335
/proc/meminfo: memFree=30224940/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=134380 CPUtime=1242.09 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 14148 0 0 0 124195 14 0 0 20 0 1 0 26080392 137605120 29146 33554432000 4194304 6058637 140735360750752 140735360749528 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 33595 29146 178 456 0 33131 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 134380

[startup+1302.3 s]
/proc/loadavg: 2.23 2.19 2.08 3/178 340
/proc/meminfo: memFree=30237368/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1302.08 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 14483 0 0 0 130193 15 0 0 20 0 1 0 26080392 152838144 33377 33554432000 4194304 6058637 140735360750752 140735360749528 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 33377 178 456 0 36850 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 149256

[startup+1362.3 s]
/proc/loadavg: 2.14 2.17 2.08 4/177 341
/proc/meminfo: memFree=30203436/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1362.08 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 14675 0 0 0 136192 16 0 0 20 0 1 0 26080392 152838144 33377 33554432000 4194304 6058637 140735360750752 140735360749528 4278197 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 33377 178 456 0 36850 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 149256

[startup+1422.3 s]
/proc/loadavg: 2.15 2.16 2.08 3/177 342
/proc/meminfo: memFree=30240068/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1422.08 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 14867 0 0 0 142191 17 0 0 20 0 1 0 26080392 152838144 32865 33554432000 4194304 6058637 140735360750752 140735360749528 4278162 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 32865 178 456 0 36850 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 149256

[startup+1482.3 s]
/proc/loadavg: 2.17 2.16 2.09 3/177 343
/proc/meminfo: memFree=30205656/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1482.05 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 15061 0 0 0 148188 17 0 0 20 0 1 0 26080392 152838144 33377 33554432000 4194304 6058637 140735360750752 140735360749528 4278168 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 33377 178 456 0 36850 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 149256

[startup+1542.31 s]
/proc/loadavg: 2.17 2.16 2.09 4/177 344
/proc/meminfo: memFree=30240008/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1542.06 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 15253 0 0 0 154188 18 0 0 20 0 1 0 26080392 152838144 32865 33554432000 4194304 6058637 140735360750752 140735360749528 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 32865 178 456 0 36850 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 149256

[startup+1602.3 s]
/proc/loadavg: 2.16 2.16 2.09 3/177 346
/proc/meminfo: memFree=30239848/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1602.04 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 15446 0 0 0 160185 19 0 0 20 0 1 0 26080392 152838144 32865 33554432000 4194304 6058637 140735360750752 140735360749528 4277640 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 32865 178 456 0 36850 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 149256

[startup+1662.3 s]
/proc/loadavg: 2.22 2.17 2.10 3/177 347
/proc/meminfo: memFree=30201584/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1662.03 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 15640 0 0 0 166184 19 0 0 20 0 1 0 26080392 152838144 33377 33554432000 4194304 6058637 140735360750752 140735360749528 4277690 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 33377 178 456 0 36850 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 149256

[startup+1722.3 s]
/proc/loadavg: 2.12 2.15 2.09 4/177 348
/proc/meminfo: memFree=30239780/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1722.02 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 15834 0 0 0 172182 20 0 0 20 0 1 0 26080392 152838144 32865 33554432000 4194304 6058637 140735360750752 140735360749528 4263302 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 32865 178 456 0 36850 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 149256

[startup+1782.3 s]
/proc/loadavg: 2.26 2.19 2.10 3/177 349
/proc/meminfo: memFree=30272264/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=99936 CPUtime=1782.01 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 15839 0 0 0 178181 20 0 0 20 0 1 0 26080392 102334464 24499 33554432000 4194304 6058637 140735360750752 140735360749816 4277697 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 24984 24499 178 456 0 24520 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 99936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.19 2.10 3/177 349
/proc/meminfo: memFree=30201396/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1800.01 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 16031 0 0 0 179980 21 0 0 20 0 1 0 26080392 152838144 33889 33554432000 4194304 6058637 140735360750752 140735360749528 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 33889 178 456 0 36850 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 149256

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

[startup+1800.3 s]
/proc/loadavg: 2.25 2.19 2.10 3/177 349
/proc/meminfo: memFree=30201396/32872528 swapFree=1244176/1391344
[pid=32073] ppid=32070 vsize=149256 CPUtime=1800.01 cores=1,3,5,7
/proc/32073/stat : 32073 (open-wbo-lsu) R 32070 32073 31507 0 -1 4202496 16031 0 0 0 179980 21 0 0 20 0 1 0 26080392 152838144 33889 33554432000 4194304 6058637 140735360750752 140735360749528 4278328 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/32073/statm: 37314 33889 178 456 0 36850 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 149256

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.81
CPU system time (s): 0.214967
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 149256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.214967
maximum resident set size= 141700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16034
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= 12
involuntary context switches= 2008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95725 second user time and 7.15191 second system time

The end