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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496807-1751393956/watcher-4496807-1751393956 -o /tmp/evaluation-result-4496807-1751393956/solver-4496807-1751393956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751384357-55299 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4496807-1751393956.opb 3600 HOME 

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=56716, runsolver pid=56713

[startup+0.10006 s]*
/proc/loadavg: 4.09 4.11 4.09 5/272 56720
/proc/meminfo: memFree=128591080/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=25552 memory=10904 CPUtime=0.07 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 2043 0 0 0 7 0 0 0 20 0 1 0 55073138 26165248 2726 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 6388 2726 1152 2752 0 3041 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32536 KiB
Current children cumulated memory: 15384 KiB

[startup+0.205972 s]*
/proc/loadavg: 4.09 4.11 4.09 5/272 56720
/proc/meminfo: memFree=128591080/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=25552 memory=10904 CPUtime=0.18 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 2043 0 0 0 18 0 0 0 20 0 1 0 55073138 26165248 2726 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 6388 2726 1152 2752 0 3041 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 32536 KiB
Current children cumulated memory: 15384 KiB

[startup+0.305285 s]*
/proc/loadavg: 4.09 4.11 4.09 5/272 56720
/proc/meminfo: memFree=128590828/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=25552 memory=10904 CPUtime=0.28 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 2043 0 0 0 28 0 0 0 20 0 1 0 55073138 26165248 2726 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 6388 2726 1152 2752 0 3041 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 32536 KiB
Current children cumulated memory: 15384 KiB

[startup+0.700242 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 56720
/proc/meminfo: memFree=128590332/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=67780 memory=56372 CPUtime=0.67 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12067 0 0 0 65 2 0 0 20 0 1 0 55073138 69406720 14093 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 16945 14093 2784 2752 0 13598 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 74764 KiB
Current children cumulated memory: 60852 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 56720
/proc/meminfo: memFree=128550264/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=54272 memory=43152 CPUtime=1.46 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12402 0 0 0 144 2 0 0 20 0 1 0 55073138 55574528 10788 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 13568 10788 2816 2752 0 10221 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 47632 KiB

[startup+3.1056 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 56720
/proc/meminfo: memFree=128550708/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=54272 memory=43152 CPUtime=3.06 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12402 0 0 0 304 2 0 0 20 0 1 0 55073138 55574528 10788 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 13568 10788 2816 2752 0 10221 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 47632 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 56720
/proc/meminfo: memFree=128550984/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=54272 memory=43152 CPUtime=6.25 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12402 0 0 0 623 2 0 0 20 0 1 0 55073138 55574528 10788 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 13568 10788 2816 2752 0 10221 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 47632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 56720
/proc/meminfo: memFree=128550984/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=54272 memory=43152 CPUtime=12.64 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12402 0 0 0 1262 2 0 0 20 0 1 0 55073138 55574528 10788 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 13568 10788 2816 2752 0 10221 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 47632 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.10 5/272 56721
/proc/meminfo: memFree=128552024/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=54272 memory=43152 CPUtime=25.41 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12402 0 0 0 2539 2 0 0 20 0 1 0 55073138 55574528 10788 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 13568 10788 2816 2752 0 10221 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 47632 KiB

[startup+51.1057 s]
/proc/loadavg: 4.20 4.14 4.10 5/271 56721
/proc/meminfo: memFree=128553584/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=54272 memory=43152 CPUtime=50.96 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12402 0 0 0 5094 2 0 0 20 0 1 0 55073138 55574528 10788 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 13568 10788 2816 2752 0 10221 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 47632 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/271 56724
/proc/meminfo: memFree=128557780/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=54272 memory=45712 CPUtime=2317.49 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12459 0 0 0 231747 2 0 0 20 0 1 0 55073138 55574528 11428 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 13568 11428 2816 2752 0 10221 0
Current children cumulated CPU time: 2317.49 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 50192 KiB

[startup+2382.3 s]
/proc/loadavg: 1.15 1.26 2.17 2/249 56970
/proc/meminfo: memFree=129941720/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56719] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56719/stat : 56719 (timeout) S 56716 56719 55286 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55073137 2723840 352 18446744073709551615 94038895259648 94038895276161 140726949159280 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94038895290928 94038895293016 94038920069120 140726949161392 140726949161506 140726949161506 140726949167079 0
/proc/56719/statm: 665 352 352 5 0 90 0
[pid=56720] ppid=56719 vsize=54272 memory=45712 CPUtime=2377.38 cores=5,7
/proc/56720/stat : 56720 (NuPBO-DeepOptS+) R 56719 56719 55286 0 -1 4194304 12459 0 0 0 237736 2 0 0 20 0 1 0 55073138 55574528 11428 18446744073709551615 4198400 15468185 140733672153872 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 24952832 140733672155580 140733672155681 140733672155681 140733672161254 0
/proc/56720/statm: 13568 11428 2816 2752 0 10221 0
Current children cumulated CPU time: 2377.38 s
Current children cumulated vsize: 61256 KiB
Current children cumulated memory: 50192 KiB

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

# cumulated CPU time of all completed processes:  user=2418.81 s, system=0.209271 s

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

[startup+2406.4 s]
/proc/loadavg: 1.10 1.24 2.13 2/249 56973
/proc/meminfo: memFree=129918020/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=2393.08 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 281 12701 0 0 0 0 239306 2 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56971] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56971/stat : 56971 (timeout) S 56716 56971 55286 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 55312938 2723840 352 18446744073709551615 94528885387264 94528885403777 140736372438176 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94528885418544 94528885420632 94528895660032 140736372443523 140736372443682 140736372443682 140736372449255 0
/proc/56971/statm: 665 352 352 5 0 90 0
[pid=56972] ppid=56971 vsize=111184 memory=80188 CPUtime=8.32 cores=5,7
/proc/56972/stat : 56972 (ExactPR-nols) R 56971 56971 55286 0 -1 4194304 13194 0 0 0 827 5 0 0 20 0 1 0 55312939 113852416 20047 18446744073709551615 94912781361152 94912790660805 140733327266048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94912792447296 94912792486376 94912818159616 140733327268248 140733327268388 140733327268388 140733327273961 0
/proc/56972/statm: 27796 20047 1920 2271 0 22434 0
Current children cumulated CPU time: 2401.4 s
Current children cumulated vsize: 118168 KiB
Current children cumulated memory: 84668 KiB

