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-4502410-1751452847/watcher-4502410-1751452847 -o /tmp/evaluation-result-4502410-1751452847/solver-4502410-1751452847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751452847-62310 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4502410-1751452847.opb -t 3600 -s 1293097427 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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.el
solver pid=62357, runsolver pid=62351
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 2.23 2.99 3.46 5/264 62370
/proc/meminfo: memFree=108933720/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=23608 memory=9032 CPUtime=0.1 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 1487 0 0 0 10 0 0 0 20 0 1 0 60963296 24174592 2258 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 5902 2258 1152 2752 0 2555 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23608 KiB
Current children cumulated memory: 9032 KiB

[startup+0.205318 s]*
/proc/loadavg: 2.23 2.99 3.46 5/264 62370
/proc/meminfo: memFree=108895920/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=37592 memory=27976 CPUtime=0.2 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 4790 0 0 0 20 0 0 0 20 0 1 0 60963296 38494208 6994 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 9398 6994 2656 2752 0 6051 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37592 KiB
Current children cumulated memory: 27976 KiB

[startup+0.305317 s]*
/proc/loadavg: 2.23 2.99 3.46 5/264 62370
/proc/meminfo: memFree=108868640/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=56496 memory=46280 CPUtime=0.3 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 9297 0 0 0 29 1 0 0 20 0 1 0 60963296 57851904 11570 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 14124 11570 2784 2752 0 10777 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56496 KiB
Current children cumulated memory: 46280 KiB

[startup+0.700144 s]
/proc/loadavg: 2.23 2.99 3.46 5/264 62370
/proc/meminfo: memFree=108824220/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=57944 memory=47560 CPUtime=0.69 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 9615 0 0 0 68 1 0 0 20 0 1 0 60963296 59334656 11890 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 14486 11890 2784 2752 0 11139 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57944 KiB
Current children cumulated memory: 47560 KiB

[startup+1.50016 s]
/proc/loadavg: 2.23 2.99 3.46 5/264 62370
/proc/meminfo: memFree=108784012/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=58480 memory=48328 CPUtime=1.49 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 9794 0 0 0 148 1 0 0 20 0 1 0 60963296 59883520 12082 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 14620 12082 2816 2752 0 11273 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58480 KiB
Current children cumulated memory: 48328 KiB

[startup+3.10525 s]
/proc/loadavg: 2.23 2.99 3.46 5/264 62370
/proc/meminfo: memFree=108236320/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=85432 memory=73896 CPUtime=3.09 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 17629 0 0 0 307 2 0 0 20 0 1 0 60963296 87482368 18474 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 21358 18474 2816 2752 0 18011 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 85432 KiB
Current children cumulated memory: 73896 KiB

[startup+6.30011 s]
/proc/loadavg: 2.45 3.03 3.46 5/264 62370
/proc/meminfo: memFree=107720464/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=85432 memory=74024 CPUtime=6.27 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 17633 0 0 0 625 2 0 0 20 0 1 0 60963296 87482368 18506 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 21358 18506 2848 2752 0 18011 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85432 KiB
Current children cumulated memory: 74024 KiB

[startup+12.7001 s]
/proc/loadavg: 2.66 3.06 3.47 5/264 62370
/proc/meminfo: memFree=106802664/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=85432 memory=74280 CPUtime=12.65 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 17684 0 0 0 1263 2 0 0 20 0 1 0 60963296 87482368 18570 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 21358 18570 2848 2752 0 18011 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85432 KiB
Current children cumulated memory: 74280 KiB

[startup+25.5002 s]
/proc/loadavg: 3.18 3.16 3.50 5/263 62370
/proc/meminfo: memFree=106313452/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=92368 memory=81832 CPUtime=25.41 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 19584 0 0 0 2539 2 0 0 20 0 1 0 60963296 94584832 20458 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 23092 20458 2848 2752 0 19745 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 92368 KiB
Current children cumulated memory: 81832 KiB

