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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484945-1751298123/watcher-4484945-1751298123 -o /tmp/evaluation-result-4484945-1751298123/solver-4484945-1751298123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751294513-38227 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4484945-1751298123.opb -t 3600 -s 1727840540 --no-s 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=38629, runsolver pid=38625
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.13 4.11 4.06 4/246 38634
/proc/meminfo: memFree=130150280/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=24260 memory=9424 CPUtime=0.1 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 1663 0 0 0 10 0 0 0 20 0 1 0 45491484 24842240 2356 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 6065 2356 1056 2752 0 2718 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24260 KiB
Current children cumulated memory: 9424 KiB

[startup+0.212268 s]*
/proc/loadavg: 4.13 4.11 4.06 5/245 38636
/proc/meminfo: memFree=130148628/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=25284 memory=10220 CPUtime=0.21 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 2117 0 0 0 21 0 0 0 20 0 1 0 45491484 25890816 2555 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 6321 2555 1056 2752 0 2974 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25284 KiB
Current children cumulated memory: 10220 KiB

[startup+0.312156 s]*
/proc/loadavg: 4.13 4.11 4.06 4/248 38640
/proc/meminfo: memFree=130148388/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=27332 memory=11836 CPUtime=0.31 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 2513 0 0 0 31 0 0 0 20 0 1 0 45491484 27987968 2959 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 6833 2959 1056 2752 0 3486 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27332 KiB
Current children cumulated memory: 11836 KiB

[startup+0.700328 s]
/proc/loadavg: 4.13 4.11 4.06 5/250 38645
/proc/meminfo: memFree=130144740/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=48660 memory=27912 CPUtime=0.69 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 6025 0 0 0 67 2 0 0 20 0 1 0 45491484 49827840 6978 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 12165 6978 1056 2752 0 8818 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48660 KiB
Current children cumulated memory: 27912 KiB

[startup+1.50034 s]
/proc/loadavg: 4.13 4.11 4.06 5/250 38645
/proc/meminfo: memFree=130042128/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=61672 memory=44376 CPUtime=1.48 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 9575 0 0 0 146 2 0 0 20 0 1 0 45491484 63152128 11094 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 15418 11094 1152 2752 0 12071 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61672 KiB
Current children cumulated memory: 44376 KiB

[startup+3.11283 s]
/proc/loadavg: 4.12 4.11 4.06 5/250 38645
/proc/meminfo: memFree=129962988/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=84216 memory=64404 CPUtime=3.09 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 68490 0 0 0 296 13 0 0 20 0 1 0 45491484 86237184 16101 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 21054 16101 1152 2752 0 17707 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84216 KiB
Current children cumulated memory: 64404 KiB

[startup+6.30031 s]
/proc/loadavg: 4.12 4.11 4.06 5/250 38645
/proc/meminfo: memFree=129946860/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=54732 CPUtime=6.26 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 113697 0 0 0 607 19 0 0 20 0 1 0 45491484 75837440 13683 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 13683 1152 2752 0 15168 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 54732 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.06 5/250 38645
/proc/meminfo: memFree=129946880/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=54732 CPUtime=12.64 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 116206 0 0 0 1245 19 0 0 20 0 1 0 45491484 75837440 13683 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 13683 1152 2752 0 15168 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 54732 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.06 5/251 38647
/proc/meminfo: memFree=129946636/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=54732 CPUtime=25.4 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118715 0 0 0 2520 20 0 0 20 0 1 0 45491484 75837440 13683 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 13683 1152 2752 0 15168 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 54732 KiB

