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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499701-1751418644/watcher-4499701-1751418644 -o /tmp/evaluation-result-4499701-1751418644/solver-4499701-1751418644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751418644-60672 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4499701-1751418644.opb 3600 HOME 

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
Starting watchdog thread
solver pid=60718, runsolver pid=60712
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=127063420/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=22024 memory=7464 CPUtime=0.05 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 1084 0 0 0 5 0 0 0 20 0 1 0 57542156 22552576 1866 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 5506 1866 1088 2752 0 2159 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 29008 KiB
Current children cumulated memory: 11688 KiB

[startup+0.205836 s]*
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=127054600/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=36924 memory=21780 CPUtime=0.15 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 4901 0 0 0 15 0 0 0 20 0 1 0 57542156 37810176 5445 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 9231 5445 1088 2752 0 5884 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 43908 KiB
Current children cumulated memory: 26004 KiB

[startup+0.305709 s]*
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=127043228/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=39028 memory=23964 CPUtime=0.24 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 6085 0 0 0 24 0 0 0 20 0 1 0 57542156 39964672 5991 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 9757 5991 1152 2752 0 6410 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 28188 KiB

[startup+0.700209 s]
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=126971028/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=39028 memory=23964 CPUtime=0.63 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 6086 0 0 0 63 0 0 0 20 0 1 0 57542156 39964672 5991 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 9757 5991 1152 2752 0 6410 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 28188 KiB

[startup+1.50015 s]
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=126971028/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=39028 memory=23964 CPUtime=1.43 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 6086 0 0 0 143 0 0 0 20 0 1 0 57542156 39964672 5991 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 9757 5991 1152 2752 0 6410 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 28188 KiB

[startup+3.10573 s]
/proc/loadavg: 0.31 1.20 1.87 5/279 60743
/proc/meminfo: memFree=126874888/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=134372 memory=121280 CPUtime=3.03 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 29714 0 0 0 300 3 0 0 20 0 1 0 57542156 137596928 30320 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 33593 30320 2816 2752 0 30246 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 141356 KiB
Current children cumulated memory: 125504 KiB

[startup+6.30015 s]
/proc/loadavg: 0.61 1.25 1.88 5/279 60743
/proc/meminfo: memFree=126243196/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=135388 memory=122304 CPUtime=6.22 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 29968 0 0 0 618 4 0 0 20 0 1 0 57542156 138637312 30576 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 33847 30576 2816 2752 0 30500 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 142372 KiB
Current children cumulated memory: 126528 KiB

[startup+12.7002 s]
/proc/loadavg: 0.88 1.30 1.90 5/278 60743
/proc/meminfo: memFree=126223304/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=160492 memory=143264 CPUtime=12.6 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 34684 0 0 0 1256 4 0 0 20 0 1 0 57542156 164343808 35816 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 40123 35816 2848 2752 0 36776 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 167476 KiB
Current children cumulated memory: 147488 KiB

[startup+25.5002 s]
/proc/loadavg: 1.57 1.43 1.93 5/278 60743
/proc/meminfo: memFree=126191088/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=192908 memory=168480 CPUtime=25.37 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 40972 0 0 0 2532 5 0 0 20 0 1 0 57542156 197537792 42120 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 48227 42120 2848 2752 0 44880 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 199892 KiB
Current children cumulated memory: 172704 KiB

[startup+51.1057 s]
/proc/loadavg: 2.47 1.65 1.99 5/278 60744
/proc/meminfo: memFree=126158896/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=247632 memory=205764 CPUtime=50.9 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 49789 0 0 0 5083 7 0 0 20 0 1 0 57542156 253575168 51441 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 61908 51441 2848 2752 0 58561 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 254616 KiB
Current children cumulated memory: 209988 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 2.03 2.11 5/278 60746
/proc/meminfo: memFree=126118628/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=468352 memory=447840 CPUtime=2316.5 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 94013 0 0 0 231635 15 0 0 20 0 1 0 57542156 479592448 111960 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 117088 111960 2848 2752 0 113741 0
Current children cumulated CPU time: 2316.5 s
Current children cumulated vsize: 475336 KiB
Current children cumulated memory: 452064 KiB

[startup+2382.3 s]
/proc/loadavg: 4.12 4.21 4.03 5/272 60863
/proc/meminfo: memFree=125788668/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 245 106 0 1 0 0 0 0 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60735] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60735/stat : 60735 (timeout) S 60718 60735 60422 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 57542155 2723840 320 18446744073709551615 94004210331648 94004210348161 140727785889520 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94004210362928 94004210365016 94004223873024 140727785896368 140727785896482 140727785896482 140727785902055 0
/proc/60735/statm: 665 320 320 5 0 90 0
[pid=60739] ppid=60735 vsize=468352 memory=447840 CPUtime=2376.37 cores=0,2
/proc/60739/stat : 60739 (NuPBO-DeepOptS+) R 60735 60735 60422 0 -1 4194304 94022 0 0 0 237622 15 0 0 20 0 1 0 57542156 479592448 111960 18446744073709551615 4198400 15468185 140727412378960 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 29712384 140727412382140 140727412382241 140727412382241 140727412387814 0
/proc/60739/statm: 117088 111960 2848 2752 0 113741 0
Current children cumulated CPU time: 2376.37 s
Current children cumulated vsize: 475336 KiB
Current children cumulated memory: 452064 KiB

