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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523775-1751608860/watcher-4523775-1751608860 -o /tmp/evaluation-result-4523775-1751608860/solver-4523775-1751608860 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751601628-85129 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523775-1751608860.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=86131, runsolver pid=86128

[startup+0.100058 s]*
/proc/loadavg: 4.03 4.12 4.09 6/272 86135
/proc/meminfo: memFree=127605560/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=21552 memory=6984 CPUtime=0.08 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 1248 0 0 0 8 0 0 0 20 0 1 0 76563920 22069248 1746 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 5388 1746 1088 2752 0 2041 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28536 KiB
Current children cumulated memory: 11464 KiB

[startup+0.204981 s]*
/proc/loadavg: 4.03 4.12 4.09 5/272 86135
/proc/meminfo: memFree=127605560/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=27696 memory=10676 CPUtime=0.18 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 2161 0 0 0 18 0 0 0 20 0 1 0 76563920 28360704 2669 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 6924 2669 1088 2752 0 3577 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 34680 KiB
Current children cumulated memory: 15156 KiB

[startup+0.305659 s]*
/proc/loadavg: 4.03 4.12 4.09 5/272 86135
/proc/meminfo: memFree=127605560/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=27696 memory=12724 CPUtime=0.28 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 2162 0 0 0 28 0 0 0 20 0 1 0 76563920 28360704 3181 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 6924 3181 1088 2752 0 3577 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34680 KiB
Current children cumulated memory: 17204 KiB

[startup+0.70027 s]
/proc/loadavg: 4.03 4.12 4.09 5/272 86135
/proc/meminfo: memFree=127597116/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=79940 memory=62704 CPUtime=0.67 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 7532 0 0 0 65 2 0 0 20 0 1 0 76563920 81858560 15676 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 19985 15676 1088 2752 0 16638 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 67184 KiB

[startup+1.50017 s]
/proc/loadavg: 4.03 4.12 4.09 5/272 86146
/proc/meminfo: memFree=127548600/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=79940 memory=62960 CPUtime=1.47 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 7536 0 0 0 145 2 0 0 20 0 1 0 76563920 81858560 15740 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 19985 15740 1152 2752 0 16638 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 67440 KiB

[startup+3.10553 s]
/proc/loadavg: 4.03 4.12 4.09 5/272 86146
/proc/meminfo: memFree=127499964/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=79940 memory=62960 CPUtime=3.07 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 7542 0 0 0 305 2 0 0 20 0 1 0 76563920 81858560 15740 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 19985 15740 1152 2752 0 16638 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 67440 KiB

[startup+6.3002 s]
/proc/loadavg: 4.02 4.12 4.09 5/272 86146
/proc/meminfo: memFree=127504028/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=79940 memory=62960 CPUtime=6.26 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 7548 0 0 0 624 2 0 0 20 0 1 0 76563920 81858560 15740 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 19985 15740 1152 2752 0 16638 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 67440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.02 4.12 4.09 5/272 86146
/proc/meminfo: memFree=127500648/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=79940 memory=62960 CPUtime=12.64 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 7554 0 0 0 1262 2 0 0 20 0 1 0 76563920 81858560 15740 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 19985 15740 1152 2752 0 16638 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 67440 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.10 5/272 86146
/proc/meminfo: memFree=127485400/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=79940 memory=62960 CPUtime=25.41 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 7560 0 0 0 2539 2 0 0 20 0 1 0 76563920 81858560 15740 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 19985 15740 1152 2752 0 16638 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 67440 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 86147
/proc/meminfo: memFree=127351384/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=79940 memory=62960 CPUtime=50.97 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 7566 0 0 0 5095 2 0 0 20 0 1 0 76563920 81858560 15740 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 19985 15740 1152 2752 0 16638 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 86924 KiB
Current children cumulated memory: 67440 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/272 86148
/proc/meminfo: memFree=127016720/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0

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

/proc/86135/statm: 226774 224579 3168 2752 0 223427 0
Current children cumulated CPU time: 2256.09 s
Current children cumulated vsize: 914080 KiB
Current children cumulated memory: 902796 KiB