[startup+2412.8 s]
/proc/loadavg: 1.09 1.23 2.13 2/249 56973
/proc/meminfo: memFree=129821640/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=2393.08 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 281 12701 0 0 0 0 239306 2 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56971] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56971/stat : 56971 (timeout) S 56716 56971 55286 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 55312938 2723840 352 18446744073709551615 94528885387264 94528885403777 140736372438176 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94528885418544 94528885420632 94528895660032 140736372443523 140736372443682 140736372443682 140736372449255 0
/proc/56971/statm: 665 352 352 5 0 90 0
[pid=56972] ppid=56971 vsize=219800 memory=155708 CPUtime=14.7 cores=5,7
/proc/56972/stat : 56972 (ExactPR-nols) R 56971 56971 55286 0 -1 4194304 24226 0 0 0 1459 11 0 0 20 0 1 0 55312939 225075200 38927 18446744073709551615 94912781361152 94912790660805 140733327266048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94912792447296 94912792486376 94912818159616 140733327268248 140733327268388 140733327268388 140733327273961 0
/proc/56972/statm: 54950 38927 1920 2271 0 49588 0
Current children cumulated CPU time: 2407.78 s
Current children cumulated vsize: 226784 KiB
Current children cumulated memory: 160188 KiB

[startup+2419.2 s]
/proc/loadavg: 1.08 1.23 2.12 2/249 56974
/proc/meminfo: memFree=129823048/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=2393.08 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 281 12701 0 0 0 0 239306 2 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56971] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56971/stat : 56971 (timeout) S 56716 56971 55286 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 55312938 2723840 352 18446744073709551615 94528885387264 94528885403777 140736372438176 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94528885418544 94528885420632 94528895660032 140736372443523 140736372443682 140736372443682 140736372449255 0
/proc/56971/statm: 665 352 352 5 0 90 0
[pid=56972] ppid=56971 vsize=220036 memory=155836 CPUtime=21.09 cores=5,7
/proc/56972/stat : 56972 (ExactPR-nols) R 56971 56971 55286 0 -1 4194304 24283 0 0 0 2095 14 0 0 20 0 1 0 55312939 225316864 38959 18446744073709551615 94912781361152 94912790660805 140733327266048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94912792447296 94912792486376 94912818159616 140733327268248 140733327268388 140733327268388 140733327273961 0
/proc/56972/statm: 55009 38959 1920 2271 0 49647 0
Current children cumulated CPU time: 2414.17 s
Current children cumulated vsize: 227020 KiB
Current children cumulated memory: 160316 KiB

[startup+2422.4 s]
/proc/loadavg: 1.07 1.22 2.12 2/249 56974
/proc/meminfo: memFree=129825912/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=2393.08 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 281 12701 0 0 0 0 239306 2 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56971] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56971/stat : 56971 (timeout) S 56716 56971 55286 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 55312938 2723840 352 18446744073709551615 94528885387264 94528885403777 140736372438176 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94528885418544 94528885420632 94528895660032 140736372443523 140736372443682 140736372443682 140736372449255 0
/proc/56971/statm: 665 352 352 5 0 90 0
[pid=56972] ppid=56971 vsize=220036 memory=155836 CPUtime=24.28 cores=5,7
/proc/56972/stat : 56972 (ExactPR-nols) R 56971 56971 55286 0 -1 4194304 24284 0 0 0 2413 15 0 0 20 0 1 0 55312939 225316864 38959 18446744073709551615 94912781361152 94912790660805 140733327266048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94912792447296 94912792486376 94912818159616 140733327268248 140733327268388 140733327268388 140733327273961 0
/proc/56972/statm: 55009 38959 1920 2271 0 49647 0
Current children cumulated CPU time: 2417.36 s
Current children cumulated vsize: 227020 KiB
Current children cumulated memory: 160316 KiB

