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-4086840-1465269900/watcher-4086840-1465269900 -o /tmp/evaluation-result-4086840-1465269900/solver-4086840-1465269900 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465253786-15006 --watchdog 1960 open-wbo HOME/instance-4086840-1465269900.opb 

pid=18465
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.30 2.26 2.20 3/176 18468
/proc/meminfo: memFree=29726960/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=3432 CPUtime=0 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 108921828 3514368 475 33554432000 4194304 6059633 140734509890992 140734283459432 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 858 475 375 456 0 153 0

[startup+0.100204 s]
/proc/loadavg: 2.30 2.26 2.20 3/176 18468
/proc/meminfo: memFree=29726960/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=9136 CPUtime=0.09 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 1202 0 0 0 9 0 0 0 20 0 1 0 108921828 9355264 834 33554432000 4194304 6059633 140734509890992 140734283459432 4294931 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 2284 836 155 456 0 1820 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9136

[startup+0.200273 s]
/proc/loadavg: 2.30 2.26 2.20 3/176 18468
/proc/meminfo: memFree=29726960/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=16720 CPUtime=0.19 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 3216 0 0 0 19 0 0 0 20 0 1 0 108921828 17121280 3350 33554432000 4194304 6059633 140734509890992 140734283459432 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 4180 3350 179 456 0 3716 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16720

[startup+0.300352 s]
/proc/loadavg: 2.30 2.26 2.20 3/176 18468
/proc/meminfo: memFree=29726960/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=16840 CPUtime=0.29 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 3252 0 0 0 29 0 0 0 20 0 1 0 108921828 17244160 3380 33554432000 4194304 6059633 140734509890992 140734283459432 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 4210 3380 179 456 0 3746 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16840

[startup+0.700264 s]
/proc/loadavg: 2.30 2.26 2.20 3/176 18468
/proc/meminfo: memFree=29726960/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=17384 CPUtime=0.69 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 3394 0 0 0 69 0 0 0 20 0 1 0 108921828 17801216 3488 33554432000 4194304 6059633 140734509890992 140734509889016 4277595 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 4346 3488 180 456 0 3882 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17384

[startup+1.50027 s]
/proc/loadavg: 2.30 2.26 2.20 3/177 18469
/proc/meminfo: memFree=29711044/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=17644 CPUtime=1.49 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 3507 0 0 0 149 0 0 0 20 0 1 0 108921828 18067456 3592 33554432000 4194304 6059633 140734509890992 140734509889752 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 4411 3592 182 456 0 3947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17644

[startup+3.10024 s]
/proc/loadavg: 2.30 2.26 2.20 3/177 18469
/proc/meminfo: memFree=29709068/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=19672 CPUtime=3.09 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 5638 0 0 0 308 1 0 0 20 0 1 0 108921828 20144128 3934 33554432000 4194304 6059633 140734509890992 140734509889240 4277835 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 4918 3934 185 456 0 4454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19672

[startup+6.30027 s]
/proc/loadavg: 2.36 2.27 2.20 3/177 18469
/proc/meminfo: memFree=29694448/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=35980 CPUtime=6.29 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 9600 0 0 0 627 2 0 0 20 0 1 0 108921828 36843520 7058 33554432000 4194304 6059633 140734509890992 140734509889016 4262754 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 8995 7058 189 456 0 8531 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35980

[startup+12.7002 s]
/proc/loadavg: 2.33 2.27 2.20 4/177 18469
/proc/meminfo: memFree=29680048/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=51936 CPUtime=12.69 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 10192 0 0 0 1267 2 0 0 20 0 1 0 108921828 53182464 10196 33554432000 4194304 6059633 140734509890992 140734509889176 4278363 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 12984 10196 189 456 0 12520 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51936

[startup+25.5004 s]
/proc/loadavg: 2.25 2.25 2.19 3/177 18469
/proc/meminfo: memFree=29680620/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=47472 CPUtime=25.49 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 11606 0 0 0 2546 3 0 0 20 0 1 0 108921828 48611328 9108 33554432000 4194304 6059633 140734509890992 140734509889144 4262663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 11868 9108 189 456 0 11404 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47472

[startup+51.1004 s]
/proc/loadavg: 2.23 2.25 2.19 3/177 18469
/proc/meminfo: memFree=29655556/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=78172 CPUtime=51.08 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 13964 0 0 0 5104 4 0 0 20 0 1 0 108921828 80048128 12600 33554432000 4194304 6059633 140734509890992 140734509889144 4262704 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 19543 12600 189 456 0 19079 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78172

[startup+102.3 s]
/proc/loadavg: 2.34 2.27 2.20 3/177 18470
/proc/meminfo: memFree=29616288/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=91552 CPUtime=102.29 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 15922 0 0 0 10222 7 0 0 20 0 1 0 108921828 93749248 22035 33554432000 4194304 6059633 140734509890992 140734509889752 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 22888 22035 190 456 0 22424 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 91552

