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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85167, runsolver pid=85162
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 0.85 2.36 3.47 5/268 85186
/proc/meminfo: memFree=129815176/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=21328 memory=6912 CPUtime=0.04 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 735 0 0 0 4 0 0 0 20 0 1 0 75840695 21839872 1728 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 5332 1728 1152 2752 0 1985 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 28312 KiB
Current children cumulated memory: 11264 KiB

[startup+0.205681 s]*
/proc/loadavg: 0.85 2.36 3.47 5/275 85198
/proc/meminfo: memFree=129770952/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=44828 memory=33656 CPUtime=0.14 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 5892 0 0 0 13 1 0 0 20 0 1 0 75840695 45903872 8414 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 11207 8414 2848 2752 0 7860 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 51812 KiB
Current children cumulated memory: 38008 KiB

[startup+0.305706 s]*
/proc/loadavg: 0.85 2.36 3.47 5/275 85198
/proc/meminfo: memFree=129746192/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=56688 memory=45176 CPUtime=0.24 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 8801 0 0 0 23 1 0 0 20 0 1 0 75840695 58048512 11294 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 14172 11294 2848 2752 0 10825 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 63672 KiB
Current children cumulated memory: 49528 KiB

[startup+0.700223 s]
/proc/loadavg: 0.85 2.36 3.47 5/275 85198
/proc/meminfo: memFree=129682748/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29288 CPUtime=0.62 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21753 0 0 0 58 4 0 0 20 0 1 0 75840695 38064128 7322 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7322 2848 2752 0 5946 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33640 KiB

[startup+1.5002 s]
/proc/loadavg: 0.85 2.36 3.47 5/275 85198
/proc/meminfo: memFree=129622140/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29288 CPUtime=1.42 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21753 0 0 0 138 4 0 0 20 0 1 0 75840695 38064128 7322 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7322 2848 2752 0 5946 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33640 KiB

[startup+3.10547 s]
/proc/loadavg: 0.85 2.36 3.47 5/275 85198
/proc/meminfo: memFree=129455280/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29288 CPUtime=3.02 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21753 0 0 0 298 4 0 0 20 0 1 0 75840695 38064128 7322 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7322 2848 2752 0 5946 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33640 KiB

[startup+6.30018 s]
/proc/loadavg: 1.10 2.39 3.47 5/276 85199
/proc/meminfo: memFree=129262956/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29288 CPUtime=6.21 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21753 0 0 0 617 4 0 0 20 0 1 0 75840695 38064128 7322 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7322 2848 2752 0 5946 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33640 KiB

[startup+12.7002 s]
/proc/loadavg: 1.33 2.42 3.47 5/276 85199
/proc/meminfo: memFree=129137420/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29288 CPUtime=12.59 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21753 0 0 0 1255 4 0 0 20 0 1 0 75840695 38064128 7322 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7322 2848 2752 0 5946 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33640 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.51 3.49 5/276 85199
/proc/meminfo: memFree=128812004/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29288 CPUtime=25.36 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21753 0 0 0 2532 4 0 0 20 0 1 0 75840695 38064128 7322 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7322 2848 2752 0 5946 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33640 KiB

[startup+51.1056 s]
/proc/loadavg: 2.68 2.63 3.50 5/274 85211
/proc/meminfo: memFree=128811268/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29288 CPUtime=50.91 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21753 0 0 0 5087 4 0 0 20 0 1 0 75840695 38064128 7322 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7322 2848 2752 0 5946 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33640 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.88 3.54 5/275 85218
/proc/meminfo: memFree=128802700/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29416 CPUtime=2256.24 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21781 0 0 0 225619 5 0 0 20 0 1 0 75840695 38064128 7354 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7354 2848 2752 0 5946 0
Current children cumulated CPU time: 2256.24 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33768 KiB

