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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502548-1751452847/watcher-4502548-1751452847 -o /tmp/evaluation-result-4502548-1751452847/solver-4502548-1751452847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751452847-62311 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4502548-1751452847.opb -t 3600 -s 1293097427 

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
solver pid=62361, runsolver pid=62352
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 2.23 2.99 3.46 6/264 62370
/proc/meminfo: memFree=108933720/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=21888 memory=7500 CPUtime=0.1 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 976 0 0 0 10 0 0 0 20 0 1 0 60963297 22413312 1875 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 5472 1875 1152 2752 0 2125 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21888 KiB
Current children cumulated memory: 7500 KiB

[startup+0.204586 s]*
/proc/loadavg: 2.23 2.99 3.46 6/264 62370
/proc/meminfo: memFree=108895920/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=47564 memory=35660 CPUtime=0.19 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 6454 0 0 0 19 0 0 0 20 0 1 0 60963297 48705536 8915 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 11891 8915 2816 2752 0 8544 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47564 KiB
Current children cumulated memory: 35660 KiB

[startup+0.304693 s]*
/proc/loadavg: 2.23 2.99 3.46 6/264 62370
/proc/meminfo: memFree=108860576/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=51884 memory=42060 CPUtime=0.3 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 8065 0 0 0 29 1 0 0 20 0 1 0 60963297 53129216 10515 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 12971 10515 2816 2752 0 9624 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51884 KiB
Current children cumulated memory: 42060 KiB

[startup+0.700115 s]
/proc/loadavg: 2.23 2.99 3.46 6/264 62370
/proc/meminfo: memFree=108824220/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=56472 memory=45004 CPUtime=0.69 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 8814 0 0 0 68 1 0 0 20 0 1 0 60963297 57827328 11251 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 14118 11251 2816 2752 0 10771 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56472 KiB
Current children cumulated memory: 45004 KiB

[startup+1.50013 s]
/proc/loadavg: 2.23 2.99 3.46 6/264 62370
/proc/meminfo: memFree=108784012/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=68224 memory=54220 CPUtime=1.49 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 11101 0 0 0 147 2 0 0 20 0 1 0 60963297 69861376 13555 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 17056 13555 2816 2752 0 13709 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68224 KiB
Current children cumulated memory: 54220 KiB

[startup+3.10453 s]
/proc/loadavg: 2.23 2.99 3.46 6/264 62370
/proc/meminfo: memFree=108236320/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=74856 memory=59848 CPUtime=3.09 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 13684 0 0 0 307 2 0 0 20 0 1 0 60963297 76652544 14962 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 18714 14962 2816 2752 0 15367 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74856 KiB
Current children cumulated memory: 59848 KiB

[startup+6.3001 s]
/proc/loadavg: 2.45 3.03 3.46 6/264 62370
/proc/meminfo: memFree=107720464/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=74856 memory=59848 CPUtime=6.27 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 13706 0 0 0 625 2 0 0 20 0 1 0 60963297 76652544 14962 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 18714 14962 2816 2752 0 15367 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74856 KiB
Current children cumulated memory: 59848 KiB

[startup+12.7001 s]
/proc/loadavg: 2.66 3.06 3.47 6/264 62370
/proc/meminfo: memFree=106802664/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=82136 memory=67496 CPUtime=12.65 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 16259 0 0 0 1263 2 0 0 20 0 1 0 60963297 84107264 16874 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 20534 16874 2816 2752 0 17187 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 82136 KiB
Current children cumulated memory: 67496 KiB

[startup+25.5001 s]
/proc/loadavg: 3.18 3.16 3.50 6/263 62370
/proc/meminfo: memFree=106313452/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=107396 memory=91864 CPUtime=25.42 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 22731 0 0 0 2539 3 0 0 20 0 1 0 60963297 109973504 22966 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 26849 22966 2848 2752 0 23502 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 107396 KiB
Current children cumulated memory: 91864 KiB