[startup+2419.9 s]
# the end of solver process 60718 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2413.62 s, system=0.20298 s

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

[startup+2406.4 s]
/proc/loadavg: 4.08 4.19 4.03 5/272 60872
/proc/meminfo: memFree=126885628/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=2392.1 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 279 94299 0 1 0 0 239194 16 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60864] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60864/stat : 60864 (timeout) S 60718 60864 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94865606860800 94865606877313 140725169001824 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94865606892080 94865606894168 94865625419776 140725169006979 140725169007138 140725169007138 140725169012711 0
/proc/60864/statm: 665 320 320 5 0 90 0
[pid=60866] ppid=60864 vsize=79820 memory=49260 CPUtime=8.28 cores=0,2
/proc/60866/stat : 60866 (ExactPR-nols) R 60864 60864 60422 0 -1 4194304 9246 0 0 0 826 2 0 0 20 0 1 0 57781957 81735680 12315 18446744073709551615 93880497758208 93880507057861 140735951144976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93880508844352 93880508883432 93880518496256 140735951149464 140735951149604 140735951149604 140735951155177 0
/proc/60866/statm: 19955 12315 1856 2271 0 14593 0
Current children cumulated CPU time: 2400.38 s
Current children cumulated vsize: 86804 KiB
Current children cumulated memory: 53484 KiB

[startup+2412.8 s]
/proc/loadavg: 4.15 4.20 4.04 5/272 60872
/proc/meminfo: memFree=126867228/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=2392.1 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 279 94299 0 1 0 0 239194 16 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60864] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60864/stat : 60864 (timeout) S 60718 60864 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94865606860800 94865606877313 140725169001824 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94865606892080 94865606894168 94865625419776 140725169006979 140725169007138 140725169007138 140725169012711 0
/proc/60864/statm: 665 320 320 5 0 90 0
[pid=60866] ppid=60864 vsize=81564 memory=51436 CPUtime=14.65 cores=0,2
/proc/60866/stat : 60866 (ExactPR-nols) R 60864 60864 60422 0 -1 4194304 9695 0 0 0 1463 2 0 0 20 0 1 0 57781957 83521536 12859 18446744073709551615 93880497758208 93880507057861 140735951144976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93880508844352 93880508883432 93880518496256 140735951149464 140735951149604 140735951149604 140735951155177 0
/proc/60866/statm: 20391 12859 1856 2271 0 15029 0
Current children cumulated CPU time: 2406.75 s
Current children cumulated vsize: 88548 KiB
Current children cumulated memory: 55660 KiB

[startup+2416 s]*
/proc/loadavg: 4.14 4.20 4.04 5/272 60872
/proc/meminfo: memFree=126883116/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=2392.1 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 279 94299 0 1 0 0 239194 16 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60864] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60864/stat : 60864 (timeout) S 60718 60864 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94865606860800 94865606877313 140725169001824 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94865606892080 94865606894168 94865625419776 140725169006979 140725169007138 140725169007138 140725169012711 0
/proc/60864/statm: 665 320 320 5 0 90 0
[pid=60866] ppid=60864 vsize=81840 memory=51692 CPUtime=17.85 cores=0,2
/proc/60866/stat : 60866 (ExactPR-nols) R 60864 60864 60422 0 -1 4194304 9765 0 0 0 1783 2 0 0 20 0 1 0 57781957 83804160 12923 18446744073709551615 93880497758208 93880507057861 140735951144976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93880508844352 93880508883432 93880518496256 140735951149464 140735951149604 140735951149604 140735951155177 0
/proc/60866/statm: 20460 12923 1856 2271 0 15098 0
Current children cumulated CPU time: 2409.95 s
Current children cumulated vsize: 88824 KiB
Current children cumulated memory: 55916 KiB

[startup+2417.6 s]
/proc/loadavg: 4.14 4.20 4.04 5/272 60872
/proc/meminfo: memFree=126878836/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=2392.1 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 279 94299 0 1 0 0 239194 16 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60864] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60864/stat : 60864 (timeout) S 60718 60864 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94865606860800 94865606877313 140725169001824 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94865606892080 94865606894168 94865625419776 140725169006979 140725169007138 140725169007138 140725169012711 0
/proc/60864/statm: 665 320 320 5 0 90 0
[pid=60866] ppid=60864 vsize=82596 memory=52460 CPUtime=19.45 cores=0,2
/proc/60866/stat : 60866 (ExactPR-nols) R 60864 60864 60422 0 -1 4194304 9953 0 0 0 1942 3 0 0 20 0 1 0 57781957 84578304 13115 18446744073709551615 93880497758208 93880507057861 140735951144976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93880508844352 93880508883432 93880518496256 140735951149464 140735951149604 140735951149604 140735951155177 0
/proc/60866/statm: 20649 13115 1856 2271 0 15287 0
Current children cumulated CPU time: 2411.55 s
Current children cumulated vsize: 89580 KiB
Current children cumulated memory: 56684 KiB