[startup+51.1053 s]
/proc/loadavg: 3.93 3.34 3.55 5/263 62370
/proc/meminfo: memFree=105994688/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=108504 memory=96936 CPUtime=50.94 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 23388 0 0 0 5091 3 0 0 20 0 1 0 60963296 111108096 24234 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 27126 24234 2848 2752 0 23779 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 108504 KiB
Current children cumulated memory: 96936 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 3.49 3.59 5/264 62373
/proc/meminfo: memFree=105813552/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=112364 memory=101988 CPUtime=101.97 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 27756 0 0 0 10193 4 0 0 20 0 1 0 60963296 115060736 25497 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 28091 25497 2848 2752 0 24744 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 112364 KiB
Current children cumulated memory: 101988 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.60 3.63 5/264 62375
/proc/meminfo: memFree=105649348/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=115696 memory=105468 CPUtime=161.78 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 31821 0 0 0 16173 5 0 0 20 0 1 0 60963296 118472704 26367 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 28924 26367 2848 2752 0 25577 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 115696 KiB
Current children cumulated memory: 105468 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.69 3.66 5/264 62377
/proc/meminfo: memFree=105649476/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=115696 memory=105468 CPUtime=221.59 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 31823 0 0 0 22154 5 0 0 20 0 1 0 60963296 118472704 26367 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 28924 26367 2848 2752 0 25577 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 115696 KiB
Current children cumulated memory: 105468 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=62357] ppid=62351 vsize=115696 memory=105468 CPUtime=281.41 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 31823 0 0 0 28136 5 0 0 20 0 1 0 60963296 118472704 26367 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 28924 26367 2848 2752 0 25577 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 115696 KiB
Current children cumulated memory: 105468 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.84 3.72 5/263 62387
/proc/meminfo: memFree=105503812/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=146104 memory=135056 CPUtime=341.23 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 41381 0 0 0 34117 6 0 0 20 0 1 0 60963296 149610496 33764 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 36526 33764 2848 2752 0 33179 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 146104 KiB
Current children cumulated memory: 135056 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.90 3.75 5/262 62389
/proc/meminfo: memFree=105426160/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=188024 memory=177220 CPUtime=401.05 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 52669 0 0 0 40097 8 0 0 20 0 1 0 60963296 192536576 44305 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 47006 44305 2848 2752 0 43659 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 188024 KiB
Current children cumulated memory: 177220 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.94 3.77 5/262 62391
/proc/meminfo: memFree=105351636/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=213900 memory=202864 CPUtime=460.87 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 60593 0 0 0 46077 10 0 0 20 0 1 0 60963296 219033600 50716 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 53475 50716 2848 2752 0 50128 0
Current children cumulated CPU time: 460.87 s

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

Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=2855.17 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80665 0 0 0 285502 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 2855.17 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=2915.02 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80668 0 0 0 291487 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 2915.02 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=2974.88 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80668 0 0 0 297473 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 2974.88 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3034.73 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80671 0 0 0 303458 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3094.59 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80671 0 0 0 309444 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3154.44 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80671 0 0 0 315429 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3214.3 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80674 0 0 0 321415 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3274.15 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80674 0 0 0 327400 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3334 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80677 0 0 0 333385 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3393.86 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80677 0 0 0 339371 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3453.71 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80677 0 0 0 345356 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3453.71 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3513.57 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80680 0 0 0 351342 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 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=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3573.42 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80680 0 0 0 357327 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3573.42 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.11 4.09 4.04 4/258 62553
/proc/meminfo: memFree=104973320/131249988 swapFree=33010416/33010684
[pid=62357] ppid=62351 vsize=271532 memory=263980 CPUtime=3600.06 cores=0,2
/proc/62357/stat : 62357 (NuPBO-DeepOptS+) R 62351 62357 62300 0 -1 4194304 80680 0 0 0 359991 15 0 0 20 0 1 0 60963296 278048768 65995 18446744073709551615 4198400 15468185 140724367042064 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52121600 140724367051158 140724367051268 140724367051268 140724367056870 0
/proc/62357/statm: 67883 65995 2848 2752 0 64536 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 271532 KiB
Current children cumulated memory: 263980 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.92 s, system=0.159469 s

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

Child status: 10

Real time (s): 3609.01
CPU time (s): 3600.08
CPU user time (s): 3599.92
CPU system time (s): 0.159469
CPU usage (%): 99.7526
Max. virtual memory (cumulated for all children) (KiB): 282328
Max. memory (cumulated for all children) (KiB): 274228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.92
system time used= 0.159469
maximum resident set size= 274228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80721
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= 40
involuntary context switches= 7857


# summary of solver processes directly reported to runsolver:
#   pid: 62357
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.92
#   total CPU system time (s): 0.159469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88574 second user time and 12.1797 second system time

The end