[startup+162.3 s]
/proc/loadavg: 2.35 2.28 2.20 3/177 18472
/proc/meminfo: memFree=29574940/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=140872 CPUtime=162.26 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 17378 0 0 0 16218 8 0 0 20 0 1 0 108921828 144252928 31207 33554432000 4194304 6059633 140734509890992 140734509889192 4278288 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 35218 31207 190 456 0 34754 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 140872

[startup+222.307 s]
/proc/loadavg: 2.37 2.29 2.21 3/177 18473
/proc/meminfo: memFree=29630640/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=91552 CPUtime=222.27 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 18356 0 0 0 22217 10 0 0 20 0 1 0 108921828 93749248 22035 33554432000 4194304 6059633 140734509890992 140734509889480 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 22888 22035 190 456 0 22424 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 91552

[startup+282.3 s]
/proc/loadavg: 2.37 2.29 2.21 3/177 18474
/proc/meminfo: memFree=29628296/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=91552 CPUtime=282.25 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 19875 0 0 0 28212 13 0 0 20 0 1 0 108921828 93749248 22035 33554432000 4194304 6059633 140734509890992 140734509889480 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 22888 22035 190 456 0 22424 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 91552

[startup+342.3 s]
/proc/loadavg: 2.26 2.28 2.21 3/178 18478
/proc/meminfo: memFree=29630336/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=91552 CPUtime=342.23 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 21440 0 0 0 34208 15 0 0 20 0 1 0 108921828 93749248 22035 33554432000 4194304 6059633 140734509890992 140734509889480 4277882 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 22888 22035 190 456 0 22424 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 91552

[startup+402.3 s]
/proc/loadavg: 2.20 2.26 2.20 3/177 18479
/proc/meminfo: memFree=29575980/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=171692 CPUtime=402.23 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 23592 0 0 0 40204 19 0 0 20 0 1 0 108921828 175812608 35370 33554432000 4194304 6059633 140734509890992 140734509889448 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 42923 35370 190 456 0 42459 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 171692

[startup+462.3 s]
/proc/loadavg: 2.17 2.24 2.19 3/177 18481
/proc/meminfo: memFree=29597652/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=140872 CPUtime=462.22 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 25157 0 0 0 46202 20 0 0 20 0 1 0 108921828 144252928 30183 33554432000 4194304 6059633 140734509890992 140734509889480 4261480 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 35218 30183 190 456 0 34754 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 140872

