runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (54502 MiB free)
  memory of node 1: 64507 MiB (63680 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499609-1751418203/watcher-4499609-1751418203 -o /tmp/evaluation-result-4499609-1751418203/solver-4499609-1751418203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751414495-63580 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4499609-1751418203.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=64366, runsolver pid=64363

[startup+0.100067 s]*
/proc/loadavg: 4.12 4.11 4.09 5/273 64370
/proc/meminfo: memFree=121019268/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=24552 memory=9496 CPUtime=0.08 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 1895 0 0 0 8 0 0 0 20 0 1 0 57498127 25141248 2374 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 6138 2374 1088 2752 0 2791 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 31536 KiB
Current children cumulated memory: 13976 KiB

[startup+0.205802 s]*
/proc/loadavg: 4.12 4.11 4.09 5/273 64370
/proc/meminfo: memFree=121015172/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=26600 memory=11668 CPUtime=0.18 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 2431 0 0 0 18 0 0 0 20 0 1 0 57498127 27238400 2917 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 6650 2917 1088 2752 0 3303 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33584 KiB
Current children cumulated memory: 16148 KiB

[startup+0.305678 s]*
/proc/loadavg: 4.12 4.11 4.09 6/273 64370
/proc/meminfo: memFree=121011076/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=30696 memory=14232 CPUtime=0.28 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 2560 0 0 0 28 0 0 0 20 0 1 0 57498127 31432704 3558 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 7674 3558 1088 2752 0 4327 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 37680 KiB
Current children cumulated memory: 18712 KiB

[startup+0.700237 s]
/proc/loadavg: 4.12 4.11 4.09 6/273 64370
/proc/meminfo: memFree=120983228/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=61216 memory=44960 CPUtime=0.66 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 9111 0 0 0 65 1 0 0 20 0 1 0 57498127 62685184 11240 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 15304 11240 1152 2752 0 11957 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 68200 KiB
Current children cumulated memory: 49440 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.11 4.09 5/273 64370
/proc/meminfo: memFree=120983324/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=61216 memory=44960 CPUtime=1.46 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 9111 0 0 0 145 1 0 0 20 0 1 0 57498127 62685184 11240 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 15304 11240 1152 2752 0 11957 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 68200 KiB
Current children cumulated memory: 49440 KiB

[startup+3.10559 s]
/proc/loadavg: 4.12 4.11 4.09 5/273 64370
/proc/meminfo: memFree=120984024/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=61216 memory=44960 CPUtime=3.06 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 9115 0 0 0 305 1 0 0 20 0 1 0 57498127 62685184 11240 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 15304 11240 1152 2752 0 11957 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 68200 KiB
Current children cumulated memory: 49440 KiB

[startup+6.30022 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 64370
/proc/meminfo: memFree=120786140/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=265316 memory=247316 CPUtime=6.25 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 60001 0 0 0 616 9 0 0 20 0 1 0 57498127 271683584 61829 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 66329 61829 2816 2752 0 62982 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 272300 KiB
Current children cumulated memory: 251796 KiB

[startup+12.7002 s]
/proc/loadavg: 4.34 4.16 4.11 5/273 64370
/proc/meminfo: memFree=120784224/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=266256 memory=248212 CPUtime=12.63 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 60197 0 0 0 1254 9 0 0 20 0 1 0 57498127 272646144 62053 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 66564 62053 2816 2752 0 63217 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 273240 KiB
Current children cumulated memory: 252692 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.15 4.10 5/273 64370
/proc/meminfo: memFree=120777788/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=267432 memory=249364 CPUtime=25.39 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 60495 0 0 0 2530 9 0 0 20 0 1 0 57498127 273850368 62341 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 66858 62341 2816 2752 0 63511 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 274416 KiB
Current children cumulated memory: 253844 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.13 4.10 5/273 64371
/proc/meminfo: memFree=120768520/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=267432 memory=249364 CPUtime=50.92 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 60497 0 0 0 5083 9 0 0 20 0 1 0 57498127 273850368 62341 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 66858 62341 2816 2752 0 63511 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 274416 KiB
Current children cumulated memory: 253844 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/273 64372
/proc/meminfo: memFree=120740684/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64369] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64369/stat : 64369 (timeout) S 64366 64369 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57498127 2723840 352 18446744073709551615 94686334599168 94686334615681 140722972332400 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94686334630448 94686334632536 94686348460032 140722972338608 140722972338722 140722972338722 140722972344295 0
/proc/64369/statm: 665 352 352 5 0 90 0
[pid=64370] ppid=64369 vsize=267352 memory=259256 CPUtime=2376.05 cores=5,7
/proc/64370/stat : 64370 (NuPBO-DeepOptS+) R 64369 64369 63567 0 -1 4194304 65751 0 0 0 237595 10 0 0 20 0 1 0 57498127 273768448 64814 18446744073709551615 4198400 15468185 140721457057840 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 25808896 140721457060284 140721457060385 140721457060385 140721457065958 0
/proc/64370/statm: 66838 64814 3168 2752 0 63491 0
Current children cumulated CPU time: 2376.05 s
Current children cumulated vsize: 274336 KiB
Current children cumulated memory: 263736 KiB

[startup+2442.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/271 64673
/proc/meminfo: memFree=118007056/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2391.74 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 282 66023 0 0 0 0 239164 10 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64670] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64670/stat : 64670 (timeout) S 64366 64670 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57737929 2723840 352 18446744073709551615 94838912937984 94838912954497 140721814712384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94838912969264 94838912971352 94838930993152 140721814714755 140721814714914 140721814714914 140721814720487 0
/proc/64670/statm: 665 352 352 5 0 90 0
[pid=64671] ppid=64670 vsize=105528 memory=73676 CPUtime=44.1 cores=5,7
/proc/64671/stat : 64671 (ExactPR-nols) R 64670 64670 63567 0 -1 4194304 14368 0 0 0 4406 4 0 0 20 0 1 0 57737929 108060672 18419 18446744073709551615 94068067164160 94068076463813 140728780633056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94068078250304 94068078289384 94068104151040 140728780634520 140728780634660 140728780634660 140728780640233 0
/proc/64671/statm: 26382 18419 1888 2271 0 21020 0
Current children cumulated CPU time: 2435.84 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 78156 KiB

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

# cumulated CPU time of all completed processes:  user=2464.37 s, system=0.18705 s

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

[startup+2457.6 s]
/proc/loadavg: 4.06 4.10 4.09 5/271 64673
/proc/meminfo: memFree=118008804/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2391.74 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 282 66023 0 0 0 0 239164 10 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64670] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64670/stat : 64670 (timeout) S 64366 64670 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57737929 2723840 352 18446744073709551615 94838912937984 94838912954497 140721814712384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94838912969264 94838912971352 94838930993152 140721814714755 140721814714914 140721814714914 140721814720487 0
/proc/64670/statm: 665 352 352 5 0 90 0
[pid=64671] ppid=64670 vsize=105528 memory=73676 CPUtime=59.35 cores=5,7
/proc/64671/stat : 64671 (ExactPR-nols) R 64670 64670 63567 0 -1 4194304 14374 0 0 0 5929 6 0 0 20 0 1 0 57737929 108060672 18419 18446744073709551615 94068067164160 94068076463813 140728780633056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94068078250304 94068078289384 94068104151040 140728780634520 140728780634660 140728780634660 140728780640233 0
/proc/64671/statm: 26382 18419 1888 2271 0 21020 0
Current children cumulated CPU time: 2451.09 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 78156 KiB

