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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518634-1751547206/watcher-4518634-1751547206 -o /tmp/evaluation-result-4518634-1751547206/solver-4518634-1751547206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751539986-80685 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4518634-1751547206.opb -t 3600 -s 1053120531 

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=81480, runsolver pid=81469

[startup+0.100064 s]*
/proc/loadavg: 4.08 4.08 4.09 7/266 81485
/proc/meminfo: memFree=123712852/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=41848 memory=31532 CPUtime=0.09 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 6245 0 0 0 8 1 0 0 20 0 1 0 70400053 42852352 7883 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 10462 7883 2816 2752 0 7115 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41848 KiB
Current children cumulated memory: 31532 KiB

[startup+0.205484 s]*
/proc/loadavg: 4.08 4.08 4.09 8/266 81485
/proc/meminfo: memFree=123705044/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=43104 memory=33816 CPUtime=0.19 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 6998 0 0 0 18 1 0 0 20 0 1 0 70400053 44138496 8454 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 10776 8454 2816 2752 0 7429 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43104 KiB
Current children cumulated memory: 33816 KiB

[startup+0.305631 s]*
/proc/loadavg: 4.08 4.08 4.09 7/266 81485
/proc/meminfo: memFree=123701028/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=44856 memory=35608 CPUtime=0.29 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 7460 0 0 0 28 1 0 0 20 0 1 0 70400053 45932544 8902 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 11214 8902 2816 2752 0 7867 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44856 KiB
Current children cumulated memory: 35608 KiB

[startup+0.700169 s]
/proc/loadavg: 4.07 4.08 4.09 7/266 81485
/proc/meminfo: memFree=123684900/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=52820 memory=43032 CPUtime=0.68 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 9303 0 0 0 67 1 0 0 20 0 1 0 70400053 54087680 10758 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 13205 10758 2816 2752 0 9858 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52820 KiB
Current children cumulated memory: 43032 KiB

[startup+1.50017 s]
/proc/loadavg: 4.07 4.08 4.09 7/266 81485
/proc/meminfo: memFree=123684900/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=53708 memory=44312 CPUtime=1.48 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 9651 0 0 0 147 1 0 0 20 0 1 0 70400053 54996992 11078 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 13427 11078 2816 2752 0 10080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53708 KiB
Current children cumulated memory: 44312 KiB

[startup+3.10529 s]
/proc/loadavg: 4.07 4.08 4.09 7/266 81485
/proc/meminfo: memFree=123673104/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=62720 memory=53400 CPUtime=3.08 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 11910 0 0 0 306 2 0 0 20 0 1 0 70400053 64225280 13350 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 15680 13350 2816 2752 0 12333 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 62720 KiB
Current children cumulated memory: 53400 KiB

[startup+6.3001 s]
/proc/loadavg: 4.15 4.10 4.09 7/266 81485
/proc/meminfo: memFree=123661500/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=66880 memory=57656 CPUtime=6.26 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 13418 0 0 0 624 2 0 0 20 0 1 0 70400053 68485120 14414 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 16720 14414 2816 2752 0 13373 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66880 KiB
Current children cumulated memory: 57656 KiB

[startup+12.7001 s]
/proc/loadavg: 4.13 4.09 4.09 7/266 81485
/proc/meminfo: memFree=123645656/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=76184 memory=67128 CPUtime=12.64 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 15777 0 0 0 1262 2 0 0 20 0 1 0 70400053 78012416 16782 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 19046 16782 2816 2752 0 15699 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 76184 KiB
Current children cumulated memory: 67128 KiB

[startup+25.5001 s]
/proc/loadavg: 4.11 4.09 4.09 7/266 81485
/proc/meminfo: memFree=123633884/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=97196 memory=87640 CPUtime=25.4 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 23171 0 0 0 2536 4 0 0 20 0 1 0 70400053 99528704 21910 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 24299 21910 2816 2752 0 20952 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 97196 KiB
Current children cumulated memory: 87640 KiB

