runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62355 MiB free)
  memory of node 1: 64465 MiB (58079 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509142-1751527322/watcher-4509142-1751527322 -o /tmp/evaluation-result-4509142-1751527322/solver-4509142-1751527322 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751527322-84060 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4509142-1751527322.opb -t 3600 -s 1998990075 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84103, runsolver pid=84097
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 0.45 1.20 2.14 5/256 84116
/proc/meminfo: memFree=123301816/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=22884 memory=8580 CPUtime=0.1 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 1399 0 0 0 10 0 0 0 20 0 1 0 68411377 23433216 2145 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 5721 2145 1152 2752 0 2374 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22884 KiB
Current children cumulated memory: 8580 KiB

[startup+0.214283 s]*
/proc/loadavg: 0.45 1.20 2.14 5/256 84116
/proc/meminfo: memFree=123297284/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=22884 memory=8580 CPUtime=0.21 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 1399 0 0 0 21 0 0 0 20 0 1 0 68411377 23433216 2145 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 5721 2145 1152 2752 0 2374 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22884 KiB
Current children cumulated memory: 8580 KiB

[startup+0.313535 s]*
/proc/loadavg: 0.45 1.20 2.14 5/256 84116
/proc/meminfo: memFree=123271328/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=22884 memory=8580 CPUtime=0.31 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 1399 0 0 0 31 0 0 0 20 0 1 0 68411377 23433216 2145 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 5721 2145 1152 2752 0 2374 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 22884 KiB
Current children cumulated memory: 8580 KiB

[startup+0.700275 s]
/proc/loadavg: 0.45 1.20 2.14 5/256 84116
/proc/meminfo: memFree=123269312/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=22884 memory=8580 CPUtime=0.69 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 1399 0 0 0 69 0 0 0 20 0 1 0 68411377 23433216 2145 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 5721 2145 1152 2752 0 2374 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22884 KiB
Current children cumulated memory: 8580 KiB

[startup+1.50031 s]
/proc/loadavg: 0.45 1.20 2.14 5/256 84116
/proc/meminfo: memFree=123235292/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=50988 memory=40340 CPUtime=1.48 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 8040 0 0 0 146 2 0 0 20 0 1 0 68411377 52211712 10085 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 12747 10085 2720 2752 0 9400 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50988 KiB
Current children cumulated memory: 40340 KiB

[startup+3.11362 s]
/proc/loadavg: 0.45 1.20 2.14 5/256 84116
/proc/meminfo: memFree=123133512/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=91368 memory=78212 CPUtime=3.09 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 20475 0 0 0 305 4 0 0 20 0 1 0 68411377 93560832 19553 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 22842 19553 2816 2752 0 19495 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 91368 KiB
Current children cumulated memory: 78212 KiB

[startup+6.30028 s]
/proc/loadavg: 0.74 1.24 2.15 5/256 84116
/proc/meminfo: memFree=122577920/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=107704 memory=94980 CPUtime=6.27 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 24651 0 0 0 622 5 0 0 20 0 1 0 68411377 110288896 23745 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 26926 23745 2848 2752 0 23579 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107704 KiB
Current children cumulated memory: 94980 KiB

[startup+12.7003 s]
/proc/loadavg: 1.08 1.30 2.16 5/256 84116
/proc/meminfo: memFree=122343536/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=107704 memory=95108 CPUtime=12.65 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 24660 0 0 0 1260 5 0 0 20 0 1 0 68411377 110288896 23777 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 26926 23777 2848 2752 0 23579 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107704 KiB
Current children cumulated memory: 95108 KiB

[startup+25.5003 s]
/proc/loadavg: 1.73 1.44 2.19 5/256 84116
/proc/meminfo: memFree=122174228/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=141392 memory=109060 CPUtime=25.41 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 28145 0 0 0 2535 6 0 0 20 0 1 0 68411377 144785408 27265 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 35348 27265 2848 2752 0 32001 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 141392 KiB
Current children cumulated memory: 109060 KiB

[startup+51.1132 s]
/proc/loadavg: 2.50 1.64 2.24 5/256 84117
/proc/meminfo: memFree=121980268/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=193040 memory=136224 CPUtime=50.96 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 32942 0 0 0 5089 7 0 0 20 0 1 0 68411377 197672960 34056 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 48260 34056 2848 2752 0 44913 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 193040 KiB
Current children cumulated memory: 136224 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.06 2.35 5/255 84122
/proc/meminfo: memFree=121660024/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=272384 memory=182304 CPUtime=102.01 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 46509 0 0 0 10192 9 0 0 20 0 1 0 68411377 278921216 45576 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 68096 45576 2848 2752 0 64749 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 272384 KiB
Current children cumulated memory: 182304 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.44 2.47 5/254 84124
/proc/meminfo: memFree=121524852/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=345036 memory=229740 CPUtime=161.83 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 58893 0 0 0 16172 11 0 0 20 0 1 0 68411377 353316864 57435 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 86259 57435 2848 2752 0 82912 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 345036 KiB
Current children cumulated memory: 229740 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.74 2.57 5/254 84126
/proc/meminfo: memFree=121498792/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=391356 memory=254788 CPUtime=221.67 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 65591 0 0 0 22154 13 0 0 20 0 1 0 68411377 400748544 63697 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 97839 63697 2848 2752 0 94492 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 391356 KiB
Current children cumulated memory: 254788 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.00 2.68 5/250 84128
/proc/meminfo: memFree=121452812/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=428124 memory=284112 CPUtime=281.5 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 71910 0 0 0 28136 14 0 0 20 0 1 0 68411377 438398976 71028 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 107031 71028 2848 2752 0 103684 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 428124 KiB
Current children cumulated memory: 284112 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.20 2.77 5/250 84130
/proc/meminfo: memFree=121419396/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=467536 memory=309584 CPUtime=341.33 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 78277 0 0 0 34118 15 0 0 20 0 1 0 68411377 478756864 77396 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 116884 77396 2848 2752 0 113537 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 467536 KiB
Current children cumulated memory: 309584 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.38 2.86 5/251 84136
/proc/meminfo: memFree=121338172/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=484204 memory=324132 CPUtime=401.16 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 80901 0 0 0 40100 16 0 0 20 0 1 0 68411377 495824896 81033 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 121051 81033 2848 2752 0 117704 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 484204 KiB
Current children cumulated memory: 324132 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.51 2.94 5/250 84138
/proc/meminfo: memFree=121307344/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=515380 memory=343588 CPUtime=461 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 85756 0 0 0 46083 17 0 0 20 0 1 0 68411377 527749120 85897 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 128845 85897 2848 2752 0 125498 0

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

Current children cumulated memory: 547044 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/249 84264
/proc/meminfo: memFree=121152796/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=2855.87 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107934 0 0 0 285563 24 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 2855.87 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/249 84266
/proc/meminfo: memFree=121153452/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=2915.75 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107934 0 0 0 291551 24 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 2915.75 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/249 84268
/proc/meminfo: memFree=121152416/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=2975.63 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107936 0 0 0 297539 24 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 2975.63 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/249 84270
/proc/meminfo: memFree=121152344/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3035.51 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107936 0 0 0 303527 24 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3035.51 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/250 84277
/proc/meminfo: memFree=121152940/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3095.38 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107938 0 0 0 309514 24 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3095.38 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.12 4.04 5/251 84280
/proc/meminfo: memFree=121153892/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3155.27 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107938 0 0 0 315502 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3155.27 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/251 84282
/proc/meminfo: memFree=121152564/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3215.15 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107938 0 0 0 321490 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3215.15 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/251 84284
/proc/meminfo: memFree=121152208/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3275.02 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107940 0 0 0 327477 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/251 84286
/proc/meminfo: memFree=121152072/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3334.9 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107940 0 0 0 333465 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3334.9 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/250 84290
/proc/meminfo: memFree=121153136/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3394.77 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107942 0 0 0 339452 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3394.77 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/249 84292
/proc/meminfo: memFree=121152396/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3454.65 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107942 0 0 0 345440 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3454.65 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/249 84294
/proc/meminfo: memFree=121152484/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3514.53 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107944 0 0 0 351428 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3514.53 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/249 84296
/proc/meminfo: memFree=121152572/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3574.41 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107944 0 0 0 357416 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3574.41 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608 s]*
/proc/loadavg: 4.11 4.11 4.05 4/247 84297
/proc/meminfo: memFree=121162572/131382112 swapFree=33005784/33010684
[pid=84103] ppid=84097 vsize=554620 memory=547044 CPUtime=3600.06 cores=5,7
/proc/84103/stat : 84103 (NuPBO-DeepOptS+) R 84097 84103 84047 0 -1 4194304 107944 0 0 0 359981 25 0 0 20 0 1 0 68411377 567930880 136761 18446744073709551615 4198400 15468185 140729625248544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28184576 140729625254294 140729625254404 140729625254404 140729625260006 0
/proc/84103/statm: 138655 136761 2848 2752 0 135308 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 554620 KiB
Current children cumulated memory: 547044 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3608.02 s]
# the end of solver process 84103 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.82 s, system=0.25467 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3608.02
CPU time (s): 3600.08
CPU user time (s): 3599.82
CPU system time (s): 0.25467
CPU usage (%): 99.7799
Max. virtual memory (cumulated for all children) (KiB): 653232
Max. memory (cumulated for all children) (KiB): 547044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.82
system time used= 0.25467
maximum resident set size= 547172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107988
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= 4
involuntary context switches= 1768


# summary of solver processes directly reported to runsolver:
#   pid: 84103
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.82
#   total CPU system time (s): 0.25467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7089 second user time and 30.9958 second system time

The end