[startup+2464 s]*
/proc/loadavg: 4.06 4.10 4.09 5/271 64673
/proc/meminfo: memFree=118007548/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2391.74 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 282 66023 0 0 0 0 239164 10 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64670] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64670/stat : 64670 (timeout) S 64366 64670 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57737929 2723840 352 18446744073709551615 94838912937984 94838912954497 140721814712384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94838912969264 94838912971352 94838930993152 140721814714755 140721814714914 140721814714914 140721814720487 0
/proc/64670/statm: 665 352 352 5 0 90 0
[pid=64671] ppid=64670 vsize=105528 memory=73676 CPUtime=65.74 cores=5,7
/proc/64671/stat : 64671 (ExactPR-nols) R 64670 64670 63567 0 -1 4194304 14375 0 0 0 6568 6 0 0 20 0 1 0 57737929 108060672 18419 18446744073709551615 94068067164160 94068076463813 140728780633056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94068078250304 94068078289384 94068104151040 140728780634520 140728780634660 140728780634660 140728780640233 0
/proc/64671/statm: 26382 18419 1888 2271 0 21020 0
Current children cumulated CPU time: 2457.48 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 78156 KiB

[startup+2467.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/271 64674
/proc/meminfo: memFree=118007332/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2391.74 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 282 66023 0 0 0 0 239164 10 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64670] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64670/stat : 64670 (timeout) S 64366 64670 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57737929 2723840 352 18446744073709551615 94838912937984 94838912954497 140721814712384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94838912969264 94838912971352 94838930993152 140721814714755 140721814714914 140721814714914 140721814720487 0
/proc/64670/statm: 665 352 352 5 0 90 0
[pid=64671] ppid=64670 vsize=105528 memory=73676 CPUtime=68.93 cores=5,7
/proc/64671/stat : 64671 (ExactPR-nols) R 64670 64670 63567 0 -1 4194304 14375 0 0 0 6887 6 0 0 20 0 1 0 57737929 108060672 18419 18446744073709551615 94068067164160 94068076463813 140728780633056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94068078250304 94068078289384 94068104151040 140728780634520 140728780634660 140728780634660 140728780640233 0
/proc/64671/statm: 26382 18419 1888 2271 0 21020 0
Current children cumulated CPU time: 2460.67 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 78156 KiB

