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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484797-1751296131/watcher-4484797-1751296131 -o /tmp/evaluation-result-4484797-1751296131/solver-4484797-1751296131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751292533-48976 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4484797-1751296131.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=49483, runsolver pid=49479

[startup+0.100063 s]*
/proc/loadavg: 4.10 4.11 4.04 5/272 49487
/proc/meminfo: memFree=125544956/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=25968 memory=11140 CPUtime=0.07 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 1775 0 0 0 7 0 0 0 20 0 1 0 45291841 26591232 2785 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 6492 2785 1088 2752 0 3145 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32952 KiB
Current children cumulated memory: 15492 KiB

[startup+0.2059 s]*
/proc/loadavg: 4.10 4.11 4.04 5/272 49487
/proc/meminfo: memFree=125537080/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=28016 memory=13704 CPUtime=0.17 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 2383 0 0 0 17 0 0 0 20 0 1 0 45291841 28688384 3426 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 7004 3426 1088 2752 0 3657 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 35000 KiB
Current children cumulated memory: 18056 KiB

[startup+0.305764 s]*
/proc/loadavg: 4.10 4.11 4.04 5/272 49487
/proc/meminfo: memFree=125532984/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=32112 memory=15752 CPUtime=0.27 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 2899 0 0 0 27 0 0 0 20 0 1 0 45291841 32882688 3938 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 8028 3938 1088 2752 0 4681 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 39096 KiB
Current children cumulated memory: 20104 KiB

[startup+0.700254 s]
/proc/loadavg: 4.10 4.11 4.04 5/272 49487
/proc/meminfo: memFree=125477036/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=67680 memory=51384 CPUtime=0.65 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 9515 0 0 0 64 1 0 0 20 0 1 0 45291841 69304320 12846 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 16920 12846 1152 2752 0 13573 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 74664 KiB
Current children cumulated memory: 55736 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.11 4.04 5/272 49487
/proc/meminfo: memFree=125477036/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=67680 memory=51384 CPUtime=1.45 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 9515 0 0 0 144 1 0 0 20 0 1 0 45291841 69304320 12846 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 16920 12846 1152 2752 0 13573 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 74664 KiB
Current children cumulated memory: 55736 KiB

[startup+3.10569 s]
/proc/loadavg: 4.09 4.11 4.04 5/272 49487
/proc/meminfo: memFree=125106888/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=257032 memory=236608 CPUtime=3.05 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 55878 0 0 0 296 9 0 0 20 0 1 0 45291841 263200768 59152 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 64258 59152 2656 2752 0 60911 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 264016 KiB
Current children cumulated memory: 240960 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.11 4.04 5/272 49487
/proc/meminfo: memFree=124511076/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=569648 memory=507516 CPUtime=6.24 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 84781 0 0 0 608 16 0 0 20 0 1 0 45291841 583319552 126879 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 142412 126879 2816 2752 0 139065 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 576632 KiB
Current children cumulated memory: 511868 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.04 5/272 49487
/proc/meminfo: memFree=124448872/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=623732 memory=538348 CPUtime=12.62 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 91500 0 0 0 1244 18 0 0 20 0 1 0 45291841 638701568 134587 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 155933 134587 2816 2752 0 152586 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 630716 KiB
Current children cumulated memory: 542700 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.04 5/272 49487
/proc/meminfo: memFree=124440784/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=657596 memory=547280 CPUtime=25.38 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 92708 0 0 0 2520 18 0 0 20 0 1 0 45291841 673378304 136820 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 164399 136820 2816 2752 0 161052 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 664580 KiB
Current children cumulated memory: 551632 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.11 4.04 5/272 49488
/proc/meminfo: memFree=124726504/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49486/stat : 49486 (timeout) S 49483 49486 48963 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 45291841 2723840 352 18446744073709551615 94252661710848 94252661727361 140722165729840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94252661742128 94252661744216 94252679860224 140722165737904 140722165738018 140722165738018 140722165743591 0
/proc/49486/statm: 665 352 352 5 0 90 0
[pid=49487] ppid=49486 vsize=798016 memory=559540 CPUtime=50.92 cores=5,7
/proc/49487/stat : 49487 (NuPBO-DeepOptS+) R 49486 49486 48963 0 -1 4194304 95266 0 0 0 5073 19 0 0 20 0 1 0 45291841 817168384 139885 18446744073709551615 4198400 15468185 140735512028432 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 28680192 140735512037820 140735512037921 140735512037921 140735512043494 0
/proc/49487/statm: 199504 139885 2816 2752 0 196157 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 805000 KiB
Current children cumulated memory: 563892 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/273 49491
/proc/meminfo: memFree=124419820/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49486] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=249484 memory=215308 CPUtime=1061.54 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 30332 0 0 0 106125 29 0 0 20 0 1 0 45531644 255471616 53827 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 62371 53827 1888 2271 0 57009 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 256468 KiB
Current children cumulated memory: 219660 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 49803
/proc/meminfo: memFree=124403420/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=2391.64 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 284 240860 0 0 0 0 239111 53 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=252196 memory=218380 CPUtime=1121.37 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 31039 0 0 0 112107 30 0 0 20 0 1 0 45531644 258248704 54595 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 63049 54595 1888 2271 0 57687 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 259180 KiB
Current children cumulated memory: 222732 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 49805
/proc/meminfo: memFree=124410212/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=2391.64 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 284 240860 0 0 0 0 239111 53 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=253672 memory=221956 CPUtime=1181.22 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 31448 0 0 0 118091 31 0 0 20 0 1 0 45531644 259760128 55489 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 63418 55489 1888 2271 0 58056 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 260656 KiB
Current children cumulated memory: 226308 KiB

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

