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-4118354-1467219561/watcher-4118354-1467219561 -o /tmp/evaluation-result-4118354-1467219561/solver-4118354-1467219561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467210304-1981 --watchdog 1960 open-wbo HOME/instance-4118354-1467219561.opb 

pid=3291
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.15 2.15 2.16 3/174 3294
/proc/meminfo: memFree=29135220/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=3068 CPUtime=0 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 982060 3141632 372 33554432000 4194304 6059633 140736937922544 140736830509064 5043379 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 767 373 217 456 0 219 0

[startup+0.100125 s]
/proc/loadavg: 2.15 2.15 2.16 3/174 3294
/proc/meminfo: memFree=29135220/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=14356 CPUtime=0.09 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 2512 0 0 0 9 0 0 0 20 0 1 0 982060 14700544 2223 33554432000 4194304 6059633 140736937922544 140736937921304 4278035 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 3589 2223 174 456 0 3125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14356

[startup+0.200339 s]
/proc/loadavg: 2.15 2.15 2.16 3/174 3294
/proc/meminfo: memFree=29135220/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=15496 CPUtime=0.19 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 2743 0 0 0 19 0 0 0 20 0 1 0 982060 15867904 2453 33554432000 4194304 6059633 140736937922544 140736937921304 5268791 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 3874 2453 174 456 0 3410 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15496

[startup+0.300274 s]
/proc/loadavg: 2.15 2.15 2.16 3/174 3294
/proc/meminfo: memFree=29135220/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=15628 CPUtime=0.29 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 2844 0 0 0 29 0 0 0 20 0 1 0 982060 16003072 2553 33554432000 4194304 6059633 140736937922544 140736937921304 5268791 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 3907 2553 174 456 0 3443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15628

[startup+0.700271 s]
/proc/loadavg: 2.15 2.15 2.16 3/174 3294
/proc/meminfo: memFree=29135220/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=18812 CPUtime=0.69 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 3654 0 0 0 69 0 0 0 20 0 1 0 982060 19263488 3874 33554432000 4194304 6059633 140736937922544 140736937921304 4277527 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 4703 3874 188 456 0 4239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18812

[startup+1.50029 s]
/proc/loadavg: 2.15 2.15 2.16 3/175 3295
/proc/meminfo: memFree=29119548/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=17420 CPUtime=1.49 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 4261 0 0 0 149 0 0 0 20 0 1 0 982060 17838080 3684 33554432000 4194304 6059633 140736937922544 140736937921304 4277820 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 4355 3684 191 456 0 3891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17420

[startup+3.10029 s]
/proc/loadavg: 2.14 2.15 2.16 3/175 3295
/proc/meminfo: memFree=29119860/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=20548 CPUtime=3.09 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 5043 0 0 0 308 1 0 0 20 0 1 0 982060 21041152 4421 33554432000 4194304 6059633 140736937922544 140736937921304 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 5137 4421 193 456 0 4673 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20548

[startup+6.3003 s]
/proc/loadavg: 2.14 2.15 2.16 3/175 3295
/proc/meminfo: memFree=29116124/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=26360 CPUtime=6.29 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 5606 0 0 0 628 1 0 0 20 0 1 0 982060 26992640 5451 33554432000 4194304 6059633 140736937922544 140736937921304 4261516 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 6590 5451 194 456 0 6126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26360

[startup+12.7003 s]
/proc/loadavg: 2.20 2.16 2.17 3/175 3295
/proc/meminfo: memFree=29089964/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=26360 CPUtime=12.69 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 5692 0 0 0 1268 1 0 0 20 0 1 0 982060 26992640 6045 33554432000 4194304 6059633 140736937922544 140736937921304 4261792 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 6590 6045 194 456 0 6126 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26360

[startup+25.5004 s]
/proc/loadavg: 2.25 2.17 2.17 3/175 3295
/proc/meminfo: memFree=29106820/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=30756 CPUtime=25.48 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 6297 0 0 0 2547 1 0 0 20 0 1 0 982060 31494144 7105 33554432000 4194304 6059633 140736937922544 140736937920728 4300083 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 7689 7105 194 456 0 7225 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30756

[startup+51.1004 s]
/proc/loadavg: 2.16 2.16 2.16 4/176 3298
/proc/meminfo: memFree=29085912/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=31816 CPUtime=51.09 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 6784 0 0 0 5107 2 0 0 20 0 1 0 982060 32579584 7440 33554432000 4194304 6059633 140736937922544 140736937921032 4277586 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 7954 7440 194 456 0 7490 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31816

[startup+102.3 s]
/proc/loadavg: 2.15 2.16 2.16 3/176 3322
/proc/meminfo: memFree=29061460/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=48212 CPUtime=102.28 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 7755 0 0 0 10226 2 0 0 20 0 1 0 982060 49369088 10930 33554432000 4194304 6059633 140736937922544 140736937921304 4277822 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 12053 10930 194 456 0 11589 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 48212

