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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488891-1751345434/watcher-4488891-1751345434 -o /tmp/evaluation-result-4488891-1751345434/solver-4488891-1751345434 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751340595-44275 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4488891-1751345434.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44981, runsolver pid=44978

[startup+0.100095 s]*
/proc/loadavg: 4.07 4.09 4.09 5/259 44985
/proc/meminfo: memFree=128681792/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=21612 memory=7500 CPUtime=0.07 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 968 0 0 0 7 0 0 0 20 0 1 0 50222087 22130688 1875 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 5403 1875 1152 2752 0 2056 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11980 KiB

[startup+0.213201 s]*
/proc/loadavg: 4.07 4.09 4.09 5/259 44985
/proc/meminfo: memFree=128681792/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=21612 memory=7500 CPUtime=0.18 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 969 0 0 0 18 0 0 0 20 0 1 0 50222087 22130688 1875 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 5403 1875 1152 2752 0 2056 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11980 KiB

[startup+0.312949 s]*
/proc/loadavg: 4.07 4.09 4.09 5/259 44985
/proc/meminfo: memFree=128681792/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=21612 memory=7500 CPUtime=0.28 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 969 0 0 0 28 0 0 0 20 0 1 0 50222087 22130688 1875 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 5403 1875 1152 2752 0 2056 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11980 KiB