[startup+2468.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/271 64674
/proc/meminfo: memFree=118007396/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2391.74 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 282 66023 0 0 0 0 239164 10 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64670] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64670/stat : 64670 (timeout) S 64366 64670 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57737929 2723840 352 18446744073709551615 94838912937984 94838912954497 140721814712384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94838912969264 94838912971352 94838930993152 140721814714755 140721814714914 140721814714914 140721814720487 0
/proc/64670/statm: 665 352 352 5 0 90 0
[pid=64671] ppid=64670 vsize=105528 memory=73676 CPUtime=70.52 cores=5,7
/proc/64671/stat : 64671 (ExactPR-nols) R 64670 64670 63567 0 -1 4194304 14375 0 0 0 7046 6 0 0 20 0 1 0 57737929 108060672 18419 18446744073709551615 94068067164160 94068076463813 140728780633056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94068078250304 94068078289384 94068104151040 140728780634520 140728780634660 140728780634660 140728780640233 0
/proc/64671/statm: 26382 18419 1888 2271 0 21020 0
Current children cumulated CPU time: 2462.26 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 78156 KiB

[startup+2470.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 64674
/proc/meminfo: memFree=118007396/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2391.74 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 282 66023 0 0 0 0 239164 10 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64670] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64670/stat : 64670 (timeout) S 64366 64670 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57737929 2723840 352 18446744073709551615 94838912937984 94838912954497 140721814712384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94838912969264 94838912971352 94838930993152 140721814714755 140721814714914 140721814714914 140721814720487 0
/proc/64670/statm: 665 352 352 5 0 90 0
[pid=64671] ppid=64670 vsize=105528 memory=73676 CPUtime=72.12 cores=5,7
/proc/64671/stat : 64671 (ExactPR-nols) R 64670 64670 63567 0 -1 4194304 14375 0 0 0 7206 6 0 0 20 0 1 0 57737929 108060672 18419 18446744073709551615 94068067164160 94068076463813 140728780633056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94068078250304 94068078289384 94068104151040 140728780634520 140728780634660 140728780634660 140728780640233 0
/proc/64671/statm: 26382 18419 1888 2271 0 21020 0
Current children cumulated CPU time: 2463.86 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 78156 KiB