# cumulated CPU time of all completed processes:  user=3585.76 s, system=0.879396 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.09 5/271 49805
/proc/meminfo: memFree=124410292/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=2391.64 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 284 240860 0 0 0 0 239111 53 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=253672 memory=221956 CPUtime=1182.92 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 31448 0 0 0 118261 31 0 0 20 0 1 0 45531644 259760128 55489 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 63418 55489 1888 2271 0 58056 0
Current children cumulated CPU time: 3574.56 s
Current children cumulated vsize: 260656 KiB
Current children cumulated memory: 226308 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.13 4.10 5/271 49805
/proc/meminfo: memFree=124410452/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=2391.64 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 284 240860 0 0 0 0 239111 53 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=253672 memory=221956 CPUtime=1189.3 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 31448 0 0 0 118899 31 0 0 20 0 1 0 45531644 259760128 55489 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 63418 55489 1888 2271 0 58056 0
Current children cumulated CPU time: 3580.94 s
Current children cumulated vsize: 260656 KiB
Current children cumulated memory: 226308 KiB

[startup+3593.6 s]
/proc/loadavg: 4.17 4.13 4.10 5/271 49806
/proc/meminfo: memFree=124410452/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=2391.64 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 284 240860 0 0 0 0 239111 53 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=253672 memory=221956 CPUtime=1192.49 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 31448 0 0 0 119218 31 0 0 20 0 1 0 45531644 259760128 55489 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 63418 55489 1888 2271 0 58056 0
Current children cumulated CPU time: 3584.13 s
Current children cumulated vsize: 260656 KiB
Current children cumulated memory: 226308 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.13 4.10 5/272 49807
/proc/meminfo: memFree=124406356/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=2391.64 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 284 240860 0 0 0 0 239111 53 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=253672 memory=221956 CPUtime=1194.09 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 31448 0 0 0 119378 31 0 0 20 0 1 0 45531644 259760128 55489 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 63418 55489 1888 2271 0 58056 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 260656 KiB
Current children cumulated memory: 226308 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.13 4.10 5/272 49807
/proc/meminfo: memFree=124406356/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=2391.64 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 284 240860 0 0 0 0 239111 53 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=253672 memory=221956 CPUtime=1194.48 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 31448 0 0 0 119417 31 0 0 20 0 1 0 45531644 259760128 55489 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 63418 55489 1888 2271 0 58056 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 260656 KiB
Current children cumulated memory: 226308 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.13 4.10 5/272 49807
/proc/meminfo: memFree=124406356/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=2391.64 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 284 240860 0 0 0 0 239111 53 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
[pid=49667] ppid=49483 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/49667/stat : 49667 (timeout) S 49483 49667 48963 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 45531644 2723840 352 18446744073709551615 94706510163968 94706510180481 140737158590912 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94706510195248 94706510197336 94706529648640 140737158596995 140737158597154 140737158597154 140737158602727 0
/proc/49667/statm: 665 352 352 5 0 90 0
[pid=49668] ppid=49667 vsize=253672 memory=221956 CPUtime=1194.89 cores=5,7
/proc/49668/stat : 49668 (ExactPR-nols) R 49667 49667 48963 0 -1 4194304 31448 0 0 0 119458 31 0 0 20 0 1 0 45531644 259760128 55489 18446744073709551615 94488092110848 94488101410501 140725036897808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94488103196992 94488103236072 94488142139392 140725036906904 140725036907044 140725036907044 140725036912617 0
/proc/49668/statm: 63418 55489 1888 2271 0 58056 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 260656 KiB
Current children cumulated memory: 226308 KiB

[startup+3596.11 s]
/proc/loadavg: 4.17 4.13 4.10 5/272 49807
/proc/meminfo: memFree=124406356/131249992 swapFree=33010684/33010684
[pid=49483] ppid=49479 vsize=4324 memory=2944 CPUtime=3586.61 cores=5,7
/proc/49483/stat : 49483 (Hybrid-NuPBODee) S 49479 49483 48963 0 -1 4194304 395 274139 0 0 0 0 358575 86 20 0 1 0 45291839 4427776 736 18446744073709551615 93930706870272 93930707764805 140730756963232 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 93930708003856 93930708051600 93930734362624 140730756966747 140730756966899 140730756966899 140730756972501 0
/proc/49483/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.14
CPU time (s): 3586.64
CPU user time (s): 3585.76
CPU system time (s): 0.879396
CPU usage (%): 99.736
Max. virtual memory (cumulated for all children) (KiB): 1733996
Max. memory (cumulated for all children) (KiB): 1191684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.76
system time used= 0.879396
maximum resident set size= 1187332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275828
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2013
involuntary context switches= 1809


# summary of solver processes directly reported to runsolver:
#   pid: 49483
#   total CPU time (s): 3586.64
#   total CPU user time (s): 3585.76
#   total CPU system time (s): 0.879396

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.55937 second user time and 15.6036 second system time

The end