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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509556-1751534403/watcher-4509556-1751534403 -o /tmp/evaluation-result-4509556-1751534403/solver-4509556-1751534403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751534403-76753 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4509556-1751534403.opb -t 3600 -s 1328063297 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=76814, runsolver pid=76799

[startup+0.100061 s]*
/proc/loadavg: 0.99 1.56 2.27 6/270 76815
/proc/meminfo: memFree=129766456/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=40592 memory=30884 CPUtime=0.09 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 5492 0 0 0 9 0 0 0 20 0 1 0 69117901 41566208 7721 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 10148 7721 2720 2752 0 6801 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40592 KiB
Current children cumulated memory: 30884 KiB

[startup+0.204874 s]*
/proc/loadavg: 0.99 1.56 2.27 6/270 76815
/proc/meminfo: memFree=129699940/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=69404 memory=57224 CPUtime=0.19 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 12234 0 0 0 18 1 0 0 20 0 1 0 69117901 71069696 14306 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 17351 14306 2816 2752 0 14004 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69404 KiB
Current children cumulated memory: 57224 KiB

[startup+0.304635 s]*
/proc/loadavg: 0.99 1.56 2.27 6/270 76815
/proc/meminfo: memFree=129658360/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=73532 memory=61764 CPUtime=0.3 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 14821 0 0 0 28 2 0 0 20 0 1 0 69117901 75296768 15441 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 18383 15441 2816 2752 0 15036 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73532 KiB
Current children cumulated memory: 61764 KiB

[startup+0.700127 s]
/proc/loadavg: 0.99 1.56 2.27 6/270 76815
/proc/meminfo: memFree=129488512/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=0.69 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 67 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+1.50012 s]
/proc/loadavg: 0.99 1.56 2.27 6/270 76815
/proc/meminfo: memFree=129433356/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=1.49 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 147 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+3.10462 s]
/proc/loadavg: 0.99 1.56 2.27 6/270 76815
/proc/meminfo: memFree=129304156/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=3.09 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 307 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+6.30012 s]
/proc/loadavg: 1.23 1.60 2.28 6/270 76815
/proc/meminfo: memFree=129244492/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=6.27 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 625 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+12.7001 s]
/proc/loadavg: 1.45 1.64 2.29 6/270 76815
/proc/meminfo: memFree=129226616/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=12.66 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 1264 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+25.5001 s]
/proc/loadavg: 2.02 1.75 2.32 6/270 76860
/proc/meminfo: memFree=128833228/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=25.43 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 2541 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+51.1045 s]
/proc/loadavg: 2.77 1.95 2.37 6/271 76874
/proc/meminfo: memFree=128830668/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=50.98 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 5096 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.28 2.46 6/270 76875
/proc/meminfo: memFree=128790948/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=102.07 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 10205 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.63 2.57 6/271 76878
/proc/meminfo: memFree=128747504/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=161.94 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 16192 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.90 2.67 6/272 76881
/proc/meminfo: memFree=128706148/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=221.82 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 22180 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.12 2.76 6/272 76883
/proc/meminfo: memFree=128643236/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=51620 CPUtime=281.69 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15632 0 0 0 28167 2 0 0 20 0 1 0 69117901 63537152 12905 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 12905 2816 2752 0 12165 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 51620 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.31 2.85 6/265 76889
/proc/meminfo: memFree=128622292/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=53156 CPUtime=341.57 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15638 0 0 0 34155 2 0 0 20 0 1 0 69117901 63537152 13289 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13289 2816 2752 0 12165 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 53156 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.45 2.93 6/264 76893
/proc/meminfo: memFree=128559872/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=401.44 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15644 0 0 0 40142 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.58 3.01 6/263 76895
/proc/meminfo: memFree=128530812/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=461.32 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15646 0 0 0 46130 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 461.32 s

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

Current children cumulated memory: 54180 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.08 4.01 6/263 77019
/proc/meminfo: memFree=127617668/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=2916.25 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15672 0 0 0 291623 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 2916.25 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.01 6/263 77021
/proc/meminfo: memFree=127617908/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=2976.13 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15672 0 0 0 297611 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 2976.13 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/263 77023
/proc/meminfo: memFree=127617744/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3036.01 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15672 0 0 0 303599 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3036.01 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/263 77025
/proc/meminfo: memFree=127617788/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3095.88 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15674 0 0 0 309586 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3095.88 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/262 77027
/proc/meminfo: memFree=127617764/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3155.76 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15674 0 0 0 315574 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3155.76 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/263 77030
/proc/meminfo: memFree=127607500/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3215.64 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15674 0 0 0 321562 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3215.64 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/263 77032
/proc/meminfo: memFree=127607264/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3275.51 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15674 0 0 0 327549 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3275.51 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/264 77039
/proc/meminfo: memFree=127607476/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3335.39 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15674 0 0 0 333537 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3335.39 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/264 77043
/proc/meminfo: memFree=127607456/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3395.27 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15674 0 0 0 339525 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3395.27 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.16 4.04 6/264 77045
/proc/meminfo: memFree=127607472/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3455.14 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15676 0 0 0 345512 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3455.14 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.04 6/263 77047
/proc/meminfo: memFree=127607428/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3515.02 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15676 0 0 0 351500 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3515.02 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.05 6/263 77049
/proc/meminfo: memFree=127607304/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3574.9 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15676 0 0 0 357488 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3574.9 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.5 s]
/proc/loadavg: 4.46 4.22 4.08 6/263 77050
/proc/meminfo: memFree=127607320/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3600.05 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15676 0 0 0 360003 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3600.03 s, system=0.02593 s

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

[startup+3607.5 s]
/proc/loadavg: 4.46 4.22 4.08 6/263 77050
/proc/meminfo: memFree=127607320/131249988 swapFree=33010160/33010684
[pid=76814] ppid=76799 vsize=62048 memory=54180 CPUtime=3600.05 cores=5,7
/proc/76814/stat : 76814 (NuPBO-DeepOptS+) R 76799 76814 76740 0 -1 4194304 15676 0 0 0 360003 2 0 0 20 0 1 0 69117901 63537152 13545 18446744073709551615 4198400 15468185 140723036962720 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 34619392 140723036969366 140723036969476 140723036969476 140723036975078 0
/proc/76814/statm: 15512 13545 2816 2752 0 12165 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 54180 KiB

Child status: 10

Real time (s): 3607.5
CPU time (s): 3600.06
CPU user time (s): 3600.03
CPU system time (s): 0.02593
CPU usage (%): 99.7937
Max. virtual memory (cumulated for all children) (KiB): 76808
Max. memory (cumulated for all children) (KiB): 64964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.03
system time used= 0.02593
maximum resident set size= 64964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15697
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= 912


# summary of solver processes directly reported to runsolver:
#   pid: 76814
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3600.03
#   total CPU system time (s): 0.02593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73223 second user time and 10.8766 second system time

The end