[startup+2423.2 s]
/proc/loadavg: 1.07 1.22 2.12 2/249 56974
/proc/meminfo: memFree=129825912/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=2393.08 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 281 12701 0 0 0 0 239306 2 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56971] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56971/stat : 56971 (timeout) S 56716 56971 55286 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 55312938 2723840 352 18446744073709551615 94528885387264 94528885403777 140736372438176 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94528885418544 94528885420632 94528895660032 140736372443523 140736372443682 140736372443682 140736372449255 0
/proc/56971/statm: 665 352 352 5 0 90 0
[pid=56972] ppid=56971 vsize=220036 memory=155836 CPUtime=25.08 cores=5,7
/proc/56972/stat : 56972 (ExactPR-nols) R 56971 56971 55286 0 -1 4194304 24285 0 0 0 2493 15 0 0 20 0 1 0 55312939 225316864 38959 18446744073709551615 94912781361152 94912790660805 140733327266048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94912792447296 94912792486376 94912818159616 140733327268248 140733327268388 140733327268388 140733327273961 0
/proc/56972/statm: 55009 38959 1920 2271 0 49647 0
Current children cumulated CPU time: 2418.16 s
Current children cumulated vsize: 227020 KiB
Current children cumulated memory: 160316 KiB

[startup+2423.6 s]
/proc/loadavg: 1.07 1.22 2.12 2/249 56974
/proc/meminfo: memFree=129825912/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=2393.08 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 281 12701 0 0 0 0 239306 2 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56971] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56971/stat : 56971 (timeout) S 56716 56971 55286 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 55312938 2723840 352 18446744073709551615 94528885387264 94528885403777 140736372438176 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94528885418544 94528885420632 94528895660032 140736372443523 140736372443682 140736372443682 140736372449255 0
/proc/56971/statm: 665 352 352 5 0 90 0
[pid=56972] ppid=56971 vsize=220036 memory=155964 CPUtime=25.49 cores=5,7
/proc/56972/stat : 56972 (ExactPR-nols) R 56971 56971 55286 0 -1 4194304 24289 0 0 0 2533 16 0 0 20 0 1 0 55312939 225316864 38991 18446744073709551615 94912781361152 94912790660805 140733327266048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94912792447296 94912792486376 94912818159616 140733327268248 140733327268388 140733327268388 140733327273961 0
/proc/56972/statm: 55009 38991 1920 2271 0 49647 0
Current children cumulated CPU time: 2418.57 s
Current children cumulated vsize: 227020 KiB
Current children cumulated memory: 160444 KiB

[startup+2424 s]*
/proc/loadavg: 1.07 1.22 2.12 2/249 56974
/proc/meminfo: memFree=129825912/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=2393.08 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 281 12701 0 0 0 0 239306 2 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
[pid=56971] ppid=56716 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/56971/stat : 56971 (timeout) S 56716 56971 55286 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 55312938 2723840 352 18446744073709551615 94528885387264 94528885403777 140736372438176 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94528885418544 94528885420632 94528895660032 140736372443523 140736372443682 140736372443682 140736372449255 0
/proc/56971/statm: 665 352 352 5 0 90 0
[pid=56972] ppid=56971 vsize=220036 memory=155964 CPUtime=25.89 cores=5,7
/proc/56972/stat : 56972 (ExactPR-nols) R 56971 56971 55286 0 -1 4194304 24289 0 0 0 2573 16 0 0 20 0 1 0 55312939 225316864 38991 18446744073709551615 94912781361152 94912790660805 140733327266048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94912792447296 94912792486376 94912818159616 140733327268248 140733327268388 140733327268388 140733327273961 0
/proc/56972/statm: 55009 38991 1920 2271 0 49647 0
Current children cumulated CPU time: 2418.97 s
Current children cumulated vsize: 227020 KiB
Current children cumulated memory: 160444 KiB

[startup+2424.11 s]
/proc/loadavg: 1.07 1.22 2.12 2/249 56974
/proc/meminfo: memFree=129825912/131249996 swapFree=33006296/33010684
[pid=56716] ppid=56713 vsize=4324 memory=3072 CPUtime=2419.01 cores=5,7
/proc/56716/stat : 56716 (Hybrid-NuPBODee) S 56713 56716 55286 0 -1 4194304 460 38067 0 0 0 0 241881 20 20 0 1 0 55073135 4427776 768 18446744073709551615 94048321552384 94048322446917 140727491861728 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048322685968 94048322733712 94048329764864 140727491864923 140727491865075 140727491865075 140727491870677 0
/proc/56716/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2419.01 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 2424.11
CPU time (s): 2419.02
CPU user time (s): 2418.81
CPU system time (s): 0.209271
CPU usage (%): 99.79
Max. virtual memory (cumulated for all children) (KiB): 227020
Max. memory (cumulated for all children) (KiB): 160444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2418.81
system time used= 0.209271
maximum resident set size= 193160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 946
involuntary context switches= 686


# summary of solver processes directly reported to runsolver:
#   pid: 56716
#   total CPU time (s): 2419.02
#   total CPU user time (s): 2418.81
#   total CPU system time (s): 0.209271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49134 second user time and 9.66175 second system time

The end