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 (62263 MiB free)
  memory of node 1: 64465 MiB (58069 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=86609, runsolver pid=86606
Current StackSize limit: 8192 KiB


[startup+0.100078 s]*
/proc/loadavg: 4.13 4.09 4.09 5/246 86612
/proc/meminfo: memFree=123215944/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=21664 memory=11392 CPUtime=0.1 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 857 0 0 0 10 0 0 0 20 0 1 0 70654342 22183936 2816 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 5416 2816 2176 2752 0 2069 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21664 KiB
Current children cumulated memory: 11392 KiB

[startup+0.213737 s]*
/proc/loadavg: 4.13 4.09 4.09 4/249 86622
/proc/meminfo: memFree=123188396/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=35264 memory=25944 CPUtime=0.21 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 4025 0 0 0 20 1 0 0 20 0 1 0 70654342 36110336 6486 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 8816 6486 2784 2752 0 5469 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35264 KiB
Current children cumulated memory: 25944 KiB

[startup+0.313519 s]*
/proc/loadavg: 4.13 4.09 4.09 4/246 86626
/proc/meminfo: memFree=123185580/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=39836 memory=30336 CPUtime=0.31 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 5875 0 0 0 29 2 0 0 20 0 1 0 70654342 40792064 7584 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 9959 7584 2816 2752 0 6612 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39836 KiB
Current children cumulated memory: 30336 KiB

[startup+0.700282 s]
/proc/loadavg: 4.13 4.09 4.09 5/244 86654
/proc/meminfo: memFree=123175380/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=56144 memory=44928 CPUtime=0.67 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 9548 0 0 0 63 4 0 0 20 0 1 0 70654342 57491456 11232 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 14036 11232 2816 2752 0 10689 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 56144 KiB
Current children cumulated memory: 44928 KiB

[startup+1.50032 s]
/proc/loadavg: 4.13 4.09 4.09 6/252 86684
/proc/meminfo: memFree=123124628/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=91084 memory=80000 CPUtime=1.46 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 18298 0 0 0 139 7 0 0 20 0 1 0 70654342 93270016 20000 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 22771 20000 2816 2752 0 19424 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 91084 KiB
Current children cumulated memory: 80000 KiB

[startup+3.11244 s]
/proc/loadavg: 4.12 4.09 4.09 5/252 86684
/proc/meminfo: memFree=123004736/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=78928 memory=68388 CPUtime=3.07 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 18443 0 0 0 300 7 0 0 20 0 1 0 70654342 80822272 17097 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 19732 17097 2816 2752 0 16385 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 78928 KiB
Current children cumulated memory: 68388 KiB

[startup+6.3003 s]
/proc/loadavg: 4.12 4.09 4.09 5/252 86684
/proc/meminfo: memFree=122864104/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=78928 memory=69156 CPUtime=6.25 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 18610 0 0 0 618 7 0 0 20 0 1 0 70654342 80822272 17289 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 19732 17289 2816 2752 0 16385 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 78928 KiB
Current children cumulated memory: 69156 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.11 4.10 5/252 86684
/proc/meminfo: memFree=122812152/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=78928 memory=69796 CPUtime=12.62 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 18790 0 0 0 1255 7 0 0 20 0 1 0 70654342 80822272 17449 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 19732 17449 2816 2752 0 16385 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 78928 KiB
Current children cumulated memory: 69796 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 4.09 5/252 86684
/proc/meminfo: memFree=122726164/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=109564 memory=100516 CPUtime=25.36 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 26461 0 0 0 2528 8 0 0 20 0 1 0 70654342 112193536 25129 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 27391 25129 2816 2752 0 24044 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 109564 KiB
Current children cumulated memory: 100516 KiB

[startup+51.1124 s]
/proc/loadavg: 4.17 4.11 4.09 5/252 86685
/proc/meminfo: memFree=122642240/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=133016 memory=124400 CPUtime=50.85 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 33471 0 0 0 5076 9 0 0 20 0 1 0 70654342 136208384 31100 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 33254 31100 2816 2752 0 29907 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 133016 KiB
Current children cumulated memory: 124400 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/252 86686
/proc/meminfo: memFree=122529376/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=187260 memory=177236 CPUtime=101.78 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 47755 0 0 0 10166 12 0 0 20 0 1 0 70654342 191754240 44309 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 46815 44309 2816 2752 0 43468 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 187260 KiB
Current children cumulated memory: 177236 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/252 86688
/proc/meminfo: memFree=122363988/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=245392 memory=236352 CPUtime=161.51 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 62438 0 0 0 16136 15 0 0 20 0 1 0 70654342 251281408 59088 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 61348 59088 2848 2752 0 58001 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 245392 KiB
Current children cumulated memory: 236352 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/252 86690
/proc/meminfo: memFree=122257160/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=298012 memory=289968 CPUtime=221.25 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 76762 0 0 0 22107 18 0 0 20 0 1 0 70654342 305164288 72492 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 74503 72492 2848 2752 0 71156 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 298012 KiB
Current children cumulated memory: 289968 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 86694
/proc/meminfo: memFree=122142060/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=367316 memory=356176 CPUtime=281.01 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 92950 0 0 0 28080 21 0 0 20 0 1 0 70654342 376131584 89044 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 91829 89044 2848 2752 0 88482 0
Current children cumulated CPU time: 281.01 s
Current children cumulated vsize: 367316 KiB
Current children cumulated memory: 356176 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 86696
/proc/meminfo: memFree=122052296/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=418312 memory=407232 CPUtime=340.78 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 106240 0 0 0 34055 23 0 0 20 0 1 0 70654342 428351488 101808 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 104578 101808 2848 2752 0 101231 0
Current children cumulated CPU time: 340.78 s
Current children cumulated vsize: 418312 KiB
Current children cumulated memory: 407232 KiB

[startup+402.3 s]
/proc/loadavg: 4.62 4.23 4.14 5/249 86698
/proc/meminfo: memFree=121940792/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=472228 memory=461972 CPUtime=400.55 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 121745 0 0 0 40029 26 0 0 20 0 1 0 70654342 483561472 115493 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 118057 115493 2848 2752 0 114710 0
Current children cumulated CPU time: 400.55 s
Current children cumulated vsize: 472228 KiB
Current children cumulated memory: 461972 KiB

[startup+462.3 s]
/proc/loadavg: 4.38 4.24 4.15 5/249 86700
/proc/meminfo: memFree=121828300/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=525796 memory=516668 CPUtime=460.29 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 137232 0 0 0 46000 29 0 0 20 0 1 0 70654342 538415104 129167 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 131449 129167 2848 2752 0 128102 0

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

Current children cumulated memory: 987484 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/250 86828
/proc/meminfo: memFree=120611600/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=2852.71 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458087 0 0 0 285173 98 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 2852.71 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/250 86830
/proc/meminfo: memFree=120615000/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=2912.58 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458088 0 0 0 291160 98 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 2912.58 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/251 86837
/proc/meminfo: memFree=120615920/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=2972.44 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458089 0 0 0 297146 98 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 2972.44 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 86839
/proc/meminfo: memFree=120616928/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3032.3 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458089 0 0 0 303132 98 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3032.3 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 86841
/proc/meminfo: memFree=120617692/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3092.16 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458090 0 0 0 309118 98 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 86843
/proc/meminfo: memFree=120618700/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3152.02 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458091 0 0 0 315104 98 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3152.02 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/251 86845
/proc/meminfo: memFree=120618952/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3211.89 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458091 0 0 0 321090 99 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3211.89 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 86849
/proc/meminfo: memFree=120622604/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3271.75 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458092 0 0 0 327076 99 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3271.75 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 86851
/proc/meminfo: memFree=120623492/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3331.61 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458093 0 0 0 333062 99 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 86854
/proc/meminfo: memFree=120622752/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3391.47 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458093 0 0 0 339048 99 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3391.47 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 86856
/proc/meminfo: memFree=120622752/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3451.33 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458094 0 0 0 345034 99 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 86858
/proc/meminfo: memFree=120623212/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3511.19 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458095 0 0 0 351020 99 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 86865
/proc/meminfo: memFree=120622464/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3571.05 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458095 0 0 0 357006 99 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.09 4.10 4.09 2/239 86936
/proc/meminfo: memFree=122280132/131382112 swapFree=33005784/33010684
[pid=86609] ppid=86606 vsize=994804 memory=987484 CPUtime=3600.08 cores=1,3
/proc/86609/stat : 86609 (NuPBO-DeepOptS+) R 86606 86609 85304 0 -1 4194304 458096 0 0 0 359908 100 0 0 20 0 1 0 70654342 1018679296 246871 18446744073709551615 4198400 15468185 140724854415040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39784448 140724854421910 140724854422020 140724854422020 140724854427622 0
/proc/86609/statm: 248701 246871 2848 2752 0 245354 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 994804 KiB
Current children cumulated memory: 987484 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.09 s, system=1.00871 s

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

Child status: 10

Real time (s): 3611.4
CPU time (s): 3600.1
CPU user time (s): 3599.09
CPU system time (s): 1.00871
CPU usage (%): 99.6869
Max. virtual memory (cumulated for all children) (KiB): 1743560
Max. memory (cumulated for all children) (KiB): 1727748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 1.0087
maximum resident set size= 1727748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458129
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= 162
involuntary context switches= 3005


# summary of solver processes directly reported to runsolver:
#   pid: 86609
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.09
#   total CPU system time (s): 1.00871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.078 second user time and 30.1449 second system time

The end