[startup+162.3 s]
/proc/loadavg: 2.26 2.19 2.17 3/175 3323
/proc/meminfo: memFree=29053448/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=55396 CPUtime=162.27 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 8160 0 0 0 16225 2 0 0 20 0 1 0 982060 56725504 12855 33554432000 4194304 6059633 140736937922544 140736937921304 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 13849 12855 194 456 0 13385 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 55396

[startup+222.307 s]
/proc/loadavg: 2.29 2.21 2.18 3/175 3325
/proc/meminfo: memFree=29051276/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=55396 CPUtime=222.26 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 8171 0 0 0 22224 2 0 0 20 0 1 0 982060 56725504 12866 33554432000 4194304 6059633 140736937922544 140736937921304 4262621 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 13849 12866 194 456 0 13385 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 55396

[startup+282.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/175 3326
/proc/meminfo: memFree=29045568/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=59812 CPUtime=282.25 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 8785 0 0 0 28222 3 0 0 20 0 1 0 982060 61247488 13973 33554432000 4194304 6059633 140736937922544 140736937921304 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 14953 13973 194 456 0 14489 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 59812

[startup+342.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/175 3327
/proc/meminfo: memFree=28996860/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=78952 CPUtime=342.23 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 9313 0 0 0 34220 3 0 0 20 0 1 0 982060 80846848 16832 33554432000 4194304 6059633 140736937922544 140736937921304 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 19738 16832 194 456 0 19274 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 78952

[startup+402.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/175 3328
/proc/meminfo: memFree=29033836/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=78952 CPUtime=402.22 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 9325 0 0 0 40219 3 0 0 20 0 1 0 982060 80846848 16843 33554432000 4194304 6059633 140736937922544 140736937921304 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 19738 16843 194 456 0 19274 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 78952

[startup+462.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/175 3329
/proc/meminfo: memFree=28988596/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=79024 CPUtime=462.21 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 9328 0 0 0 46218 3 0 0 20 0 1 0 982060 80920576 18379 33554432000 4194304 6059633 140736937922544 140736937921304 4277832 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 19756 18379 194 456 0 19292 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 79024

[startup+522.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/175 3330
/proc/meminfo: memFree=28990644/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=79024 CPUtime=522.2 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 9335 0 0 0 52217 3 0 0 20 0 1 0 982060 80920576 18386 33554432000 4194304 6059633 140736937922544 140736937921304 4277879 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 19756 18386 194 456 0 19292 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 79024

[startup+582.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/175 3332
/proc/meminfo: memFree=28996792/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=79024 CPUtime=582.19 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 9339 0 0 0 58216 3 0 0 20 0 1 0 982060 80920576 18390 33554432000 4194304 6059633 140736937922544 140736937921304 4255341 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 19756 18390 194 456 0 19292 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 79024


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


[startup+942.3 s]
/proc/loadavg: 2.30 2.21 2.18 3/175 3342
/proc/meminfo: memFree=28976932/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=942.14 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 12990 0 0 0 94206 8 0 0 20 0 1 0 982060 98902016 23209 33554432000 4194304 6059633 140736937922544 140736937921032 4264640 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23209 194 456 0 23682 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 96584

[startup+1002.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/175 3343
/proc/meminfo: memFree=28960312/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=1002.14 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 13363 0 0 0 100205 9 0 0 20 0 1 0 982060 98902016 23214 33554432000 4194304 6059633 140736937922544 140736937921032 4277586 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23214 194 456 0 23682 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 96584

[startup+1062.3 s]
/proc/loadavg: 2.13 2.19 2.17 4/175 3344
/proc/meminfo: memFree=28913972/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=145904 CPUtime=1062.13 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 14097 0 0 0 106203 10 0 0 20 0 1 0 982060 149405696 33802 33554432000 4194304 6059633 140736937922544 140736937920744 4277874 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 36476 33802 194 456 0 36012 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 145904

[startup+1122.3 s]
/proc/loadavg: 2.10 2.16 2.17 3/175 3345
/proc/meminfo: memFree=29007348/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=1122.11 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 14468 0 0 0 112201 10 0 0 20 0 1 0 982060 98902016 23218 33554432000 4194304 6059633 140736937922544 140736937921032 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23218 194 456 0 23682 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 96584

[startup+1182.3 s]
/proc/loadavg: 2.09 2.15 2.16 3/175 3347
/proc/meminfo: memFree=29007116/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=1182.1 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 14837 0 0 0 118199 11 0 0 20 0 1 0 982060 98902016 23218 33554432000 4194304 6059633 140736937922544 140736937921032 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23218 194 456 0 23682 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 96584

[startup+1242.3 s]
/proc/loadavg: 2.15 2.15 2.16 4/176 3351
/proc/meminfo: memFree=28969524/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=145904 CPUtime=1242.1 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 15572 0 0 0 124197 13 0 0 20 0 1 0 982060 149405696 31249 33554432000 4194304 6059633 140736937922544 140736937921032 4277477 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 36476 31249 194 456 0 36012 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 145904

[startup+1302.3 s]
/proc/loadavg: 2.16 2.15 2.16 3/175 3352
/proc/meminfo: memFree=28928116/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=145904 CPUtime=1302.09 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 15945 0 0 0 130195 14 0 0 20 0 1 0 982060 149405696 33297 33554432000 4194304 6059633 140736937922544 140736937920744 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 36476 33297 194 456 0 36012 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 145904

[startup+1362.3 s]
/proc/loadavg: 2.31 2.18 2.17 3/175 3353
/proc/meminfo: memFree=28919776/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=145904 CPUtime=1362.08 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 16318 0 0 0 136193 15 0 0 20 0 1 0 982060 149405696 34321 33554432000 4194304 6059633 140736937922544 140736937921304 4277832 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 36476 34321 194 456 0 36012 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 145904

[startup+1422.3 s]
/proc/loadavg: 2.32 2.21 2.18 3/175 3354
/proc/meminfo: memFree=28913024/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=145904 CPUtime=1422.08 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 16692 0 0 0 142192 16 0 0 20 0 1 0 982060 149405696 35345 33554432000 4194304 6059633 140736937922544 140736937920744 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 36476 35345 194 456 0 36012 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 145904

[startup+1482.3 s]
/proc/loadavg: 2.18 2.18 2.17 3/175 3356
/proc/meminfo: memFree=28909500/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=1482.06 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 17724 0 0 0 148189 17 0 0 20 0 1 0 982060 98902016 23221 33554432000 4194304 6059633 140736937922544 140736937921000 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23221 194 456 0 23682 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 96584

[startup+1542.31 s]
/proc/loadavg: 2.11 2.16 2.17 3/175 3357
/proc/meminfo: memFree=28954832/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=1542.06 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 18099 0 0 0 154188 18 0 0 20 0 1 0 982060 98902016 23225 33554432000 4194304 6059633 140736937922544 140736937921032 4278354 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23225 194 456 0 23682 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 96584

[startup+1602.3 s]
/proc/loadavg: 2.08 2.15 2.16 4/175 3358
/proc/meminfo: memFree=28959376/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=1602.04 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 18607 0 0 0 160185 19 0 0 20 0 1 0 982060 98902016 23225 33554432000 4194304 6059633 140736937922544 140736937921032 4261657 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23225 194 456 0 23682 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 96584

[startup+1662.3 s]
/proc/loadavg: 2.14 2.16 2.16 3/175 3405
/proc/meminfo: memFree=29016604/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=176724 CPUtime=1662.04 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 19556 0 0 0 166183 21 0 0 20 0 1 0 982060 180965376 35917 33554432000 4194304 6059633 140736937922544 140736937921000 4277900 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 44181 35917 194 456 0 43717 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 176724

[startup+1722.3 s]
/proc/loadavg: 2.26 2.19 2.17 3/175 3406
/proc/meminfo: memFree=29009940/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=145904 CPUtime=1722.03 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 20131 0 0 0 172181 22 0 0 20 0 1 0 982060 149405696 35538 33554432000 4194304 6059633 140736937922544 140736937920744 4277879 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 36476 35538 194 456 0 36012 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 145904

[startup+1782.3 s]
/proc/loadavg: 2.20 2.18 2.17 4/175 3408
/proc/meminfo: memFree=28999288/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=176724 CPUtime=1782.02 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 21436 0 0 0 178178 24 0 0 20 0 1 0 982060 180965376 35880 33554432000 4194304 6059633 140736937922544 140736937921000 4255347 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 44181 35880 194 456 0 43717 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 176724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/175 3408
/proc/meminfo: memFree=29042004/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=1800.01 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 21496 0 0 0 179977 24 0 0 20 0 1 0 982060 98902016 23232 33554432000 4194304 6059633 140736937922544 140736937921032 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23232 194 456 0 23682 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 96584

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

[startup+1800.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/175 3408
/proc/meminfo: memFree=29042004/32872528 swapFree=1297548/1461068
[pid=3294] ppid=3291 vsize=96584 CPUtime=1800.01 cores=1,3,5,7
/proc/3294/stat : 3294 (open-wbo) R 3291 3294 1964 0 -1 4202496 21496 0 0 0 179977 24 0 0 20 0 1 0 982060 98902016 23232 33554432000 4194304 6059633 140736937922544 140736937921032 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/3294/statm: 24146 23232 194 456 0 23682 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 96584

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.78
CPU system time (s): 0.244962
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 176724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.244962
maximum resident set size= 147836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21499
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= 15
involuntary context switches= 1854

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

The end