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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
solver pid=86578, runsolver pid=86570
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.13 4.09 4.09 3/242 86579
/proc/meminfo: memFree=123245972/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=20328 memory=6144 CPUtime=0.11 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 516 0 0 0 11 0 0 0 20 0 1 0 70654275 20815872 1536 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 5082 1536 1152 2752 0 1735 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 20328 KiB
Current children cumulated memory: 6144 KiB

[startup+0.213061 s]*
/proc/loadavg: 4.13 4.09 4.09 2/240 86586
/proc/meminfo: memFree=123236532/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=36396 memory=26956 CPUtime=0.22 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 4287 0 0 0 21 1 0 0 20 0 1 0 70654275 37269504 6739 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 9099 6739 2784 2752 0 5752 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 36396 KiB
Current children cumulated memory: 26956 KiB

[startup+0.31334 s]*
/proc/loadavg: 4.13 4.09 4.09 3/239 86594
/proc/meminfo: memFree=123227712/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=45648 memory=35020 CPUtime=0.31 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 6266 0 0 0 30 1 0 0 20 0 1 0 70654275 46743552 8755 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 11412 8755 2816 2752 0 8065 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45648 KiB
Current children cumulated memory: 35020 KiB

[startup+0.70028 s]
/proc/loadavg: 4.13 4.09 4.09 3/239 86601
/proc/meminfo: memFree=123229540/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=49384 memory=39700 CPUtime=0.69 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 8141 0 0 0 67 2 0 0 20 0 1 0 70654275 50569216 9925 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 12346 9925 2816 2752 0 8999 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49384 KiB
Current children cumulated memory: 39700 KiB

[startup+1.50031 s]
/proc/loadavg: 4.13 4.09 4.09 4/247 86628
/proc/meminfo: memFree=123177276/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=62272 memory=52884 CPUtime=1.48 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 11655 0 0 0 146 2 0 0 20 0 1 0 70654275 63766528 13221 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 15568 13221 2848 2752 0 12221 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62272 KiB
Current children cumulated memory: 52884 KiB

[startup+3.11284 s]
/proc/loadavg: 4.13 4.09 4.09 5/252 86684
/proc/meminfo: memFree=123044704/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=65520 memory=55956 CPUtime=3.08 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 12445 0 0 0 306 2 0 0 20 0 1 0 70654275 67092480 13989 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 16380 13989 2848 2752 0 13033 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 55956 KiB

[startup+6.30029 s]
/proc/loadavg: 4.12 4.09 4.09 5/252 86684
/proc/meminfo: memFree=122912236/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=84956 memory=75412 CPUtime=6.26 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 17291 0 0 0 623 3 0 0 20 0 1 0 70654275 86994944 18853 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 21239 18853 2848 2752 0 17892 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 84956 KiB
Current children cumulated memory: 75412 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.11 4.10 5/252 86684
/proc/meminfo: memFree=122812076/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=98952 memory=89236 CPUtime=12.64 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 20750 0 0 0 1260 4 0 0 20 0 1 0 70654275 101326848 22309 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 24738 22309 2848 2752 0 21391 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 98952 KiB
Current children cumulated memory: 89236 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 4.09 5/252 86684
/proc/meminfo: memFree=122719320/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=118788 memory=109972 CPUtime=25.38 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 25870 0 0 0 2533 5 0 0 20 0 1 0 70654275 121638912 27493 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 29697 27493 2848 2752 0 26350 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 118788 KiB
Current children cumulated memory: 109972 KiB