[startup+2470.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 64674
/proc/meminfo: memFree=118007396/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2391.74 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 282 66023 0 0 0 0 239164 10 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64670] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64670/stat : 64670 (timeout) S 64366 64670 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57737929 2723840 352 18446744073709551615 94838912937984 94838912954497 140721814712384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94838912969264 94838912971352 94838930993152 140721814714755 140721814714914 140721814714914 140721814720487 0
/proc/64670/statm: 665 352 352 5 0 90 0
[pid=64671] ppid=64670 vsize=105528 memory=73676 CPUtime=72.51 cores=5,7
/proc/64671/stat : 64671 (ExactPR-nols) R 64670 64670 63567 0 -1 4194304 14375 0 0 0 7245 6 0 0 20 0 1 0 57737929 108060672 18419 18446744073709551615 94068067164160 94068076463813 140728780633056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94068078250304 94068078289384 94068104151040 140728780634520 140728780634660 140728780634660 140728780640233 0
/proc/64671/statm: 26382 18419 1888 2271 0 21020 0
Current children cumulated CPU time: 2464.25 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 78156 KiB

[startup+2471 s]*
/proc/loadavg: 4.12 4.11 4.09 5/271 64674
/proc/meminfo: memFree=118007396/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2391.74 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 282 66023 0 0 0 0 239164 10 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
[pid=64670] ppid=64366 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/64670/stat : 64670 (timeout) S 64366 64670 63567 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 57737929 2723840 352 18446744073709551615 94838912937984 94838912954497 140721814712384 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94838912969264 94838912971352 94838930993152 140721814714755 140721814714914 140721814714914 140721814720487 0
/proc/64670/statm: 665 352 352 5 0 90 0
[pid=64671] ppid=64670 vsize=105528 memory=73676 CPUtime=72.72 cores=5,7
/proc/64671/stat : 64671 (ExactPR-nols) R 64670 64670 63567 0 -1 4194304 14375 0 0 0 7266 6 0 0 20 0 1 0 57737929 108060672 18419 18446744073709551615 94068067164160 94068076463813 140728780633056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94068078250304 94068078289384 94068104151040 140728780634520 140728780634660 140728780634660 140728780640233 0
/proc/64671/statm: 26382 18419 1888 2271 0 21020 0
Current children cumulated CPU time: 2464.46 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 78156 KiB

[startup+2471.1 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 64674
/proc/meminfo: memFree=118007396/131250000 swapFree=33010416/33010684
[pid=64366] ppid=64363 vsize=4324 memory=3072 CPUtime=2464.54 cores=5,7
/proc/64366/stat : 64366 (Hybrid-NuPBODee) S 64363 64366 63567 0 -1 4194304 460 81449 0 0 0 0 246436 18 20 0 1 0 57498125 4427776 768 18446744073709551615 93993968156672 93993969051205 140729844084928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93993969290256 93993969338000 93993988919296 140729844091227 140729844091379 140729844091379 140729844096981 0
/proc/64366/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2464.54 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 2471.11
CPU time (s): 2464.55
CPU user time (s): 2464.37
CPU system time (s): 0.18705
CPU usage (%): 99.7348
Max. virtual memory (cumulated for all children) (KiB): 310928
Max. memory (cumulated for all children) (KiB): 289632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2464.37
system time used= 0.18705
maximum resident set size= 285152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 978
involuntary context switches= 717


# summary of solver processes directly reported to runsolver:
#   pid: 64366
#   total CPU time (s): 2464.55
#   total CPU user time (s): 2464.37
#   total CPU system time (s): 0.18705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80204 second user time and 11.171 second system time

The end