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-4084202-1465355481/watcher-4084202-1465355481 -o /tmp/evaluation-result-4084202-1465355481/solver-4084202-1465355481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465337899-5895 --watchdog 1960 open-wbo-lsu HOME/instance-4084202-1465355481.opb 

pid=8986
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.20 2.12 2.04 3/176 8989
/proc/meminfo: memFree=30570176/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=3432 CPUtime=0 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 117481352 3514368 475 33554432000 4194304 6058637 140733644654384 140736694547928 5129950 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 858 475 376 456 0 153 0

[startup+0.100164 s]
/proc/loadavg: 2.20 2.12 2.04 3/176 8989
/proc/meminfo: memFree=30570176/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=4932 CPUtime=0.09 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 935 0 0 0 9 0 0 0 20 0 1 0 117481352 5050368 811 33554432000 4194304 6058637 140733644654384 140736694547928 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 1233 811 376 456 0 528 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4932

[startup+0.200296 s]
/proc/loadavg: 2.20 2.12 2.04 3/176 8989
/proc/meminfo: memFree=30570176/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=16676 CPUtime=0.19 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 3060 0 0 0 19 0 0 0 20 0 1 0 117481352 17076224 3200 33554432000 4194304 6058637 140733644654384 140733644653208 4246088 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 4169 3200 181 456 0 3705 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16676

[startup+0.300347 s]
/proc/loadavg: 2.20 2.12 2.04 3/176 8989
/proc/meminfo: memFree=30570176/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=16796 CPUtime=0.29 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 3096 0 0 0 29 0 0 0 20 0 1 0 117481352 17199104 3230 33554432000 4194304 6058637 140733644654384 140733644653208 4277322 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 4199 3230 181 456 0 3735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16796

[startup+0.700237 s]
/proc/loadavg: 2.20 2.12 2.04 3/176 8989
/proc/meminfo: memFree=30570176/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=17208 CPUtime=0.69 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 3286 0 0 0 69 0 0 0 20 0 1 0 117481352 17620992 3381 33554432000 4194304 6058637 140733644654384 140733644653208 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 4302 3381 182 456 0 3838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17208

[startup+1.50029 s]
/proc/loadavg: 2.20 2.12 2.04 3/177 8990
/proc/meminfo: memFree=30474804/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=235460 CPUtime=1.49 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 28524 0 0 0 145 4 0 0 20 0 1 0 117481352 241111040 46563 33554432000 4194304 6058637 140733644654384 140733644652616 5046461 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 58865 46564 184 456 0 58401 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 235460

[startup+3.1003 s]
/proc/loadavg: 2.18 2.12 2.04 3/177 8990
/proc/meminfo: memFree=30217624/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=450208 CPUtime=3.08 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 57600 0 0 0 297 11 0 0 20 0 1 0 117481352 461012992 107748 33554432000 4194304 6058637 140733644654384 140733644651976 4246099 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 112552 107748 185 456 0 112088 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 450208

[startup+6.3003 s]
/proc/loadavg: 2.18 2.12 2.04 3/177 8990
/proc/meminfo: memFree=30133976/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=452584 CPUtime=6.29 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 58189 0 0 0 617 12 0 0 20 0 1 0 117481352 463446016 108848 33554432000 4194304 6058637 140733644654384 140733644653000 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 113146 108848 185 456 0 112682 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 452584

[startup+12.7003 s]
/proc/loadavg: 2.16 2.11 2.04 3/177 8990
/proc/meminfo: memFree=30124396/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=453428 CPUtime=12.69 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 58411 0 0 0 1257 12 0 0 20 0 1 0 117481352 464310272 109581 33554432000 4194304 6058637 140733644654384 140733644653000 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 113357 109581 185 456 0 112893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 453428

[startup+25.5004 s]
/proc/loadavg: 2.13 2.11 2.04 3/177 8990
/proc/meminfo: memFree=30192344/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=454556 CPUtime=25.49 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 59129 0 0 0 2534 15 0 0 20 0 1 0 117481352 465465344 100311 33554432000 4194304 6058637 140733644654384 140733644652984 5046461 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 113639 100311 186 456 0 113175 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 454556

[startup+51.1004 s]
/proc/loadavg: 2.21 2.13 2.05 3/177 8990
/proc/meminfo: memFree=30188884/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=456704 CPUtime=51.08 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 59927 0 0 0 5091 17 0 0 20 0 1 0 117481352 467664896 96531 33554432000 4194304 6058637 140733644654384 140733644652984 4277655 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 114176 96531 186 456 0 113712 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 456704

[startup+102.3 s]
/proc/loadavg: 2.24 2.15 2.06 3/177 8991
/proc/meminfo: memFree=30208960/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=459212 CPUtime=102.28 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 61948 0 0 0 10205 23 0 0 20 0 1 0 117481352 470233088 92851 33554432000 4194304 6058637 140733644654384 140733644652984 4278439 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 114803 92851 186 456 0 114339 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 459212

