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: 63794 MiB (62688 MiB free)
  memory of node 1: 64507 MiB (63046 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509545-1751529182/watcher-4509545-1751529182 -o /tmp/evaluation-result-4509545-1751529182/solver-4509545-1751529182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751529182-76460 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4509545-1751529182.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

Current StackSize limit: 8192 KiB

solver pid=76503, runsolver pid=76494

[startup+0.100067 s]*
/proc/loadavg: 0.94 1.09 1.48 6/266 76526
/proc/meminfo: memFree=128748260/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=20096 memory=5476 CPUtime=0.06 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 500 0 0 0 6 0 0 0 20 0 1 0 68597182 20578304 1369 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 5024 1369 1088 2752 0 1677 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 27080 KiB
Current children cumulated memory: 9700 KiB

[startup+0.21386 s]*
/proc/loadavg: 0.94 1.09 1.48 6/267 76528
/proc/meminfo: memFree=128732160/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=21812 memory=7572 CPUtime=0.17 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 1022 0 0 0 17 0 0 0 20 0 1 0 68597182 22335488 1893 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 5453 1893 1152 2752 0 2106 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28796 KiB
Current children cumulated memory: 11796 KiB

[startup+0.313595 s]*
/proc/loadavg: 0.94 1.09 1.48 6/267 76528
/proc/meminfo: memFree=128724348/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=35200 memory=25760 CPUtime=0.27 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 4195 0 0 0 26 1 0 0 20 0 1 0 68597182 36044800 6440 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 8800 6440 2688 2752 0 5453 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 42184 KiB
Current children cumulated memory: 29984 KiB

[startup+0.700477 s]
/proc/loadavg: 1.18 1.14 1.49 6/267 76528
/proc/meminfo: memFree=128665644/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=63188 memory=51668 CPUtime=0.65 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 12247 0 0 0 60 5 0 0 20 0 1 0 68597182 64704512 12917 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15797 12917 2816 2752 0 12450 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 70172 KiB
Current children cumulated memory: 55892 KiB

[startup+1.50044 s]
/proc/loadavg: 1.18 1.14 1.49 6/267 76528
/proc/meminfo: memFree=128511928/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=51636 CPUtime=1.44 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15596 0 0 0 138 6 0 0 20 0 1 0 68597182 63537152 12909 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 12909 2816 2752 0 12165 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 55860 KiB

[startup+3.11386 s]
/proc/loadavg: 1.18 1.14 1.49 6/267 76528
/proc/meminfo: memFree=127985772/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=51636 CPUtime=3.05 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15596 0 0 0 299 6 0 0 20 0 1 0 68597182 63537152 12909 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 12909 2816 2752 0 12165 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 55860 KiB

[startup+6.30043 s]
/proc/loadavg: 1.41 1.19 1.51 6/267 76528
/proc/meminfo: memFree=127925344/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=51636 CPUtime=6.23 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15596 0 0 0 617 6 0 0 20 0 1 0 68597182 63537152 12909 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 12909 2816 2752 0 12165 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 55860 KiB

[startup+12.7004 s]
/proc/loadavg: 1.62 1.24 1.52 6/267 76528
/proc/meminfo: memFree=127913508/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=51636 CPUtime=12.61 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15596 0 0 0 1255 6 0 0 20 0 1 0 68597182 63537152 12909 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 12909 2816 2752 0 12165 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 55860 KiB

[startup+25.5004 s]
/proc/loadavg: 1.98 1.33 1.55 6/267 76578
/proc/meminfo: memFree=128006204/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=51636 CPUtime=25.36 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15596 0 0 0 2528 8 0 0 20 0 1 0 68597182 63537152 12909 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 12909 2816 2752 0 12165 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 55860 KiB

[startup+51.1134 s]
/proc/loadavg: 2.90 1.62 1.64 6/267 76579
/proc/meminfo: memFree=128024184/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=51636 CPUtime=50.91 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15596 0 0 0 5083 8 0 0 20 0 1 0 68597182 63537152 12909 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 12909 2816 2752 0 12165 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 55860 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.00 1.77 6/265 76581
/proc/meminfo: memFree=127992268/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2196.68 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15643 0 0 0 219651 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2196.68 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

[startup+2262.3 s]
/proc/loadavg: 4.09 4.09 3.92 5/258 76691
/proc/meminfo: memFree=127221384/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2256.53 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15643 0 0 0 225636 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2256.53 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

[startup+2322.3 s]
/proc/loadavg: 4.07 4.08 3.93 5/259 76698
/proc/meminfo: memFree=127229828/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2316.37 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15643 0 0 0 231620 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2316.37 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

[startup+2382.3 s]
/proc/loadavg: 4.08 4.08 3.94 5/258 76700
/proc/meminfo: memFree=127231520/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2376.21 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15646 0 0 0 237604 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2376.21 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

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

# cumulated CPU time of all completed processes:  user=2391.86 s, system=0.21777 s

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

[startup+2387.2 s]
/proc/loadavg: 4.08 4.08 3.94 5/258 76700
/proc/meminfo: memFree=127231520/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2381.1 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15646 0 0 0 238093 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2381.1 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

[startup+2393.6 s]
/proc/loadavg: 4.07 4.08 3.94 5/258 76700
/proc/meminfo: memFree=127231520/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2387.49 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15646 0 0 0 238732 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2387.49 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

[startup+2396.8 s]
/proc/loadavg: 4.06 4.08 3.94 5/258 76700
/proc/meminfo: memFree=127231544/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2390.68 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15646 0 0 0 239051 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2390.68 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

[startup+2397.6 s]
/proc/loadavg: 4.06 4.08 3.94 5/258 76700
/proc/meminfo: memFree=127231796/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2391.48 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15646 0 0 0 239131 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2391.48 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

[startup+2398 s]*
/proc/loadavg: 4.06 4.08 3.94 5/258 76700
/proc/meminfo: memFree=127231796/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 247 107 0 1 0 0 0 0 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
[pid=76515] ppid=76503 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/76515/stat : 76515 (timeout) S 76503 76515 76447 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 68597181 2723840 320 18446744073709551615 94248930213888 94248930230401 140730937172944 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94248930245168 94248930247256 94248953663488 140730937178544 140730937178658 140730937178658 140730937184231 0
/proc/76515/statm: 665 320 320 5 0 90 0
[pid=76518] ppid=76515 vsize=62048 memory=54196 CPUtime=2391.89 cores=5,7
/proc/76518/stat : 76518 (NuPBO-DeepOptS+) R 76515 76515 76447 0 -1 4194304 15646 0 0 0 239172 17 0 0 20 0 1 0 68597182 63537152 13549 18446744073709551615 4198400 15468185 140725577315776 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 47951872 140725577324988 140725577325089 140725577325089 140725577330662 0
/proc/76518/statm: 15512 13549 2816 2752 0 12165 0
Current children cumulated CPU time: 2391.89 s
Current children cumulated vsize: 69032 KiB
Current children cumulated memory: 58420 KiB

[startup+2398.2 s]
/proc/loadavg: 4.06 4.08 3.94 5/258 76700
/proc/meminfo: memFree=127231796/131382112 swapFree=33009904/33010684
[pid=76503] ppid=76494 vsize=4324 memory=2944 CPUtime=2392.05 cores=5,7
/proc/76503/stat : 76503 (Hybrid-NuPBODee) S 76494 76503 76447 0 -1 4194304 301 20941 0 1 0 0 239185 20 20 0 1 0 68597178 4427776 736 18446744073709551615 94069009522688 94069010417221 140720757536864 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94069010656272 94069010704016 94069034618880 140720757545307 140720757545459 140720757545459 140720757551061 0
/proc/76503/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2392.05 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2398.26
CPU time (s): 2392.08
CPU user time (s): 2391.86
CPU system time (s): 0.21777
CPU usage (%): 99.7423
Max. virtual memory (cumulated for all children) (KiB): 83792
Max. memory (cumulated for all children) (KiB): 69204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.86
system time used= 0.21777
maximum resident set size= 64980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22440
page faults= 5
swaps= 0
block input operations= 240
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 947
involuntary context switches= 614


# summary of solver processes directly reported to runsolver:
#   pid: 76503
#   total CPU time (s): 2392.08
#   total CPU user time (s): 2391.86
#   total CPU system time (s): 0.21777

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0367 second user time and 23.2543 second system time

The end