[startup+51.1048 s]
/proc/loadavg: 3.93 3.34 3.55 6/263 62370
/proc/meminfo: memFree=105994688/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=150192 memory=134768 CPUtime=50.96 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 34598 0 0 0 5091 5 0 0 20 0 1 0 60963297 153796608 33692 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 37548 33692 2848 2752 0 34201 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 150192 KiB
Current children cumulated memory: 134768 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 3.49 3.59 6/264 62373
/proc/meminfo: memFree=105813552/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=186152 memory=167528 CPUtime=102.03 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 43061 0 0 0 10197 6 0 0 20 0 1 0 60963297 190619648 41882 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 46538 41882 2848 2752 0 43191 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 186152 KiB
Current children cumulated memory: 167528 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.60 3.63 6/264 62375
/proc/meminfo: memFree=105649348/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=208736 memory=190620 CPUtime=161.87 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 49064 0 0 0 16179 8 0 0 20 0 1 0 60963297 213745664 47655 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 52184 47655 2848 2752 0 48837 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 208736 KiB
Current children cumulated memory: 190620 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.69 3.66 6/264 62377
/proc/meminfo: memFree=105649476/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=186360 CPUtime=221.74 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52539 0 0 0 22165 9 0 0 20 0 1 0 60963297 208297984 46590 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 46590 2848 2752 0 47507 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 186360 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.78 3.69 5/264 62381
/proc/meminfo: memFree=105635408/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=186360 CPUtime=281.63 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52539 0 0 0 28153 10 0 0 20 0 1 0 60963297 208297984 46590 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 46590 2848 2752 0 47507 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 186360 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.84 3.72 6/263 62387
/proc/meminfo: memFree=105503812/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=186360 CPUtime=341.52 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52539 0 0 0 34141 11 0 0 20 0 1 0 60963297 208297984 46590 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 46590 2848 2752 0 47507 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 186360 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.90 3.75 6/262 62389
/proc/meminfo: memFree=105426160/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=186360 CPUtime=401.41 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52539 0 0 0 40129 12 0 0 20 0 1 0 60963297 208297984 46590 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 46590 2848 2752 0 47507 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 186360 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.94 3.77 6/262 62391
/proc/meminfo: memFree=105351636/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=186360 CPUtime=461.29 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52539 0 0 0 46116 13 0 0 20 0 1 0 60963297 208297984 46590 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 46590 2848 2752 0 47507 0
Current children cumulated CPU time: 461.29 s

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

Current children cumulated memory: 187000 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/264 62513
/proc/meminfo: memFree=104732736/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=193144 CPUtime=2855.4 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52551 0 0 0 285504 36 0 0 20 0 1 0 60963297 208297984 48286 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48286 2848 2752 0 47507 0
Current children cumulated CPU time: 2855.4 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 193144 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 62515
/proc/meminfo: memFree=104753516/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=2915.28 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52553 0 0 0 291492 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 2915.28 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/263 62517
/proc/meminfo: memFree=104776812/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=2975.16 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52557 0 0 0 297480 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 2975.16 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/262 62519
/proc/meminfo: memFree=104788100/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3035.05 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52559 0 0 0 303469 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3035.05 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/262 62521
/proc/meminfo: memFree=104788072/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3094.93 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52561 0 0 0 309457 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3094.93 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/263 62524
/proc/meminfo: memFree=104787304/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3154.82 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52561 0 0 0 315446 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3154.82 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.03 5/263 62526
/proc/meminfo: memFree=104787128/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3214.7 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52561 0 0 0 321434 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3214.7 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/263 62530
/proc/meminfo: memFree=104787068/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3274.59 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52563 0 0 0 327423 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3274.59 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/263 62536
/proc/meminfo: memFree=104788384/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3334.47 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52565 0 0 0 333411 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3334.47 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/263 62538
/proc/meminfo: memFree=104783308/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3394.35 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52565 0 0 0 339399 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3394.35 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/262 62540
/proc/meminfo: memFree=104760760/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3454.24 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52565 0 0 0 345388 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3454.24 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/262 62542
/proc/meminfo: memFree=104768300/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3514.12 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52565 0 0 0 351376 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3514.12 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/262 62544
/proc/meminfo: memFree=104786888/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3574.01 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52567 0 0 0 357365 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3574.01 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.11 4.09 4.04 5/262 62545
/proc/meminfo: memFree=104787012/131249988 swapFree=33010416/33010684
[pid=62361] ppid=62352 vsize=203416 memory=195832 CPUtime=3600.06 cores=4,6
/proc/62361/stat : 62361 (NuPBO-DeepOptS+) R 62352 62361 62300 0 -1 4194304 52567 0 0 0 359970 36 0 0 20 0 1 0 60963297 208297984 48958 18446744073709551615 4198400 15468185 140730381316768 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38641664 140730381318550 140730381318660 140730381318660 140730381324262 0
/proc/62361/statm: 50854 48958 2848 2752 0 47507 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 195832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.7 s, system=0.364011 s

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

Child status: 10

Real time (s): 3608.4
CPU time (s): 3600.07
CPU user time (s): 3599.7
CPU system time (s): 0.364011
CPU usage (%): 99.769
Max. virtual memory (cumulated for all children) (KiB): 221732
Max. memory (cumulated for all children) (KiB): 202428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.7
system time used= 0.364011
maximum resident set size= 204316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52603
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= 1036


# summary of solver processes directly reported to runsolver:
#   pid: 62361
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.7
#   total CPU system time (s): 0.364011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96843 second user time and 10.8328 second system time

The end