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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523453-1751606921/watcher-4523453-1751606921 -o /tmp/evaluation-result-4523453-1751606921/solver-4523453-1751606921 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751601628-85130 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523453-1751606921.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=85847, runsolver pid=85844

[startup+0.100065 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 85851
/proc/meminfo: memFree=126619080/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=21460 memory=6892 CPUtime=0.08 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 1245 0 0 0 8 0 0 0 20 0 1 0 76369930 21975040 1723 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 5365 1723 1088 2752 0 2018 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28444 KiB
Current children cumulated memory: 11372 KiB

[startup+0.205697 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 85851
/proc/meminfo: memFree=126619080/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=27604 memory=9860 CPUtime=0.18 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 1966 0 0 0 18 0 0 0 20 0 1 0 76369930 28266496 2465 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 6901 2465 1088 2752 0 3554 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 34588 KiB
Current children cumulated memory: 14340 KiB

[startup+0.305668 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 85851
/proc/meminfo: memFree=126619080/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=27604 memory=11908 CPUtime=0.28 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 1967 0 0 0 28 0 0 0 20 0 1 0 76369930 28266496 2977 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 6901 2977 1088 2752 0 3554 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34588 KiB
Current children cumulated memory: 16388 KiB

[startup+0.700241 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85851
/proc/meminfo: memFree=126614984/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=79496 memory=61620 CPUtime=0.67 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 7760 0 0 0 65 2 0 0 20 0 1 0 76369930 81403904 15405 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 19874 15405 1088 2752 0 16527 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86480 KiB
Current children cumulated memory: 66100 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85851
/proc/meminfo: memFree=126562472/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=79496 memory=61876 CPUtime=1.47 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 7764 0 0 0 145 2 0 0 20 0 1 0 76369930 81403904 15469 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 19874 15469 1152 2752 0 16527 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86480 KiB
Current children cumulated memory: 66356 KiB

[startup+3.1055 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85851
/proc/meminfo: memFree=126266408/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=407132 memory=363900 CPUtime=3.07 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 55440 0 0 0 297 10 0 0 20 0 1 0 76369930 416903168 90975 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 101783 90975 2752 2752 0 98436 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 414116 KiB
Current children cumulated memory: 368380 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85851
/proc/meminfo: memFree=126149604/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=529448 memory=486224 CPUtime=6.25 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 83028 0 0 0 611 14 0 0 20 0 1 0 76369930 542154752 121556 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 132362 121556 2816 2752 0 129015 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 536432 KiB
Current children cumulated memory: 490704 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 85851
/proc/meminfo: memFree=125972192/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=658508 memory=615036 CPUtime=12.63 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 120812 0 0 0 1242 21 0 0 20 0 1 0 76369930 674312192 153759 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 164627 153759 2848 2752 0 161280 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 665492 KiB
Current children cumulated memory: 619516 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 85852
/proc/meminfo: memFree=125888888/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=696812 memory=652928 CPUtime=25.4 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 142266 0 0 0 2515 25 0 0 20 0 1 0 76369930 713535488 163232 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 174203 163232 2848 2752 0 170856 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 703796 KiB
Current children cumulated memory: 657408 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.08 4.08 5/272 85852
/proc/meminfo: memFree=125830572/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/85850/stat : 85850 (timeout) S 85847 85850 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76369929 2723840 352 18446744073709551615 94011460112384 94011460128897 140725567583088 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94011460143664 94011460145752 94011485888512 140725567584688 140725567584802 140725567584802 140725567590375 0
/proc/85850/statm: 665 352 352 5 0 90 0
[pid=85851] ppid=85850 vsize=755236 memory=712236 CPUtime=50.93 cores=5,7
/proc/85851/stat : 85851 (NuPBO-DeepOptS+) R 85850 85850 85114 0 -1 4194304 172886 0 0 0 5064 29 0 0 20 0 1 0 76369930 773361664 178059 18446744073709551615 4198400 15468185 140721241333920 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 33955840 140721241340348 140721241340449 140721241340449 140721241346022 0
/proc/85851/statm: 188809 178059 2848 2752 0 185462 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 762220 KiB
Current children cumulated memory: 716716 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 85854
/proc/meminfo: memFree=125773928/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=85850] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1061.36 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17421 0 0 0 106112 24 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/273 86290
/proc/meminfo: memFree=127287244/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=2391.77 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 284 545462 0 0 0 0 239081 96 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1121.23 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17436 0 0 0 112098 25 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/273 86292
/proc/meminfo: memFree=127298160/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=2391.77 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 284 545462 0 0 0 0 239081 96 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1181.08 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17438 0 0 0 118083 25 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

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

# cumulated CPU time of all completed processes:  user=3585.36 s, system=1.24907 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.15 4.11 5/273 86292
/proc/meminfo: memFree=127298160/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=2391.77 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 284 545462 0 0 0 0 239081 96 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1182.78 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17438 0 0 0 118253 25 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3574.55 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

[startup+3590.4 s]
/proc/loadavg: 4.20 4.16 4.11 5/273 86294
/proc/meminfo: memFree=127299096/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=2391.77 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 284 545462 0 0 0 0 239081 96 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1189.17 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17438 0 0 0 118891 26 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3580.94 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

[startup+3593.6 s]
/proc/loadavg: 4.20 4.16 4.11 5/273 86294
/proc/meminfo: memFree=127299096/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=2391.77 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 284 545462 0 0 0 0 239081 96 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1192.36 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17438 0 0 0 119210 26 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3584.13 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

[startup+3595.2 s]
/proc/loadavg: 4.19 4.16 4.11 5/273 86294
/proc/meminfo: memFree=127299096/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=2391.77 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 284 545462 0 0 0 0 239081 96 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1193.96 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17438 0 0 0 119370 26 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

[startup+3595.6 s]
/proc/loadavg: 4.19 4.16 4.11 5/273 86294
/proc/meminfo: memFree=127299096/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=2391.77 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 284 545462 0 0 0 0 239081 96 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1194.36 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17438 0 0 0 119410 26 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

[startup+3596 s]*
/proc/loadavg: 4.19 4.16 4.11 5/273 86294
/proc/meminfo: memFree=127298912/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=2391.77 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 284 545462 0 0 0 0 239081 96 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
[pid=86170] ppid=85847 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86170/stat : 86170 (timeout) S 85847 86170 85114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 76609731 2723840 352 18446744073709551615 93989223440384 93989223456897 140722573083680 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93989223471664 93989223473752 93989224660992 140722573085059 140722573085218 140722573085218 140722573090791 0
/proc/86170/statm: 665 352 352 5 0 90 0
[pid=86171] ppid=86170 vsize=111072 memory=86624 CPUtime=1194.76 cores=5,7
/proc/86171/stat : 86171 (ExactPR-nols) R 86170 86170 85114 0 -1 4194304 17438 0 0 0 119450 26 0 0 20 0 1 0 76609732 113737728 21656 18446744073709551615 94494339768320 94494349067973 140724028061648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94494350854464 94494350893544 94494392041472 140724028066200 140724028066340 140724028066340 140724028071913 0
/proc/86171/statm: 27768 21656 1888 2271 0 22406 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 118056 KiB
Current children cumulated memory: 91104 KiB

[startup+3596.11 s]
/proc/loadavg: 4.19 4.16 4.11 5/273 86294
/proc/meminfo: memFree=127298912/131249996 swapFree=33000896/33010684
[pid=85847] ppid=85844 vsize=4324 memory=3072 CPUtime=3586.6 cores=5,7
/proc/85847/stat : 85847 (Hybrid-NuPBODee) S 85844 85847 85114 0 -1 4194304 466 565587 0 0 0 0 358536 124 20 0 1 0 76369928 4427776 768 18446744073709551615 93867863252992 93867864147525 140725011717360 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93867864386576 93867864434320 93867897389056 140725011724635 140725011724787 140725011724787 140725011730389 0
/proc/85847/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.12
CPU time (s): 3586.61
CPU user time (s): 3585.36
CPU system time (s): 1.24907
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 916712
Max. memory (cumulated for all children) (KiB): 871932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.36
system time used= 1.24907
maximum resident set size= 867452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2017
involuntary context switches= 18512


# summary of solver processes directly reported to runsolver:
#   pid: 85847
#   total CPU time (s): 3586.61
#   total CPU user time (s): 3585.36
#   total CPU system time (s): 1.24907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38669 second user time and 16.6925 second system time

The end