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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512691-1751535185/watcher-4512691-1751535185 -o /tmp/evaluation-result-4512691-1751535185/solver-4512691-1751535185 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751529182-76458 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4512691-1751535185.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=77333, runsolver pid=77330

[startup+0.100064 s]*
/proc/loadavg: 4.10 4.11 4.09 5/258 77337
/proc/meminfo: memFree=128591324/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=0.06 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 953 0 0 0 6 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+0.214281 s]*
/proc/loadavg: 4.10 4.11 4.09 5/258 77337
/proc/meminfo: memFree=128591324/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=0.16 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 953 0 0 0 16 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+0.312934 s]*
/proc/loadavg: 4.10 4.11 4.09 5/258 77337
/proc/meminfo: memFree=128591344/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=0.26 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 953 0 0 0 26 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+0.700393 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77337
/proc/meminfo: memFree=128591344/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=0.63 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 953 0 0 0 63 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+1.50042 s]
/proc/loadavg: 4.10 4.11 4.09 6/258 77337
/proc/meminfo: memFree=128589328/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=1.43 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 953 0 0 0 143 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+3.11251 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128623916/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=3.04 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 971 0 0 0 304 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+6.30039 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77395
/proc/meminfo: memFree=128624012/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=6.22 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 971 0 0 0 622 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 77395
/proc/meminfo: memFree=128624020/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=12.61 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 971 0 0 0 1261 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 77395
/proc/meminfo: memFree=128623784/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=25.38 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 971 0 0 0 2538 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+51.1125 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 77396
/proc/meminfo: memFree=128619688/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=50.94 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 972 0 0 0 5094 0 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 77397
/proc/meminfo: memFree=128616100/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2196.94 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 991 0 0 0 219693 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2196.94 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+2262.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/257 77628
/proc/meminfo: memFree=126781944/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2256.77 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 992 0 0 0 225676 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2256.77 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+2322.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/257 77630
/proc/meminfo: memFree=126755296/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2316.6 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 992 0 0 0 231659 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2316.6 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+2382.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/257 77632
/proc/meminfo: memFree=126694048/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2376.43 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 992 0 0 0 237642 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2376.43 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

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

# cumulated CPU time of all completed processes:  user=2392.26 s, system=0.055892 s

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

[startup+2387.2 s]
/proc/loadavg: 4.09 4.12 4.12 6/257 77633
/proc/meminfo: memFree=126682264/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2381.32 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 992 0 0 0 238131 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2381.32 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+2393.6 s]
/proc/loadavg: 4.16 4.14 4.13 5/257 77633
/proc/meminfo: memFree=126678924/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2387.7 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 992 0 0 0 238769 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2387.7 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+2396.8 s]
/proc/loadavg: 4.15 4.13 4.13 5/257 77633
/proc/meminfo: memFree=126675080/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2390.89 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 992 0 0 0 239088 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2390.89 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+2397.6 s]
/proc/loadavg: 4.15 4.13 4.13 5/257 77633
/proc/meminfo: memFree=126675080/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2391.69 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 992 0 0 0 239168 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2391.69 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+2398 s]*
/proc/loadavg: 4.15 4.13 4.13 6/258 77634
/proc/meminfo: memFree=126675332/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
[pid=77336] ppid=77333 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/77336/stat : 77336 (timeout) S 77333 77336 76447 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69197377 2723840 352 18446744073709551615 93852822663168 93852822679681 140722151257248 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93852822694448 93852822696536 93852837777408 140722151258544 140722151258658 140722151258658 140722151264231 0
/proc/77336/statm: 665 352 352 5 0 90 0
[pid=77337] ppid=77336 vsize=22512 memory=7680 CPUtime=2392.1 cores=4,6
/proc/77337/stat : 77337 (NuPBO-DeepOptS+) R 77336 77336 76447 0 -1 4194304 992 0 0 0 239209 1 0 0 20 0 1 0 69197378 23052288 1920 18446744073709551615 4198400 15468185 140733115668624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 25571328 140733115673020 140733115673121 140733115673121 140733115678694 0
/proc/77337/statm: 5628 1920 1088 2752 0 2281 0
Current children cumulated CPU time: 2392.1 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 12160 KiB

[startup+2398.2 s]
/proc/loadavg: 4.15 4.13 4.13 6/258 77634
/proc/meminfo: memFree=126675332/131382112 swapFree=33009904/33010684
[pid=77333] ppid=77330 vsize=4324 memory=3072 CPUtime=2392.12 cores=4,6
/proc/77333/stat : 77333 (Hybrid-NuPBODee) S 77330 77333 76447 0 -1 4194304 283 1223 0 0 0 0 239210 2 20 0 1 0 69197375 4427776 768 18446744073709551615 94620741746688 94620742641221 140735905441264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94620742880272 94620742928016 94620775387136 140735905450331 140735905450483 140735905450483 140735905456085 0
/proc/77333/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2392.12 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 2398.24
CPU time (s): 2392.32
CPU user time (s): 2392.26
CPU system time (s): 0.055892
CPU usage (%): 99.7528
Max. virtual memory (cumulated for all children) (KiB): 29496
Max. memory (cumulated for all children) (KiB): 12160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.26
system time used= 0.055892
maximum resident set size= 21180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 886
involuntary context switches= 619


# summary of solver processes directly reported to runsolver:
#   pid: 77333
#   total CPU time (s): 2392.32
#   total CPU user time (s): 2392.26
#   total CPU system time (s): 0.055892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0862 second user time and 21.6484 second system time

The end