[startup+2322.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/273 85324
/proc/meminfo: memFree=115869924/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29416 CPUtime=2316.11 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21781 0 0 0 231606 5 0 0 20 0 1 0 75840695 38064128 7354 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7354 2848 2752 0 5946 0
Current children cumulated CPU time: 2316.11 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33768 KiB

[startup+2382.3 s]
/proc/loadavg: 4.07 4.09 4.06 5/273 85326
/proc/meminfo: memFree=115869256/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29416 CPUtime=2375.97 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21783 0 0 0 237592 5 0 0 20 0 1 0 75840695 38064128 7354 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7354 2848 2752 0 5946 0
Current children cumulated CPU time: 2375.97 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33768 KiB

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

# cumulated CPU time of all completed processes:  user=2403.23 s, system=0.128622 s

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

[startup+2393.6 s]
/proc/loadavg: 4.13 4.10 4.07 5/273 85326
/proc/meminfo: memFree=115867788/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 244 103 0 2 0 0 0 0 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85181] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85181/stat : 85181 (timeout) S 85167 85181 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75840693 2723840 352 18446744073709551615 94888487944192 94888487960705 140722033429104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94888487975472 94888487977560 94888495996928 140722033437104 140722033437218 140722033437218 140722033442791 0
/proc/85181/statm: 665 352 352 5 0 90 0
[pid=85185] ppid=85181 vsize=37172 memory=29416 CPUtime=2387.24 cores=1,3
/proc/85185/stat : 85185 (NuPBO-DeepOptS+) R 85181 85181 85114 0 -1 4194304 21783 0 0 0 238719 5 0 0 20 0 1 0 75840695 38064128 7354 18446744073709551615 4198400 15468185 140725716344464 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 24428544 140725716351420 140725716351521 140725716351521 140725716357094 0
/proc/85185/statm: 9293 7354 2848 2752 0 5946 0
Current children cumulated CPU time: 2387.24 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 33768 KiB

[startup+2400 s]*
/proc/loadavg: 4.12 4.10 4.07 5/273 85334
/proc/meminfo: memFree=128785544/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=2391.69 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 279 22011 0 2 0 0 239164 5 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85327] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85327/stat : 85327 (timeout) S 85167 85327 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76080495 2723840 352 18446744073709551615 94075244302336 94075244318849 140731520482928 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94075244333616 94075244335704 94075254824960 140731520489859 140731520490018 140731520490018 140731520495591 0
/proc/85327/statm: 665 352 352 5 0 90 0
[pid=85328] ppid=85327 vsize=62552 memory=31060 CPUtime=1.92 cores=1,3
/proc/85328/stat : 85328 (ExactPR-nols) R 85327 85327 85114 0 -1 4194304 4231 0 1 0 191 1 0 0 20 0 1 0 76080496 64053248 7765 18446744073709551615 94262102220800 94262111520453 140736788669456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94262113306944 94262113346024 94262128660480 140736788670872 140736788671012 140736788671012 140736788676585 0
/proc/85328/statm: 15638 7765 1952 2271 0 10276 0
Current children cumulated CPU time: 2393.61 s
Current children cumulated vsize: 69536 KiB
Current children cumulated memory: 35412 KiB

[startup+2406.4 s]
/proc/loadavg: 4.10 4.10 4.07 5/273 85337
/proc/meminfo: memFree=127606008/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=2391.69 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 279 22011 0 2 0 0 239164 5 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85327] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85327/stat : 85327 (timeout) S 85167 85327 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76080495 2723840 352 18446744073709551615 94075244302336 94075244318849 140731520482928 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94075244333616 94075244335704 94075254824960 140731520489859 140731520490018 140731520490018 140731520495591 0
/proc/85327/statm: 665 352 352 5 0 90 0
[pid=85328] ppid=85327 vsize=87832 memory=58696 CPUtime=8.29 cores=1,3
/proc/85328/stat : 85328 (ExactPR-nols) R 85327 85327 85114 0 -1 4194304 7276 0 1 0 825 4 0 0 20 0 1 0 76080496 89939968 14674 18446744073709551615 94262102220800 94262111520453 140736788669456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94262113306944 94262113346024 94262128660480 140736788670872 140736788671012 140736788671012 140736788676585 0
/proc/85328/statm: 21958 14674 1952 2271 0 16596 0
Current children cumulated CPU time: 2399.98 s
Current children cumulated vsize: 94816 KiB
Current children cumulated memory: 63048 KiB

[startup+2408 s]*
/proc/loadavg: 4.10 4.10 4.07 5/273 85337
/proc/meminfo: memFree=127570224/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=2391.69 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 279 22011 0 2 0 0 239164 5 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85327] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85327/stat : 85327 (timeout) S 85167 85327 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76080495 2723840 352 18446744073709551615 94075244302336 94075244318849 140731520482928 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94075244333616 94075244335704 94075254824960 140731520489859 140731520490018 140731520490018 140731520495591 0
/proc/85327/statm: 665 352 352 5 0 90 0
[pid=85328] ppid=85327 vsize=91864 memory=66068 CPUtime=9.89 cores=1,3
/proc/85328/stat : 85328 (ExactPR-nols) R 85327 85327 85114 0 -1 4194304 8093 0 1 0 984 5 0 0 20 0 1 0 76080496 94068736 16517 18446744073709551615 94262102220800 94262111520453 140736788669456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94262113306944 94262113346024 94262128660480 140736788670872 140736788671012 140736788671012 140736788676585 0
/proc/85328/statm: 22966 16517 1952 2271 0 17604 0
Current children cumulated CPU time: 2401.58 s
Current children cumulated vsize: 98848 KiB
Current children cumulated memory: 70420 KiB