[startup+51.1128 s]
/proc/loadavg: 4.12 4.11 4.07 5/251 38647
/proc/meminfo: memFree=129946872/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=54732 CPUtime=50.92 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118717 0 0 0 5072 20 0 0 20 0 1 0 45491484 75837440 13683 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 13683 1152 2752 0 15168 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 54732 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/251 38649
/proc/meminfo: memFree=129934584/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=54732 CPUtime=101.92 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118721 0 0 0 10172 20 0 0 20 0 1 0 45491484 75837440 13683 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 13683 1152 2752 0 15168 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 54732 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/251 38651
/proc/meminfo: memFree=129920800/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=54732 CPUtime=161.71 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118723 0 0 0 16151 20 0 0 20 0 1 0 45491484 75837440 13683 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 13683 1152 2752 0 15168 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 54732 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/251 38653
/proc/meminfo: memFree=129916856/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=221.5 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118744 0 0 0 22130 20 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/251 38655
/proc/meminfo: memFree=129912592/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=281.34 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118744 0 0 0 28114 20 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/249 38657
/proc/meminfo: memFree=129913372/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=341.17 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118761 0 0 0 34097 20 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/249 38659
/proc/meminfo: memFree=129915156/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=401.01 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118778 0 0 0 40081 20 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/249 38661
/proc/meminfo: memFree=129916692/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=460.85 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118778 0 0 0 46065 20 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0

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

Current children cumulated memory: 56908 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 38783
/proc/meminfo: memFree=129950892/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=2914.3 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118914 0 0 0 291408 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/251 38788
/proc/meminfo: memFree=129951404/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=2974.14 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118914 0 0 0 297392 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 38795
/proc/meminfo: memFree=129951888/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3033.98 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118931 0 0 0 303376 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3102.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/251 38797
/proc/meminfo: memFree=129952392/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3093.83 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118931 0 0 0 309361 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/251 38799
/proc/meminfo: memFree=129951420/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3153.67 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118931 0 0 0 315345 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/251 38801
/proc/meminfo: memFree=129951928/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3213.51 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118931 0 0 0 321329 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/250 38803
/proc/meminfo: memFree=129951200/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3273.35 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118931 0 0 0 327313 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/250 38805
/proc/meminfo: memFree=129950992/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3333.19 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118948 0 0 0 333297 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/250 38807
/proc/meminfo: memFree=129951008/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3393.03 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118948 0 0 0 339281 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/250 38809
/proc/meminfo: memFree=129951904/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3452.87 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118948 0 0 0 345265 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/250 38811
/proc/meminfo: memFree=129951028/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3512.71 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118948 0 0 0 351249 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.39 4.19 4.11 5/250 38815
/proc/meminfo: memFree=129951524/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3572.55 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118948 0 0 0 357233 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.67 4.27 4.14 3/242 38836
/proc/meminfo: memFree=130040992/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3600.08 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118948 0 0 0 359986 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.88 s, system=0.23068 s

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

[startup+3609.9 s]
/proc/loadavg: 4.67 4.27 4.14 3/242 38836
/proc/meminfo: memFree=130040992/131382120 swapFree=33010160/33010684
[pid=38629] ppid=38625 vsize=74060 memory=56908 CPUtime=3600.08 cores=5,7
/proc/38629/stat : 38629 (NuPBO-DeepOpt+) R 38625 38629 38209 0 -1 4194304 118948 0 0 0 359986 22 0 0 20 0 1 0 45491484 75837440 14227 18446744073709551615 4198400 15468185 140724212797248 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41033728 140724212799889 140724212800005 140724212800005 140724212805607 0
/proc/38629/statm: 18515 14227 1152 2752 0 15168 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 74060 KiB
Current children cumulated memory: 56908 KiB

Child status: 10

Real time (s): 3609.92
CPU time (s): 3600.11
CPU user time (s): 3599.88
CPU system time (s): 0.23068
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 84216
Max. memory (cumulated for all children) (KiB): 64404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.88
system time used= 0.23068
maximum resident set size= 66892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121463
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= 17
involuntary context switches= 19430


# summary of solver processes directly reported to runsolver:
#   pid: 38629
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.88
#   total CPU system time (s): 0.23068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4685 second user time and 32.5816 second system time

The end