[startup+51.1052 s]
/proc/loadavg: 4.07 4.08 4.09 7/266 81485
/proc/meminfo: memFree=123612076/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=112364 memory=103756 CPUtime=50.91 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 34772 0 0 0 5086 5 0 0 20 0 1 0 70400053 115060736 25939 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 28091 25939 2816 2752 0 24744 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 112364 KiB
Current children cumulated memory: 103756 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 7/266 81487
/proc/meminfo: memFree=123535136/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=173744 memory=163756 CPUtime=101.93 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 50392 0 0 0 10184 9 0 0 20 0 1 0 70400053 177913856 40939 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 43436 40939 2816 2752 0 40089 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 173744 KiB
Current children cumulated memory: 163756 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/265 81489
/proc/meminfo: memFree=123474180/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=237932 memory=229168 CPUtime=161.71 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 67203 0 0 0 16159 12 0 0 20 0 1 0 70400053 243642368 57292 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 59483 57292 2816 2752 0 56136 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 237932 KiB
Current children cumulated memory: 229168 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 7/265 81492
/proc/meminfo: memFree=123400172/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=296976 memory=284932 CPUtime=221.49 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 81812 0 0 0 22135 14 0 0 20 0 1 0 70400053 304103424 71233 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 74244 71233 2816 2752 0 70897 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 296976 KiB
Current children cumulated memory: 284932 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 7/265 81494
/proc/meminfo: memFree=123360096/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=365036 memory=354400 CPUtime=281.3 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 97574 0 0 0 28113 17 0 0 20 0 1 0 70400053 373796864 88600 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 91259 88600 2816 2752 0 87912 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 365036 KiB
Current children cumulated memory: 354400 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 7/263 81496
/proc/meminfo: memFree=123316096/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=413056 memory=402856 CPUtime=341.1 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 110052 0 0 0 34091 19 0 0 20 0 1 0 70400053 422969344 100714 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 103264 100714 2816 2752 0 99917 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 413056 KiB
Current children cumulated memory: 402856 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 7/263 81498
/proc/meminfo: memFree=123252544/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=471328 memory=461360 CPUtime=400.92 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 125558 0 0 0 40070 22 0 0 20 0 1 0 70400053 482639872 115340 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 117832 115340 2816 2752 0 114485 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 471328 KiB
Current children cumulated memory: 461360 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/264 81514
/proc/meminfo: memFree=123203964/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=520420 memory=510868 CPUtime=460.72 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 138553 0 0 0 46048 24 0 0 20 0 1 0 70400053 532910080 127717 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 130105 127717 2816 2752 0 126758 0
Current children cumulated CPU time: 460.72 s

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

Current children cumulated memory: 947552 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.09 7/266 81638
/proc/meminfo: memFree=122763392/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=2854.28 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447365 0 0 0 285347 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 2854.28 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.08 4.08 7/265 81645
/proc/meminfo: memFree=122762960/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=2914.16 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447366 0 0 0 291335 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 2914.16 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 7/264 81647
/proc/meminfo: memFree=122762692/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=2974.04 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447367 0 0 0 297323 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 2974.04 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 7/263 81649
/proc/meminfo: memFree=122762796/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3033.92 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447368 0 0 0 303311 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 7/263 81651
/proc/meminfo: memFree=122762736/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3093.8 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447368 0 0 0 309299 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/265 81655
/proc/meminfo: memFree=122763032/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3153.68 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447369 0 0 0 315287 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 7/264 81657
/proc/meminfo: memFree=122762744/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3213.56 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447370 0 0 0 321275 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.09 7/264 81659
/proc/meminfo: memFree=122762604/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3273.44 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447371 0 0 0 327263 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 7/264 81661
/proc/meminfo: memFree=122762356/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3333.32 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447372 0 0 0 333251 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 7/264 81663
/proc/meminfo: memFree=122762284/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3393.2 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447372 0 0 0 339239 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3462.3 s]
/proc/loadavg: 5.27 4.39 4.19 7/265 81670
/proc/meminfo: memFree=122761804/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3453.08 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447373 0 0 0 345227 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.51 4.33 4.18 7/265 81676
/proc/meminfo: memFree=122764128/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3512.96 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447374 0 0 0 351215 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.28 4.17 7/265 81678
/proc/meminfo: memFree=122763760/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3572.84 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447375 0 0 0 357203 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.17 4.26 4.17 2/247 81772
/proc/meminfo: memFree=122844056/131250000 swapFree=33009904/33010684
[pid=81480] ppid=81469 vsize=955284 memory=947552 CPUtime=3600.09 cores=5,7
/proc/81480/stat : 81480 (NuPBO-DeepOptS+) R 81469 81480 80672 0 -1 4194304 447375 0 0 0 359928 81 0 0 20 0 1 0 70400053 978210816 236888 18446744073709551615 4198400 15468185 140734859257872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 26169344 140734859266454 140734859266564 140734859266564 140734859272166 0
/proc/81480/statm: 238821 236888 2816 2752 0 235474 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 955284 KiB
Current children cumulated memory: 947552 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.28 s, system=0.816475 s

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

Child status: 10

Real time (s): 3609.6
CPU time (s): 3600.1
CPU user time (s): 3599.28
CPU system time (s): 0.816475
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 1763532
Max. memory (cumulated for all children) (KiB): 1749044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.28
system time used= 0.816475
maximum resident set size= 1749044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447403
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= 173
involuntary context switches= 3901


# summary of solver processes directly reported to runsolver:
#   pid: 81480
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.28
#   total CPU system time (s): 0.816475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66951 second user time and 12.6035 second system time

The end