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: 63794 MiB (63136 MiB free)
  memory of node 1: 64507 MiB (63925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488856-1751347395/watcher-4488856-1751347395 -o /tmp/evaluation-result-4488856-1751347395/solver-4488856-1751347395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751340175-47517 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4488856-1751347395.opb -t 3600 -s 873211318 

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.el
solver pid=48278, runsolver pid=48273
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 4.10 4.09 4.09 5/249 48287
/proc/meminfo: memFree=130098072/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=21612 memory=7476 CPUtime=0.1 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 1005 0 0 0 10 0 0 0 20 0 1 0 50418409 22130688 1869 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 5403 1869 1152 2752 0 2056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21612 KiB
Current children cumulated memory: 7476 KiB

[startup+0.212879 s]*
/proc/loadavg: 4.10 4.09 4.09 5/249 48287
/proc/meminfo: memFree=130098072/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=21612 memory=7476 CPUtime=0.21 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 1005 0 0 0 21 0 0 0 20 0 1 0 50418409 22130688 1869 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 5403 1869 1152 2752 0 2056 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21612 KiB
Current children cumulated memory: 7476 KiB

[startup+0.312244 s]*
/proc/loadavg: 4.10 4.09 4.09 5/249 48287
/proc/meminfo: memFree=130098072/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=21612 memory=7476 CPUtime=0.31 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 1005 0 0 0 31 0 0 0 20 0 1 0 50418409 22130688 1869 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 5403 1869 1152 2752 0 2056 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21612 KiB
Current children cumulated memory: 7476 KiB

[startup+0.70026 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 48287
/proc/meminfo: memFree=130096308/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=44264 memory=34868 CPUtime=0.69 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 6504 0 0 0 67 2 0 0 20 0 1 0 50418409 45326336 8717 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 11066 8717 2816 2752 0 7719 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44264 KiB
Current children cumulated memory: 34868 KiB

[startup+1.50026 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 48287
/proc/meminfo: memFree=130034744/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=52536 memory=42804 CPUtime=1.48 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 8523 0 0 0 146 2 0 0 20 0 1 0 50418409 53796864 10701 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 13134 10701 2816 2752 0 9787 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52536 KiB
Current children cumulated memory: 42804 KiB

[startup+3.11248 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 48287
/proc/meminfo: memFree=129978984/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=70672 memory=59700 CPUtime=3.09 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 12733 0 0 0 306 3 0 0 20 0 1 0 50418409 72368128 14925 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 17668 14925 2816 2752 0 14321 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70672 KiB
Current children cumulated memory: 59700 KiB

[startup+6.30025 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 48287
/proc/meminfo: memFree=129874980/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=120640 memory=108084 CPUtime=6.27 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 24839 0 0 0 622 5 0 0 20 0 1 0 50418409 123535360 27021 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 30160 27021 2816 2752 0 26813 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120640 KiB
Current children cumulated memory: 108084 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.09 5/249 48287
/proc/meminfo: memFree=129721772/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=160228 memory=144768 CPUtime=12.65 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 35121 0 0 0 1258 7 0 0 20 0 1 0 50418409 164073472 36192 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 40057 36192 2816 2752 0 36710 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 160228 KiB
Current children cumulated memory: 144768 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 48288
/proc/meminfo: memFree=129721828/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=166052 memory=150272 CPUtime=25.42 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 36501 0 0 0 2535 7 0 0 20 0 1 0 50418409 170037248 37568 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 41513 37568 2816 2752 0 38166 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 166052 KiB
Current children cumulated memory: 150272 KiB

[startup+51.1125 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 48288
/proc/meminfo: memFree=129585044/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=213264 memory=193996 CPUtime=50.96 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 47600 0 0 0 5087 9 0 0 20 0 1 0 50418409 218382336 48499 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 53316 48499 2816 2752 0 49969 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 213264 KiB
Current children cumulated memory: 193996 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 48291
/proc/meminfo: memFree=129397864/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=226388 memory=206900 CPUtime=102.01 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 53244 0 0 0 10191 10 0 0 20 0 1 0 50418409 231821312 51725 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 56597 51725 2848 2752 0 53250 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 226388 KiB
Current children cumulated memory: 206900 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 48337
/proc/meminfo: memFree=129146504/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=259460 memory=236212 CPUtime=161.82 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 60615 0 0 0 16170 12 0 0 20 0 1 0 50418409 265687040 59053 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 64865 59053 2848 2752 0 61518 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 259460 KiB
Current children cumulated memory: 236212 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 48339
/proc/meminfo: memFree=129064044/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=272564 memory=248012 CPUtime=221.62 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 62814 0 0 0 22150 12 0 0 20 0 1 0 50418409 279105536 62003 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 68141 62003 2848 2752 0 64794 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 272564 KiB
Current children cumulated memory: 248012 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 48344
/proc/meminfo: memFree=129050800/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=273124 memory=262988 CPUtime=281.46 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 62976 0 0 0 28133 13 0 0 20 0 1 0 50418409 279678976 65747 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 68281 65747 2848 2752 0 64934 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 273124 KiB
Current children cumulated memory: 262988 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 48350
/proc/meminfo: memFree=128983296/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=278488 memory=270616 CPUtime=341.29 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 64851 0 0 0 34116 13 0 0 20 0 1 0 50418409 285171712 67654 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 69622 67654 2848 2752 0 66275 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 278488 KiB
Current children cumulated memory: 270616 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 48352
/proc/meminfo: memFree=128860896/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=278488 memory=270744 CPUtime=401.11 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 64933 0 0 0 40098 13 0 0 20 0 1 0 50418409 285171712 67686 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 69622 67686 2848 2752 0 66275 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 278488 KiB
Current children cumulated memory: 270744 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 48354
/proc/meminfo: memFree=128777864/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=279168 memory=271128 CPUtime=460.92 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 65035 0 0 0 46079 13 0 0 20 0 1 0 50418409 285868032 67782 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 69792 67782 2848 2752 0 66445 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 222832 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/250 48481
/proc/meminfo: memFree=128882856/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=2914.45 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89640 0 0 0 291424 21 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/250 48483
/proc/meminfo: memFree=128882716/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=2974.31 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89640 0 0 0 297410 21 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/250 48485
/proc/meminfo: memFree=128882324/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3034.17 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89640 0 0 0 303396 21 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/250 48487
/proc/meminfo: memFree=128882452/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3094.03 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89642 0 0 0 309382 21 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 48489
/proc/meminfo: memFree=128884908/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3153.89 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89642 0 0 0 315368 21 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/250 48491
/proc/meminfo: memFree=128883716/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3213.75 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89642 0 0 0 321354 21 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/250 48496
/proc/meminfo: memFree=128883400/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3273.61 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89642 0 0 0 327340 21 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/251 48503
/proc/meminfo: memFree=128884332/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3333.48 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89644 0 0 0 333327 21 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/251 48505
/proc/meminfo: memFree=128884396/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3393.35 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89644 0 0 0 339313 22 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/251 48507
/proc/meminfo: memFree=128884364/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3453.22 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89644 0 0 0 345300 22 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 48509
/proc/meminfo: memFree=128883980/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3513.08 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89644 0 0 0 351286 22 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/250 48511
/proc/meminfo: memFree=128883940/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3572.95 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89644 0 0 0 357273 22 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.10 4.11 4.11 3/242 48528
/proc/meminfo: memFree=129509444/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3600.07 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89644 0 0 0 359985 22 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.86 s, system=0.230012 s

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

[startup+3609.5 s]
/proc/loadavg: 4.10 4.11 4.11 3/242 48528
/proc/meminfo: memFree=129509444/131382112 swapFree=33010160/33010684
[pid=48278] ppid=48273 vsize=230736 memory=222832 CPUtime=3600.07 cores=1,3
/proc/48278/stat : 48278 (NuPBO-DeepOptS+) R 48273 48278 47505 0 -1 4194304 89644 0 0 0 359985 22 0 0 20 0 1 0 50418409 236273664 55708 18446744073709551615 4198400 15468185 140721354239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26853376 140721354246551 140721354246660 140721354246660 140721354252262 0
/proc/48278/statm: 57684 55708 2848 2752 0 54337 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 230736 KiB
Current children cumulated memory: 222832 KiB

Child status: 10

Real time (s): 3609.5
CPU time (s): 3600.09
CPU user time (s): 3599.86
CPU system time (s): 0.230012
CPU usage (%): 99.7392
Max. virtual memory (cumulated for all children) (KiB): 376684
Max. memory (cumulated for all children) (KiB): 367516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.86
system time used= 0.230012
maximum resident set size= 367516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89674
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= 48
involuntary context switches= 1811


# summary of solver processes directly reported to runsolver:
#   pid: 48278
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.86
#   total CPU system time (s): 0.230012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7094 second user time and 31.7145 second system time

The end