[startup+0.700434 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 44985
/proc/meminfo: memFree=128681792/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=43848 memory=34504 CPUtime=0.65 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 6384 0 0 0 64 1 0 0 20 0 1 0 50222087 44900352 8626 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 10962 8626 2816 2752 0 7615 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 38984 KiB

[startup+1.50043 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 44985
/proc/meminfo: memFree=128656340/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=47796 memory=38088 CPUtime=1.44 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 7301 0 0 0 143 1 0 0 20 0 1 0 50222087 48943104 9522 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 11949 9522 2816 2752 0 8602 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 54780 KiB
Current children cumulated memory: 42568 KiB

[startup+3.1134 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 44985
/proc/meminfo: memFree=128633908/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=58144 memory=47304 CPUtime=3.06 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 9605 0 0 0 304 2 0 0 20 0 1 0 50222087 59539456 11826 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 14536 11826 2816 2752 0 11189 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 65128 KiB
Current children cumulated memory: 51784 KiB

[startup+6.30039 s]
/proc/loadavg: 4.06 4.09 4.09 5/259 44985
/proc/meminfo: memFree=128596864/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=99044 memory=86856 CPUtime=6.23 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 19497 0 0 0 620 3 0 0 20 0 1 0 50222087 101421056 21714 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 24761 21714 2816 2752 0 21414 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 106028 KiB
Current children cumulated memory: 91336 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 44986
/proc/meminfo: memFree=128533464/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=140468 memory=124552 CPUtime=12.62 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 30053 0 0 0 1257 5 0 0 20 0 1 0 50222087 143839232 31138 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 35117 31138 2816 2752 0 31770 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 147452 KiB
Current children cumulated memory: 129032 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 44986
/proc/meminfo: memFree=128505740/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=141680 memory=126216 CPUtime=25.38 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 30466 0 0 0 2533 5 0 0 20 0 1 0 50222087 145080320 31554 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 35420 31554 2816 2752 0 32073 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 148664 KiB
Current children cumulated memory: 130696 KiB

[startup+51.1132 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 44986
/proc/meminfo: memFree=128466280/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=44984] ppid=44981 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/44984/stat : 44984 (timeout) S 44981 44984 44262 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 50222086 2723840 352 18446744073709551615 94327663116288 94327663132801 140737379538096 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94327663147568 94327663149656 94327693561856 140737379543472 140737379543586 140737379543586 140737379549159 0
/proc/44984/statm: 665 352 352 5 0 90 0
[pid=44985] ppid=44984 vsize=181008 memory=161340 CPUtime=50.92 cores=5,7
/proc/44985/stat : 44985 (NuPBO-DeepOptS+) R 44984 44984 44262 0 -1 4194304 39498 0 0 0 5086 6 0 0 20 0 1 0 50222087 185352192 40335 18446744073709551615 4198400 15468185 140735541120176 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 29151232 140735541123516 140735541123617 140735541123617 140735541129190 0
/proc/44985/statm: 45252 40335 2816 2752 0 41905 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 187992 KiB
Current children cumulated memory: 165820 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/259 45048
/proc/meminfo: memFree=128382800/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0

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

/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=263984 memory=221920 CPUtime=1061.24 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 34839 0 0 0 105744 380 0 0 20 0 1 0 50461888 270319616 55480 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 65996 55480 1856 2271 0 60634 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 270968 KiB
Current children cumulated memory: 226272 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 45301
/proc/meminfo: memFree=128266592/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=2391.92 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 282 113898 0 0 0 0 239167 25 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=265564 memory=223200 CPUtime=1121.06 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 35169 0 0 0 111711 395 0 0 20 0 1 0 50461888 271937536 55800 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 66391 55800 1856 2271 0 61029 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 272548 KiB
Current children cumulated memory: 227552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/258 45372
/proc/meminfo: memFree=128322180/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=2391.92 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 282 113898 0 0 0 0 239167 25 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=268392 memory=230496 CPUtime=1180.87 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 35892 0 0 0 117668 419 0 0 20 0 1 0 50461888 274833408 57624 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 67098 57624 1856 2271 0 61736 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 275376 KiB
Current children cumulated memory: 234848 KiB

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

# cumulated CPU time of all completed processes:  user=3582.03 s, system=4.55097 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.12 5/258 45372
/proc/meminfo: memFree=128298492/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=2391.92 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 282 113898 0 0 0 0 239167 25 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=269020 memory=231136 CPUtime=1182.57 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 36052 0 0 0 117838 419 0 0 20 0 1 0 50461888 275476480 57784 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 67255 57784 1856 2271 0 61893 0
Current children cumulated CPU time: 3574.49 s
Current children cumulated vsize: 276004 KiB
Current children cumulated memory: 235488 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.12 4.12 5/258 45372
/proc/meminfo: memFree=128302900/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=2391.92 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 282 113898 0 0 0 0 239167 25 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=269984 memory=233952 CPUtime=1188.94 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 36244 0 0 0 118471 423 0 0 20 0 1 0 50461888 276463616 58488 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 67496 58488 1856 2271 0 62134 0
Current children cumulated CPU time: 3580.86 s
Current children cumulated vsize: 276968 KiB
Current children cumulated memory: 238304 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.12 5/258 45372
/proc/meminfo: memFree=128303404/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=2391.92 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 282 113898 0 0 0 0 239167 25 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=270176 memory=234080 CPUtime=1192.13 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 36288 0 0 0 118789 424 0 0 20 0 1 0 50461888 276660224 58520 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 67544 58520 1856 2271 0 62182 0
Current children cumulated CPU time: 3584.05 s
Current children cumulated vsize: 277160 KiB
Current children cumulated memory: 238432 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.12 4.12 5/258 45372
/proc/meminfo: memFree=128299372/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=2391.92 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 282 113898 0 0 0 0 239167 25 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=270176 memory=234080 CPUtime=1193.74 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 36288 0 0 0 118949 425 0 0 20 0 1 0 50461888 276660224 58520 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 67544 58520 1856 2271 0 62182 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 277160 KiB
Current children cumulated memory: 238432 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.12 4.12 5/258 45372
/proc/meminfo: memFree=128299372/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=2391.92 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 282 113898 0 0 0 0 239167 25 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=270176 memory=234080 CPUtime=1194.14 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 36288 0 0 0 118989 425 0 0 20 0 1 0 50461888 276660224 58520 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 67544 58520 1856 2271 0 62182 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 277160 KiB
Current children cumulated memory: 238432 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.12 5/258 45372
/proc/meminfo: memFree=128304540/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=2391.92 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 282 113898 0 0 0 0 239167 25 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
[pid=45243] ppid=44981 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/45243/stat : 45243 (timeout) S 44981 45243 44262 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 50461887 2723840 320 18446744073709551615 94713214861312 94713214877825 140726772306432 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94713214892592 94713214894680 94713229062144 140726772312451 140726772312610 140726772312610 140726772318183 0
/proc/45243/statm: 665 320 320 5 0 90 0
[pid=45244] ppid=45243 vsize=270176 memory=234080 CPUtime=1194.55 cores=5,7
/proc/45244/stat : 45244 (ExactPR-nols) R 45243 45243 44262 0 -1 4194304 36288 0 0 0 119030 425 0 0 20 0 1 0 50461888 276660224 58520 18446744073709551615 94071710408704 94071719708357 140733164479568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94071721494848 94071721533928 94071750778880 140733164485016 140733164485156 140733164485156 140733164490729 0
/proc/45244/statm: 67544 58520 1856 2271 0 62182 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 277160 KiB
Current children cumulated memory: 238432 KiB

[startup+3596.11 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 45372
/proc/meminfo: memFree=128304540/131382120 swapFree=33010684/33010684
[pid=44981] ppid=44978 vsize=4324 memory=3072 CPUtime=3586.54 cores=5,7
/proc/44981/stat : 44981 (Hybrid-NuPBODee) S 44978 44981 44262 0 -1 4194304 365 151461 0 0 0 0 358202 452 20 0 1 0 50222083 4427776 768 18446744073709551615 94860762468352 94860763362885 140734611857024 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94860763601936 94860763649680 94860792160256 140734611863899 140734611864051 140734611864051 140734611869653 0
/proc/44981/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3586.58
CPU user time (s): 3582.03
CPU system time (s): 4.55097
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 460588
Max. memory (cumulated for all children) (KiB): 449508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.03
system time used= 4.55097
maximum resident set size= 445028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2047
involuntary context switches= 2187


# summary of solver processes directly reported to runsolver:
#   pid: 44981
#   total CPU time (s): 3586.58
#   total CPU user time (s): 3582.03
#   total CPU system time (s): 4.55097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0276 second user time and 37.6803 second system time

The end