[startup+522.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/177 18482
/proc/meminfo: memFree=29482548/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=140872 CPUtime=522.22 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 26246 0 0 0 52199 23 0 0 20 0 1 0 108921828 144252928 34279 33554432000 4194304 6059633 140734509890992 140734509889192 4278457 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 35218 34279 190 456 0 34754 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 140872

[startup+582.3 s]
/proc/loadavg: 2.26 2.24 2.19 4/177 18483
/proc/meminfo: memFree=29539216/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=171692 CPUtime=582.2 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 27913 0 0 0 58195 25 0 0 20 0 1 0 108921828 175812608 37930 33554432000 4194304 6059633 140734509890992 140734509889448 4262743 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 42923 37930 190 456 0 42459 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 171692


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


[startup+942.3 s]
/proc/loadavg: 2.52 2.30 2.21 4/178 18493
/proc/meminfo: memFree=29601200/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=107564 CPUtime=942.14 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 35948 0 0 0 94173 41 0 0 20 0 1 0 108921828 110145536 26078 33554432000 4194304 6059633 140734509890992 140734509889480 4262591 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 26891 26078 191 456 0 26427 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 107564

[startup+1002.3 s]
/proc/loadavg: 2.37 2.29 2.20 3/177 18539
/proc/meminfo: memFree=30059956/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=107564 CPUtime=1002.14 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 37342 0 0 0 100170 44 0 0 20 0 1 0 108921828 110145536 26078 33554432000 4194304 6059633 140734509890992 140734509889448 4265243 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 26891 26078 191 456 0 26427 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 107564

[startup+1062.3 s]
/proc/loadavg: 2.23 2.27 2.20 3/176 18540
/proc/meminfo: memFree=29956508/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=237792 CPUtime=1062.12 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 38738 0 0 0 106166 46 0 0 20 0 1 0 108921828 243499008 48930 33554432000 4194304 6059633 140734509890992 140734509889448 4261657 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 59448 48930 191 456 0 58984 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 237792

[startup+1122.3 s]
/proc/loadavg: 2.31 2.28 2.20 4/177 18542
/proc/meminfo: memFree=29958104/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=237792 CPUtime=1122.12 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 40129 0 0 0 112163 49 0 0 20 0 1 0 108921828 243499008 47394 33554432000 4194304 6059633 140734509890992 140734509889448 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 59448 47394 191 456 0 58984 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 237792

[startup+1182.3 s]
/proc/loadavg: 2.26 2.27 2.20 4/177 18543
/proc/meminfo: memFree=29935068/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=187704 CPUtime=1182.11 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 41223 0 0 0 118160 51 0 0 20 0 1 0 108921828 192208896 45557 33554432000 4194304 6059633 140734509890992 140734509889448 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 46926 45557 191 456 0 46462 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 187704

[startup+1242.3 s]
/proc/loadavg: 2.14 2.23 2.19 3/177 18544
/proc/meminfo: memFree=29944180/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=187704 CPUtime=1242.09 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 42615 0 0 0 124156 53 0 0 20 0 1 0 108921828 192208896 42997 33554432000 4194304 6059633 140734509890992 140734509889448 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 46926 42997 191 456 0 46462 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 187704

[startup+1302.3 s]
/proc/loadavg: 2.24 2.25 2.19 4/177 18545
/proc/meminfo: memFree=29956452/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=187704 CPUtime=1302.09 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 44014 0 0 0 130152 57 0 0 20 0 1 0 108921828 192208896 40437 33554432000 4194304 6059633 140734509890992 140734509889448 4277852 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 46926 40437 191 456 0 46462 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 187704

[startup+1362.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/177 18546
/proc/meminfo: memFree=29968040/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=156884 CPUtime=1362.08 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 44826 0 0 0 136150 58 0 0 20 0 1 0 108921828 160649216 35250 33554432000 4194304 6059633 140734509890992 140734509889192 4278389 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 39221 35250 191 456 0 38757 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 156884

[startup+1422.3 s]
/proc/loadavg: 2.15 2.20 2.18 4/177 18548
/proc/meminfo: memFree=29892760/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=237792 CPUtime=1422.07 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 45743 0 0 0 142147 60 0 0 20 0 1 0 108921828 243499008 53538 33554432000 4194304 6059633 140734509890992 140734509889448 4278352 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 59448 53538 191 456 0 58984 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 237792

[startup+1482.3 s]
/proc/loadavg: 2.29 2.22 2.19 4/177 18549
/proc/meminfo: memFree=29907084/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=237792 CPUtime=1482.06 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 47140 0 0 0 148143 63 0 0 20 0 1 0 108921828 243499008 49442 33554432000 4194304 6059633 140734509890992 140734509889448 4277864 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 59448 49442 191 456 0 58984 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 237792

[startup+1542.31 s]
/proc/loadavg: 2.33 2.24 2.19 3/178 18553
/proc/meminfo: memFree=29926648/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=187704 CPUtime=1542.06 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 48235 0 0 0 154140 66 0 0 20 0 1 0 108921828 192208896 44533 33554432000 4194304 6059633 140734509890992 140734509889448 4277616 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 46926 44533 191 456 0 46462 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 187704

[startup+1602.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 18554
/proc/meminfo: memFree=29951024/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=156884 CPUtime=1602.05 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 49049 0 0 0 160137 68 0 0 20 0 1 0 108921828 160649216 38322 33554432000 4194304 6059633 140734509890992 140734509889192 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 39221 38322 191 456 0 38757 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 156884

[startup+1662.3 s]
/proc/loadavg: 2.26 2.24 2.19 4/177 18555
/proc/meminfo: memFree=29878048/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=237792 CPUtime=1662.04 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 49966 0 0 0 166134 70 0 0 20 0 1 0 108921828 243499008 56610 33554432000 4194304 6059633 140734509890992 140734509889448 4262578 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 59448 56610 191 456 0 58984 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 237792

[startup+1722.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 18557
/proc/meminfo: memFree=29902860/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=237792 CPUtime=1722.03 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 51361 0 0 0 172130 73 0 0 20 0 1 0 108921828 243499008 50466 33554432000 4194304 6059633 140734509890992 140734509889448 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 59448 50466 191 456 0 58984 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 237792

[startup+1782.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/177 18558
/proc/meminfo: memFree=29931884/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=187704 CPUtime=1782.02 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 52458 0 0 0 178127 75 0 0 20 0 1 0 108921828 192208896 43509 33554432000 4194304 6059633 140734509890992 140734509889448 4277619 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 46926 43509 191 456 0 46462 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 187704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/177 18559
/proc/meminfo: memFree=29910032/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=237792 CPUtime=1800.02 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 52770 0 0 0 179926 76 0 0 20 0 1 0 108921828 243499008 48930 33554432000 4194304 6059633 140734509890992 140734509889448 4278540 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 59448 48930 191 456 0 58984 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 237792

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

[startup+1800.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/177 18559
/proc/meminfo: memFree=29910032/32872528 swapFree=18240/1696364
[pid=18468] ppid=18465 vsize=237792 CPUtime=1800.02 cores=1,3,5,7
/proc/18468/stat : 18468 (open-wbo) R 18465 18468 14989 0 -1 4202496 52770 0 0 0 179926 76 0 0 20 0 1 0 108921828 243499008 48930 33554432000 4194304 6059633 140734509890992 140734509889448 4278540 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/18468/statm: 59448 48930 191 456 0 58984 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 237792

Child status: 40
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.26
CPU system time (s): 0.767883
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 237792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.767883
maximum resident set size= 230536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52773
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= 1967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5883 second user time and 6.87296 second system time

The end