[startup+2419.2 s]
/proc/loadavg: 4.14 4.20 4.04 5/272 60872
/proc/meminfo: memFree=126878836/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=2392.1 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 279 94299 0 1 0 0 239194 16 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60864] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60864/stat : 60864 (timeout) S 60718 60864 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94865606860800 94865606877313 140725169001824 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94865606892080 94865606894168 94865625419776 140725169006979 140725169007138 140725169007138 140725169012711 0
/proc/60864/statm: 665 320 320 5 0 90 0
[pid=60866] ppid=60864 vsize=82596 memory=52460 CPUtime=21.04 cores=0,2
/proc/60866/stat : 60866 (ExactPR-nols) R 60864 60864 60422 0 -1 4194304 9954 0 0 0 2101 3 0 0 20 0 1 0 57781957 84578304 13115 18446744073709551615 93880497758208 93880507057861 140735951144976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93880508844352 93880508883432 93880518496256 140735951149464 140735951149604 140735951149604 140735951155177 0
/proc/60866/statm: 20649 13115 1856 2271 0 15287 0
Current children cumulated CPU time: 2413.14 s
Current children cumulated vsize: 89580 KiB
Current children cumulated memory: 56684 KiB

[startup+2419.6 s]
/proc/loadavg: 4.14 4.20 4.04 5/272 60872
/proc/meminfo: memFree=126878836/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=2392.1 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 279 94299 0 1 0 0 239194 16 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60864] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60864/stat : 60864 (timeout) S 60718 60864 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94865606860800 94865606877313 140725169001824 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94865606892080 94865606894168 94865625419776 140725169006979 140725169007138 140725169007138 140725169012711 0
/proc/60864/statm: 665 320 320 5 0 90 0
[pid=60866] ppid=60864 vsize=82596 memory=52460 CPUtime=21.44 cores=0,2
/proc/60866/stat : 60866 (ExactPR-nols) R 60864 60864 60422 0 -1 4194304 9954 0 0 0 2141 3 0 0 20 0 1 0 57781957 84578304 13115 18446744073709551615 93880497758208 93880507057861 140735951144976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93880508844352 93880508883432 93880518496256 140735951149464 140735951149604 140735951149604 140735951155177 0
/proc/60866/statm: 20649 13115 1856 2271 0 15287 0
Current children cumulated CPU time: 2413.54 s
Current children cumulated vsize: 89580 KiB
Current children cumulated memory: 56684 KiB

[startup+2419.8 s]
/proc/loadavg: 4.14 4.20 4.04 5/272 60872
/proc/meminfo: memFree=126878836/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=2392.1 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 279 94299 0 1 0 0 239194 16 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
[pid=60864] ppid=60718 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/60864/stat : 60864 (timeout) S 60718 60864 60422 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 57781957 2723840 320 18446744073709551615 94865606860800 94865606877313 140725169001824 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94865606892080 94865606894168 94865625419776 140725169006979 140725169007138 140725169007138 140725169012711 0
/proc/60864/statm: 665 320 320 5 0 90 0
[pid=60866] ppid=60864 vsize=82596 memory=52460 CPUtime=21.64 cores=0,2
/proc/60866/stat : 60866 (ExactPR-nols) R 60864 60864 60422 0 -1 4194304 9954 0 0 0 2161 3 0 0 20 0 1 0 57781957 84578304 13115 18446744073709551615 93880497758208 93880507057861 140735951144976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93880508844352 93880508883432 93880518496256 140735951149464 140735951149604 140735951149604 140735951155177 0
/proc/60866/statm: 20649 13115 1856 2271 0 15287 0
Current children cumulated CPU time: 2413.74 s
Current children cumulated vsize: 89580 KiB
Current children cumulated memory: 56684 KiB

[startup+2419.9 s]
/proc/loadavg: 4.14 4.20 4.04 5/272 60872
/proc/meminfo: memFree=126878836/131249996 swapFree=33010160/33010684
[pid=60718] ppid=60712 vsize=4324 memory=2944 CPUtime=2413.81 cores=0,2
/proc/60718/stat : 60718 (Hybrid-NuPBODee) S 60712 60718 60422 0 -1 4194304 453 105318 0 1 0 0 241362 19 20 0 1 0 57542150 4427776 736 18446744073709551615 93894916014080 93894916908613 140728146515664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93894917147664 93894917195408 93894925869056 140728146520411 140728146520563 140728146520563 140728146526165 0
/proc/60718/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2413.81 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2419.9
CPU time (s): 2413.83
CPU user time (s): 2413.62
CPU system time (s): 0.20298
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 477148
Max. memory (cumulated for all children) (KiB): 452256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2413.62
system time used= 0.20298
maximum resident set size= 452512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105871
page faults= 1
swaps= 0
block input operations= 32
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1160
involuntary context switches= 3152


# summary of solver processes directly reported to runsolver:
#   pid: 60718
#   total CPU time (s): 2413.83
#   total CPU user time (s): 2413.62
#   total CPU system time (s): 0.20298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.14625 second user time and 10.5724 second system time

The end