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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502409-1751447326/watcher-4502409-1751447326 -o /tmp/evaluation-result-4502409-1751447326/solver-4502409-1751447326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751447326-59890 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4502409-1751447326.opb -t 3600 -s 1057297440 --no-s 

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

solver pid=59927, runsolver pid=59922

[startup+0.100058 s]*
/proc/loadavg: 1.02 1.09 1.17 5/244 59939
/proc/meminfo: memFree=128667592/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=20992 memory=5960 CPUtime=0.1 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 789 0 0 0 10 0 0 0 20 0 1 0 60412312 21495808 1490 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 5248 1490 1056 2752 0 1901 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20992 KiB
Current children cumulated memory: 5960 KiB

[startup+0.21407 s]*
/proc/loadavg: 1.02 1.09 1.17 6/250 59948
/proc/meminfo: memFree=128657952/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=23608 memory=8904 CPUtime=0.21 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 1487 0 0 0 21 0 0 0 20 0 1 0 60412312 24174592 2226 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 5902 2226 1120 2752 0 2555 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23608 KiB
Current children cumulated memory: 8904 KiB

[startup+0.313146 s]*
/proc/loadavg: 1.02 1.09 1.17 6/250 59948
/proc/meminfo: memFree=128654172/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=23608 memory=8904 CPUtime=0.31 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 1487 0 0 0 31 0 0 0 20 0 1 0 60412312 24174592 2226 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 5902 2226 1120 2752 0 2555 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23608 KiB
Current children cumulated memory: 8904 KiB

[startup+0.700262 s]
/proc/loadavg: 1.02 1.09 1.17 6/250 59948
/proc/meminfo: memFree=128651232/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=0.68 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2011 0 0 0 68 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+1.50024 s]
/proc/loadavg: 1.02 1.09 1.17 6/250 59948
/proc/meminfo: memFree=128623896/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=1.48 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2011 0 0 0 148 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3.11271 s]
/proc/loadavg: 1.26 1.14 1.19 6/250 59948
/proc/meminfo: memFree=128565724/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3.09 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2011 0 0 0 309 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+6.30023 s]
/proc/loadavg: 1.26 1.14 1.19 6/250 59948
/proc/meminfo: memFree=128384228/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=6.27 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2011 0 0 0 627 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 1.20 1.21 6/246 59956
/proc/meminfo: memFree=128318196/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=12.66 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2011 0 0 0 1266 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+25.5002 s]
/proc/loadavg: 2.10 1.34 1.25 6/250 59993
/proc/meminfo: memFree=126895628/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=25.43 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2011 0 0 0 2543 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+51.1122 s]
/proc/loadavg: 2.75 1.55 1.33 6/250 59994
/proc/meminfo: memFree=126706148/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=50.99 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2011 0 0 0 5099 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 1.96 1.48 6/250 59995
/proc/meminfo: memFree=126698864/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=102.07 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2017 0 0 0 10207 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.35 1.64 6/250 60001
/proc/meminfo: memFree=126714208/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=161.93 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2023 0 0 0 16193 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.67 1.80 6/250 60003
/proc/meminfo: memFree=126706832/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=221.78 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2027 0 0 0 22178 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 2.96 1.96 6/250 60005
/proc/meminfo: memFree=126703208/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=281.63 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2029 0 0 0 28163 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.17 2.09 6/250 60007
/proc/meminfo: memFree=126729568/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=341.49 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2031 0 0 0 34149 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 3.35 2.22 6/251 60010
/proc/meminfo: memFree=126704532/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=401.34 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2033 0 0 0 40134 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.49 2.34 6/251 60012
/proc/meminfo: memFree=126722320/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=461.19 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2033 0 0 0 46119 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 461.19 s

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

Current children cumulated memory: 11208 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.02 6/250 60141
/proc/meminfo: memFree=126709812/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=2915.14 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2053 0 0 0 291514 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 2915.14 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.02 6/250 60143
/proc/meminfo: memFree=126710784/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=2974.99 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2053 0 0 0 297499 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 2974.99 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.02 6/251 60148
/proc/meminfo: memFree=126709592/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3034.85 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2053 0 0 0 303485 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.02 6/251 60150
/proc/meminfo: memFree=126710372/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3094.7 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2053 0 0 0 309470 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3094.7 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.02 6/251 60167
/proc/meminfo: memFree=126709332/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3154.55 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2053 0 0 0 315455 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 6/251 60169
/proc/meminfo: memFree=126710392/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3214.4 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2055 0 0 0 321440 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3214.4 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3282.3 s]
/proc/loadavg: 4.62 4.22 4.07 6/251 60171
/proc/meminfo: memFree=126709924/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3274.25 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2055 0 0 0 327425 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.48 4.27 4.09 6/250 60173
/proc/meminfo: memFree=126709520/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3334.1 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2055 0 0 0 333410 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.23 4.09 6/251 60176
/proc/meminfo: memFree=126709452/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3393.96 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2055 0 0 0 339396 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3393.96 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.22 4.09 6/251 60178
/proc/meminfo: memFree=126709528/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3453.81 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2057 0 0 0 345381 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.19 4.09 6/251 60180
/proc/meminfo: memFree=126709608/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3513.66 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2057 0 0 0 351366 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.17 4.09 6/251 60182
/proc/meminfo: memFree=126710308/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3573.52 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2057 0 0 0 357352 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3573.52 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.11 4.17 4.09 6/251 60182
/proc/meminfo: memFree=126710308/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3600.05 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2057 0 0 0 360005 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3600.06 s, system=0.006956 s

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

[startup+3608.9 s]
/proc/loadavg: 4.11 4.17 4.09 6/251 60182
/proc/meminfo: memFree=126710308/131382112 swapFree=33010684/33010684
[pid=59927] ppid=59922 vsize=25664 memory=11208 CPUtime=3600.05 cores=4,6
/proc/59927/stat : 59927 (NuPBO-DeepOpt+) R 59922 59927 59879 0 -1 4194304 2057 0 0 0 360005 0 0 0 20 0 1 0 60412312 26279936 2802 18446744073709551615 4198400 15468185 140721304761968 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53690368 140721304770961 140721304771077 140721304771077 140721304776679 0
/proc/59927/statm: 6416 2802 1152 2752 0 3069 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 25664 KiB
Current children cumulated memory: 11208 KiB

Child status: 10

Real time (s): 3608.9
CPU time (s): 3600.06
CPU user time (s): 3600.06
CPU system time (s): 0.006956
CPU usage (%): 99.7551
Max. virtual memory (cumulated for all children) (KiB): 25664
Max. memory (cumulated for all children) (KiB): 11208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.06
system time used= 0.006956
maximum resident set size= 11208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2063
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: 59927
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3600.06
#   total CPU system time (s): 0.006956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0379 second user time and 31.3228 second system time

The end