[startup+2408.8 s]
/proc/loadavg: 4.10 4.10 4.07 5/273 85337
/proc/meminfo: memFree=127570224/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=2391.69 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 279 22011 0 2 0 0 239164 5 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85327] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85327/stat : 85327 (timeout) S 85167 85327 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76080495 2723840 352 18446744073709551615 94075244302336 94075244318849 140731520482928 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94075244333616 94075244335704 94075254824960 140731520489859 140731520490018 140731520490018 140731520495591 0
/proc/85327/statm: 665 352 352 5 0 90 0
[pid=85328] ppid=85327 vsize=95288 memory=70164 CPUtime=10.68 cores=1,3
/proc/85328/stat : 85328 (ExactPR-nols) R 85327 85327 85114 0 -1 4194304 9119 0 1 0 1063 5 0 0 20 0 1 0 76080496 97574912 17541 18446744073709551615 94262102220800 94262111520453 140736788669456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94262113306944 94262113346024 94262128660480 140736788670872 140736788671012 140736788671012 140736788676585 0
/proc/85328/statm: 23822 17541 1952 2271 0 18460 0
Current children cumulated CPU time: 2402.37 s
Current children cumulated vsize: 102272 KiB
Current children cumulated memory: 74516 KiB

[startup+2409.6 s]
/proc/loadavg: 4.10 4.10 4.07 5/273 85337
/proc/meminfo: memFree=127558160/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=2391.69 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 279 22011 0 2 0 0 239164 5 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
[pid=85327] ppid=85167 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85327/stat : 85327 (timeout) S 85167 85327 85114 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 76080495 2723840 352 18446744073709551615 94075244302336 94075244318849 140731520482928 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94075244333616 94075244335704 94075254824960 140731520489859 140731520490018 140731520490018 140731520495591 0
/proc/85327/statm: 665 352 352 5 0 90 0
[pid=85328] ppid=85327 vsize=96572 memory=72084 CPUtime=11.49 cores=1,3
/proc/85328/stat : 85328 (ExactPR-nols) R 85327 85327 85114 0 -1 4194304 9602 0 1 0 1143 6 0 0 20 0 1 0 76080496 98889728 18021 18446744073709551615 94262102220800 94262111520453 140736788669456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94262113306944 94262113346024 94262128660480 140736788670872 140736788671012 140736788671012 140736788676585 0
/proc/85328/statm: 24143 18021 1952 2271 0 18781 0
Current children cumulated CPU time: 2403.18 s
Current children cumulated vsize: 103556 KiB
Current children cumulated memory: 76436 KiB

[startup+2409.8 s]
/proc/loadavg: 4.10 4.10 4.07 5/273 85337
/proc/meminfo: memFree=127558160/131249996 swapFree=33000896/33010684
[pid=85167] ppid=85162 vsize=4324 memory=2944 CPUtime=2403.34 cores=1,3
/proc/85167/stat : 85167 (Hybrid-NuPBODee) S 85162 85167 85114 0 -1 4194304 429 32613 0 7 0 0 240322 12 20 0 1 0 75840689 4427776 736 18446744073709551615 94464023461888 94464024356421 140726600466480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94464024595472 94464024643216 94464043741184 140726600468827 140726600468979 140726600468979 140726600474581 0
/proc/85167/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2403.34 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2409.81
CPU time (s): 2403.35
CPU user time (s): 2403.23
CPU system time (s): 0.128622
CPU usage (%): 99.7322
Max. virtual memory (cumulated for all children) (KiB): 114716
Max. memory (cumulated for all children) (KiB): 100308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2403.23
system time used= 0.128622
maximum resident set size= 96172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33257
page faults= 7
swaps= 0
block input operations= 704
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 924
involuntary context switches= 2723


# summary of solver processes directly reported to runsolver:
#   pid: 85167
#   total CPU time (s): 2403.35
#   total CPU user time (s): 2403.23
#   total CPU system time (s): 0.128622

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.055 second user time and 10.8864 second system time

The end