[startup+51.113 s]
/proc/loadavg: 4.17 4.11 4.09 5/252 86685
/proc/meminfo: memFree=122654336/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=134344 memory=125972 CPUtime=50.89 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 29854 0 0 0 5083 6 0 0 20 0 1 0 70654275 137568256 31493 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 33586 31493 2848 2752 0 30239 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 134344 KiB
Current children cumulated memory: 125972 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/252 86686
/proc/meminfo: memFree=122527108/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=186520 memory=176660 CPUtime=101.88 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 43617 0 0 0 10179 9 0 0 20 0 1 0 70654275 190996480 44165 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 46630 44165 2848 2752 0 43283 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 186520 KiB
Current children cumulated memory: 176660 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/252 86688
/proc/meminfo: memFree=122360844/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=243004 memory=233972 CPUtime=161.68 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 57627 0 0 0 16156 12 0 0 20 0 1 0 70654275 248836096 58493 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 60751 58493 2848 2752 0 57404 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 243004 KiB
Current children cumulated memory: 233972 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=86578] ppid=86570 vsize=293216 memory=284792 CPUtime=221.47 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 70987 0 0 0 22132 15 0 0 20 0 1 0 70654275 300253184 71198 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 73304 71198 2848 2752 0 69957 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 293216 KiB
Current children cumulated memory: 284792 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=86578] ppid=86570 vsize=345408 memory=333408 CPUtime=281.26 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 84038 0 0 0 28108 18 0 0 20 0 1 0 70654275 353697792 83352 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 86352 83352 2848 2752 0 83005 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 345408 KiB
Current children cumulated memory: 333408 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 86696
/proc/meminfo: memFree=122053052/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=403780 memory=392680 CPUtime=341.05 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 98127 0 0 0 34084 21 0 0 20 0 1 0 70654275 413470720 98170 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 100945 98170 2848 2752 0 97598 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 403780 KiB
Current children cumulated memory: 392680 KiB

[startup+402.3 s]
/proc/loadavg: 4.62 4.23 4.14 5/249 86698
/proc/meminfo: memFree=121952888/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=450596 memory=440344 CPUtime=400.85 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 110306 0 0 0 40063 22 0 0 20 0 1 0 70654275 461410304 110086 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 112649 110086 2848 2752 0 109302 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 450596 KiB
Current children cumulated memory: 440344 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=86578] ppid=86570 vsize=499496 memory=489856 CPUtime=460.66 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 122952 0 0 0 46041 25 0 0 20 0 1 0 70654275 511483904 122464 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 124874 122464 2848 2752 0 121527 0
Current children cumulated CPU time: 460.66 s

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

Current children cumulated memory: 1138984 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/250 86830
/proc/meminfo: memFree=120614844/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=2913.76 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406563 0 0 0 291289 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=2973.62 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406564 0 0 0 297275 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3033.49 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406565 0 0 0 303262 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3093.36 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406566 0 0 0 309249 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3153.23 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406566 0 0 0 315236 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3213.09 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406567 0 0 0 321222 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 86849
/proc/meminfo: memFree=120622352/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3272.96 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406568 0 0 0 327209 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3332.83 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406569 0 0 0 333196 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3392.7 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406570 0 0 0 339183 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3452.56 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406571 0 0 0 345169 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3512.43 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406571 0 0 0 351156 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 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=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3572.3 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406572 0 0 0 357143 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 86867
/proc/meminfo: memFree=120622316/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3600.05 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406573 0 0 0 359918 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.18 s, system=0.875103 s

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

[startup+3610.11 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 86867
/proc/meminfo: memFree=120622316/131382112 swapFree=33005784/33010684
[pid=86578] ppid=86570 vsize=1146480 memory=1138984 CPUtime=3600.05 cores=4,6
/proc/86578/stat : 86578 (NuPBO-DeepOptS+) R 86570 86578 85304 0 -1 4194304 406573 0 0 0 359918 87 0 0 20 0 1 0 70654275 1173995520 284746 18446744073709551615 4198400 15468185 140724296359408 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46223360 140724296366486 140724296366596 140724296366596 140724296372198 0
/proc/86578/statm: 286620 284746 2848 2752 0 283273 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1146480 KiB
Current children cumulated memory: 1138984 KiB

Child status: 10

Real time (s): 3610.12
CPU time (s): 3600.06
CPU user time (s): 3599.18
CPU system time (s): 0.875103
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 1628480
Max. memory (cumulated for all children) (KiB): 1612664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.18
system time used= 0.875103
maximum resident set size= 1612664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406609
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= 94
involuntary context switches= 3798


# summary of solver processes directly reported to runsolver:
#   pid: 86578
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.18
#   total CPU system time (s): 0.875103

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5962 second user time and 31.303 second system time

The end