[startup+162.3 s]
/proc/loadavg: 2.13 2.13 2.06 3/177 8993
/proc/meminfo: memFree=30232508/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=379808 CPUtime=162.26 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 63431 0 0 0 16197 29 0 0 20 0 1 0 117481352 388923392 88584 33554432000 4194304 6058637 140733644654384 140733644652984 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 94952 88584 186 456 0 94488 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 379808

[startup+222.307 s]
/proc/loadavg: 2.11 2.12 2.06 3/177 8994
/proc/meminfo: memFree=30201444/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=381220 CPUtime=222.27 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 65009 0 0 0 22189 38 0 0 20 0 1 0 117481352 390369280 91026 33554432000 4194304 6058637 140733644654384 140733644653208 4278171 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 95305 91026 186 456 0 94841 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 381220

[startup+282.3 s]
/proc/loadavg: 2.09 2.11 2.05 3/177 8995
/proc/meminfo: memFree=30213664/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=383004 CPUtime=282.25 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 66479 0 0 0 28180 45 0 0 20 0 1 0 117481352 392196096 89894 33554432000 4194304 6058637 140733644654384 140733644652984 4278255 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 95751 89894 186 456 0 95287 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 383004

[startup+342.3 s]
/proc/loadavg: 2.03 2.09 2.05 3/177 8996
/proc/meminfo: memFree=30208412/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=384712 CPUtime=342.24 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 68271 0 0 0 34172 52 0 0 20 0 1 0 117481352 393945088 88806 33554432000 4194304 6058637 140733644654384 140733644653208 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 96178 88806 186 456 0 95714 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 384712

[startup+402.3 s]
/proc/loadavg: 2.11 2.10 2.05 3/177 8997
/proc/meminfo: memFree=30167136/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=467440 CPUtime=402.22 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 69717 0 0 0 40164 58 0 0 20 0 1 0 117481352 478658560 95052 33554432000 4194304 6058637 140733644654384 140733644653000 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 116860 95052 186 456 0 116396 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 467440

[startup+462.3 s]
/proc/loadavg: 2.08 2.09 2.05 3/177 8999
/proc/meminfo: memFree=30180504/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=387440 CPUtime=462.19 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 71179 0 0 0 46155 64 0 0 20 0 1 0 117481352 396738560 87978 33554432000 4194304 6058637 140733644654384 140733644653208 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 96860 87978 186 456 0 96396 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 387440

[startup+522.3 s]
/proc/loadavg: 2.03 2.08 2.05 3/178 9003
/proc/meminfo: memFree=30195152/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=388508 CPUtime=522.16 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 72135 0 0 0 52148 68 0 0 20 0 1 0 117481352 397832192 92319 33554432000 4194304 6058637 140733644654384 140733644652984 4278171 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 97127 92319 186 456 0 96663 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 388508

[startup+582.3 s]
/proc/loadavg: 2.04 2.07 2.05 3/177 9004
/proc/meminfo: memFree=30175432/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=389284 CPUtime=582.15 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 72824 0 0 0 58143 72 0 0 20 0 1 0 117481352 398626816 92886 33554432000 4194304 6058637 140733644654384 140733644652984 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 97321 92886 186 456 0 96857 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 389284


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


[startup+882.307 s]
/proc/loadavg: 2.03 2.06 2.04 3/177 9010
/proc/meminfo: memFree=30197532/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=395956 CPUtime=882.1 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 77670 0 0 0 88114 96 0 0 20 0 1 0 117481352 405458944 86485 33554432000 4194304 6058637 140733644654384 140733644653448 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 98989 86485 186 456 0 98525 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 395956

[startup+942.3 s]
/proc/loadavg: 2.20 2.11 2.06 4/177 9011
/proc/meminfo: memFree=30141664/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=477936 CPUtime=942.09 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 78043 0 0 0 94111 98 0 0 20 0 1 0 117481352 489406464 103208 33554432000 4194304 6058637 140733644654384 140733644652984 4278190 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 119484 103208 186 456 0 119020 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 477936

[startup+1002.3 s]
/proc/loadavg: 2.12 2.10 2.06 3/177 9012
/proc/meminfo: memFree=30169104/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=478524 CPUtime=1002.08 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 78635 0 0 0 100106 102 0 0 20 0 1 0 117481352 490008576 100824 33554432000 4194304 6058637 140733644654384 140733644652984 4278268 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 119631 100824 186 456 0 119167 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 478524

[startup+1062.3 s]
/proc/loadavg: 2.20 2.13 2.07 3/177 9014
/proc/meminfo: memFree=30153832/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=479656 CPUtime=1062.07 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 79271 0 0 0 106101 106 0 0 20 0 1 0 117481352 491167744 98997 33554432000 4194304 6058637 140733644654384 140733644653416 4278190 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 119914 98997 186 456 0 119450 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 479656