[startup+2322.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 86395
/proc/meminfo: memFree=126443780/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=907096 memory=898316 CPUtime=2315.92 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 800832 0 0 0 231454 138 0 0 20 0 1 0 76563920 928866304 224579 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 226774 224579 3168 2752 0 223427 0
Current children cumulated CPU time: 2315.92 s
Current children cumulated vsize: 914080 KiB
Current children cumulated memory: 902796 KiB

[startup+2382.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 86457
/proc/meminfo: memFree=127131144/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=907096 memory=898316 CPUtime=2375.74 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 800848 0 0 0 237436 138 0 0 20 0 1 0 76563920 928866304 224579 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 226774 224579 3168 2752 0 223427 0
Current children cumulated CPU time: 2375.74 s
Current children cumulated vsize: 914080 KiB
Current children cumulated memory: 902796 KiB

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

# cumulated CPU time of all completed processes:  user=2395.88 s, system=1.44954 s

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

[startup+2393.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 86458
/proc/meminfo: memFree=127115788/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86134] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86134/stat : 86134 (timeout) S 86131 86134 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76563920 2723840 352 18446744073709551615 93960694947840 93960694964353 140731516808272 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93960694979120 93960694981208 93960714428416 140731516815792 140731516815906 140731516815906 140731516821479 0
/proc/86134/statm: 665 352 352 5 0 90 0
[pid=86135] ppid=86134 vsize=907096 memory=898316 CPUtime=2387.01 cores=1,3
/proc/86135/stat : 86135 (NuPBO-DeepOptS+) R 86134 86134 85114 0 -1 4194304 800848 0 0 0 238563 138 0 0 20 0 1 0 76563920 928866304 224579 18446744073709551615 4198400 15468185 140726871346144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27820032 140726871353788 140726871353889 140726871353889 140726871359462 0
/proc/86135/statm: 226774 224579 3168 2752 0 223427 0
Current children cumulated CPU time: 2387.01 s
Current children cumulated vsize: 914080 KiB
Current children cumulated memory: 902796 KiB

[startup+2400 s]*
/proc/loadavg: 4.12 4.11 4.09 5/272 86460
/proc/meminfo: memFree=127961664/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=2391.43 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 280 801189 0 0 0 0 239004 139 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86459] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86459/stat : 86459 (timeout) S 86131 86459 85114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 76803722 2723840 352 18446744073709551615 94906311655424 94906311671937 140735407446224 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94906311686704 94906311688792 94906330918912 140735407454595 140735407454754 140735407454754 140735407460327 0
/proc/86459/statm: 665 352 352 5 0 90 0
[pid=86460] ppid=86459 vsize=99780 memory=65256 CPUtime=1.95 cores=1,3
/proc/86460/stat : 86460 (ExactPR-nols) R 86459 86459 85114 0 -1 4194304 17289 0 0 0 191 4 0 0 20 0 1 0 76803722 102174720 16314 18446744073709551615 94124233277440 94124242577093 140730648920320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94124244363584 94124244402664 94124267520000 140730648922520 140730648922660 140730648922660 140730648928233 0
/proc/86460/statm: 24945 16314 1888 2271 0 19583 0
Current children cumulated CPU time: 2393.38 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 69736 KiB

[startup+2401.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 86460
/proc/meminfo: memFree=127961664/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=2391.43 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 280 801189 0 0 0 0 239004 139 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86459] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86459/stat : 86459 (timeout) S 86131 86459 85114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 76803722 2723840 352 18446744073709551615 94906311655424 94906311671937 140735407446224 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94906311686704 94906311688792 94906330918912 140735407454595 140735407454754 140735407454754 140735407460327 0
/proc/86459/statm: 665 352 352 5 0 90 0
[pid=86460] ppid=86459 vsize=99780 memory=65256 CPUtime=3.54 cores=1,3
/proc/86460/stat : 86460 (ExactPR-nols) R 86459 86459 85114 0 -1 4194304 17293 0 0 0 350 4 0 0 20 0 1 0 76803722 102174720 16314 18446744073709551615 94124233277440 94124242577093 140730648920320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94124244363584 94124244402664 94124267520000 140730648922520 140730648922660 140730648922660 140730648928233 0
/proc/86460/statm: 24945 16314 1888 2271 0 19583 0
Current children cumulated CPU time: 2394.97 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 69736 KiB

[startup+2403.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 86460
/proc/meminfo: memFree=127957568/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=2391.43 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 280 801189 0 0 0 0 239004 139 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86459] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86459/stat : 86459 (timeout) S 86131 86459 85114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 76803722 2723840 352 18446744073709551615 94906311655424 94906311671937 140735407446224 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94906311686704 94906311688792 94906330918912 140735407454595 140735407454754 140735407454754 140735407460327 0
/proc/86459/statm: 665 352 352 5 0 90 0
[pid=86460] ppid=86459 vsize=99780 memory=67304 CPUtime=5.13 cores=1,3
/proc/86460/stat : 86460 (ExactPR-nols) R 86459 86459 85114 0 -1 4194304 17297 0 0 0 509 4 0 0 20 0 1 0 76803722 102174720 16826 18446744073709551615 94124233277440 94124242577093 140730648920320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94124244363584 94124244402664 94124267520000 140730648922520 140730648922660 140730648922660 140730648928233 0
/proc/86460/statm: 24945 16826 1888 2271 0 19583 0
Current children cumulated CPU time: 2396.56 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 71784 KiB

[startup+2403.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 86460
/proc/meminfo: memFree=127957568/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=2391.43 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 280 801189 0 0 0 0 239004 139 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86459] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86459/stat : 86459 (timeout) S 86131 86459 85114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 76803722 2723840 352 18446744073709551615 94906311655424 94906311671937 140735407446224 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94906311686704 94906311688792 94906330918912 140735407454595 140735407454754 140735407454754 140735407460327 0
/proc/86459/statm: 665 352 352 5 0 90 0
[pid=86460] ppid=86459 vsize=99780 memory=67304 CPUtime=5.53 cores=1,3
/proc/86460/stat : 86460 (ExactPR-nols) R 86459 86459 85114 0 -1 4194304 17297 0 0 0 549 4 0 0 20 0 1 0 76803722 102174720 16826 18446744073709551615 94124233277440 94124242577093 140730648920320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94124244363584 94124244402664 94124267520000 140730648922520 140730648922660 140730648922660 140730648928233 0
/proc/86460/statm: 24945 16826 1888 2271 0 19583 0
Current children cumulated CPU time: 2396.96 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 71784 KiB

[startup+2403.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 86460
/proc/meminfo: memFree=127957568/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=2391.43 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 280 801189 0 0 0 0 239004 139 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86459] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86459/stat : 86459 (timeout) S 86131 86459 85114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 76803722 2723840 352 18446744073709551615 94906311655424 94906311671937 140735407446224 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94906311686704 94906311688792 94906330918912 140735407454595 140735407454754 140735407454754 140735407460327 0
/proc/86459/statm: 665 352 352 5 0 90 0
[pid=86460] ppid=86459 vsize=99780 memory=67304 CPUtime=5.73 cores=1,3
/proc/86460/stat : 86460 (ExactPR-nols) R 86459 86459 85114 0 -1 4194304 17298 0 0 0 569 4 0 0 20 0 1 0 76803722 102174720 16826 18446744073709551615 94124233277440 94124242577093 140730648920320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94124244363584 94124244402664 94124267520000 140730648922520 140730648922660 140730648922660 140730648928233 0
/proc/86460/statm: 24945 16826 1888 2271 0 19583 0
Current children cumulated CPU time: 2397.16 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 71784 KiB

[startup+2403.9 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 86460
/proc/meminfo: memFree=127957568/131249996 swapFree=33000896/33010684
[pid=86131] ppid=86128 vsize=4324 memory=3072 CPUtime=2391.43 cores=1,3
/proc/86131/stat : 86131 (Hybrid-NuPBODee) S 86128 86131 85114 0 -1 4194304 280 801189 0 0 0 0 239004 139 20 0 1 0 76563918 4427776 768 18446744073709551615 93894387064832 93894387959365 140729935594912 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93894388198416 93894388246160 93894415630336 140729935599963 140729935600115 140729935600115 140729935605717 0
/proc/86131/statm: 1081 768 704 219 0 143 0
[pid=86459] ppid=86131 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/86459/stat : 86459 (timeout) S 86131 86459 85114 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 76803722 2723840 352 18446744073709551615 94906311655424 94906311671937 140735407446224 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94906311686704 94906311688792 94906330918912 140735407454595 140735407454754 140735407454754 140735407460327 0
/proc/86459/statm: 665 352 352 5 0 90 0
[pid=86460] ppid=86459 vsize=99780 memory=67304 CPUtime=5.83 cores=1,3
/proc/86460/stat : 86460 (ExactPR-nols) R 86459 86459 85114 0 -1 4194304 17298 0 0 0 579 4 0 0 20 0 1 0 76803722 102174720 16826 18446744073709551615 94124233277440 94124242577093 140730648920320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94124244363584 94124244402664 94124267520000 140730648922520 140730648922660 140730648922660 140730648928233 0
/proc/86460/statm: 24945 16826 1888 2271 0 19583 0
Current children cumulated CPU time: 2397.26 s
Current children cumulated vsize: 106764 KiB
Current children cumulated memory: 71784 KiB

Child status: 0

Real time (s): 2403.98
CPU time (s): 2397.33
CPU user time (s): 2395.88
CPU system time (s): 1.44954
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (KiB): 1052200
Max. memory (cumulated for all children) (KiB): 1018184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.88
system time used= 1.44954
maximum resident set size= 1013704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 820088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1005
involuntary context switches= 3027


# summary of solver processes directly reported to runsolver:
#   pid: 86131
#   total CPU time (s): 2397.33
#   total CPU user time (s): 2395.88
#   total CPU system time (s): 1.44954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.97406 second user time and 11.528 second system time

The end