[startup+1122.3 s]
/proc/loadavg: 2.25 2.15 2.08 3/178 9064
/proc/meminfo: memFree=30881968/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=398876 CPUtime=1122.06 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 79730 0 0 0 112097 109 0 0 20 0 1 0 117481352 408449024 95458 33554432000 4194304 6058637 140733644654384 140733644652984 4278177 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 99719 95458 186 456 0 99255 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 398876

[startup+1182.3 s]
/proc/loadavg: 2.15 2.14 2.08 3/177 9065
/proc/meminfo: memFree=30892688/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=400492 CPUtime=1182.05 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 80502 0 0 0 118092 113 0 0 20 0 1 0 117481352 410103808 89674 33554432000 4194304 6058637 140733644654384 140733644653448 4278255 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 100123 89674 186 456 0 99659 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 400492

[startup+1242.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/176 9066
/proc/meminfo: memFree=30797928/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=482328 CPUtime=1242.04 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 80840 0 0 0 124090 114 0 0 20 0 1 0 117481352 493903872 105342 33554432000 4194304 6058637 140733644654384 140733644652984 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 120582 105342 186 456 0 120118 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 482328

[startup+1302.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/177 9068
/proc/meminfo: memFree=30806488/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=483256 CPUtime=1302.04 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 81427 0 0 0 130085 119 0 0 20 0 1 0 117481352 494854144 100929 33554432000 4194304 6058637 140733644654384 140733644653416 4255250 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 120814 100929 186 456 0 120350 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 483256

[startup+1362.3 s]
/proc/loadavg: 2.13 2.12 2.08 3/177 9070
/proc/meminfo: memFree=30828816/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=402588 CPUtime=1362.02 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 81871 0 0 0 136081 121 0 0 20 0 1 0 117481352 412250112 94817 33554432000 4194304 6058637 140733644654384 140733644652984 4277643 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 100647 94817 186 456 0 100183 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 402588

[startup+1422.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/177 9071
/proc/meminfo: memFree=30768196/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=484336 CPUtime=1422.02 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 82178 0 0 0 142079 123 0 0 20 0 1 0 117481352 495960064 109430 33554432000 4194304 6058637 140733644654384 140733644653000 4277589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 121084 109430 186 456 0 120620 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 484336

[startup+1482.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/177 9072
/proc/meminfo: memFree=30760448/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=485292 CPUtime=1482 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 82734 0 0 0 148073 127 0 0 20 0 1 0 117481352 496939008 102913 33554432000 4194304 6058637 140733644654384 140733644653416 4277493 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 121323 102913 186 456 0 120859 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 485292

[startup+1542.31 s]
/proc/loadavg: 2.17 2.13 2.09 4/177 9073
/proc/meminfo: memFree=30829208/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=404620 CPUtime=1542 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 83165 0 0 0 154069 131 0 0 20 0 1 0 117481352 414330880 94222 33554432000 4194304 6058637 140733644654384 140733644652984 4277682 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 101155 94222 186 456 0 100691 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 404620

[startup+1602.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/177 9074
/proc/meminfo: memFree=30770624/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=486396 CPUtime=1601.98 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 83461 0 0 0 160066 132 0 0 20 0 1 0 117481352 498069504 108314 33554432000 4194304 6058637 140733644654384 140733644653000 4277378 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 121599 108314 186 456 0 121135 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 486396

[startup+1662.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/177 9076
/proc/meminfo: memFree=30800544/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=487168 CPUtime=1661.97 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 84083 0 0 0 166061 136 0 0 20 0 1 0 117481352 498860032 101354 33554432000 4194304 6058637 140733644654384 140733644653000 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 121792 101354 186 456 0 121328 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 487168

[startup+1722.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/178 9080
/proc/meminfo: memFree=30799520/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=406640 CPUtime=1721.96 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 84549 0 0 0 172056 140 0 0 20 0 1 0 117481352 416399360 92234 33554432000 4194304 6058637 140733644654384 140733644653448 4278290 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 101660 92234 186 456 0 101196 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 406640

[startup+1782.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/177 9081
/proc/meminfo: memFree=30765408/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=488284 CPUtime=1781.95 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 84810 0 0 0 178053 142 0 0 20 0 1 0 117481352 500002816 109358 33554432000 4194304 6058637 140733644654384 140733644653416 4278287 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 122071 109358 186 456 0 121607 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 488284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.10 2.09 3/177 9081
/proc/meminfo: memFree=30707932/32872528 swapFree=11320/319964
[pid=8989] ppid=8986 vsize=488612 CPUtime=1800.05 cores=0,2,4,6
/proc/8989/stat : 8989 (open-wbo-lsu) R 8986 8989 5879 0 -1 4202496 84892 0 0 0 179862 143 0 0 20 0 1 0 117481352 500338688 113017 33554432000 4194304 6058637 140733644654384 140733644652984 4277957 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/8989/statm: 122153 113017 186 456 0 121689 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 488612

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 8989 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.07
CPU user time (s): 1798.63
CPU system time (s): 1.43978
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 667232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 1.43978
maximum resident set size= 599288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84894
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= 115
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64729 second user time and 6.81496 second system time

The end