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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488569-1751343224/watcher-4488569-1751343224 -o /tmp/evaluation-result-4488569-1751343224/solver-4488569-1751343224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751338316-47145 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4488569-1751343224.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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=47992, runsolver pid=47989

[startup+0.10006 s]*
/proc/loadavg: 4.19 4.20 4.14 5/272 47996
/proc/meminfo: memFree=124442552/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=21612 memory=7444 CPUtime=0.07 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 967 0 0 0 7 0 0 0 20 0 1 0 50000875 22130688 1861 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 5403 1861 1152 2752 0 2056 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28596 KiB
Current children cumulated memory: 11924 KiB

[startup+0.205412 s]*
/proc/loadavg: 4.19 4.20 4.14 5/272 47996
/proc/meminfo: memFree=124442876/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=35860 memory=26132 CPUtime=0.17 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 4312 0 0 0 17 0 0 0 20 0 1 0 50000875 36720640 6533 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 8965 6533 2688 2752 0 5618 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 42844 KiB
Current children cumulated memory: 30612 KiB

[startup+0.30576 s]*
/proc/loadavg: 4.19 4.20 4.14 5/272 47996
/proc/meminfo: memFree=124442876/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=43848 memory=34500 CPUtime=0.28 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 6369 0 0 0 27 1 0 0 20 0 1 0 50000875 44900352 8625 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 10962 8625 2816 2752 0 7615 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 38980 KiB

[startup+0.700177 s]
/proc/loadavg: 4.19 4.20 4.14 5/272 47996
/proc/meminfo: memFree=124442876/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=48500 memory=38596 CPUtime=0.66 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 7413 0 0 0 65 1 0 0 20 0 1 0 50000875 49664000 9649 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 12125 9649 2816 2752 0 8778 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 55484 KiB
Current children cumulated memory: 43076 KiB

[startup+1.50022 s]
/proc/loadavg: 4.19 4.20 4.14 5/272 47996
/proc/meminfo: memFree=124442876/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=58308 memory=47428 CPUtime=1.46 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 9619 0 0 0 144 2 0 0 20 0 1 0 50000875 59707392 11857 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 14577 11857 2816 2752 0 11230 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65292 KiB
Current children cumulated memory: 51908 KiB

[startup+3.10545 s]
/proc/loadavg: 4.17 4.20 4.13 5/272 47996
/proc/meminfo: memFree=124450368/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=84620 memory=72928 CPUtime=3.06 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 16277 0 0 0 303 3 0 0 20 0 1 0 50000875 86650880 18232 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 21155 18232 2816 2752 0 17808 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 91604 KiB
Current children cumulated memory: 77408 KiB

[startup+6.30019 s]
/proc/loadavg: 4.17 4.20 4.13 5/272 47996
/proc/meminfo: memFree=124472596/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=135016 memory=121952 CPUtime=6.24 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 28543 0 0 0 619 5 0 0 20 0 1 0 50000875 138256384 30488 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 33754 30488 2816 2752 0 30407 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 142000 KiB
Current children cumulated memory: 126432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.19 4.13 5/272 47997
/proc/meminfo: memFree=124537360/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=155720 memory=138964 CPUtime=12.63 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 33459 0 0 0 1257 6 0 0 20 0 1 0 50000875 159457280 34741 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 38930 34741 2816 2752 0 35583 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 162704 KiB
Current children cumulated memory: 143444 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.19 4.13 5/272 47997
/proc/meminfo: memFree=124658900/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=162576 memory=146260 CPUtime=25.39 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 35293 0 0 0 2533 6 0 0 20 0 1 0 50000875 166477824 36565 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 40644 36565 2816 2752 0 37297 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 169560 KiB
Current children cumulated memory: 150740 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.19 4.13 5/272 47997
/proc/meminfo: memFree=124944184/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/47995/stat : 47995 (timeout) S 47992 47995 47134 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 50000874 2723840 352 18446744073709551615 94909726093312 94909726109825 140723010496960 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94909726124592 94909726126680 94909751922688 140723010505136 140723010505250 140723010505250 140723010510823 0
/proc/47995/statm: 665 352 352 5 0 90 0
[pid=47996] ppid=47995 vsize=180092 memory=162784 CPUtime=50.92 cores=4,6
/proc/47996/stat : 47996 (NuPBO-DeepOptS+) R 47995 47995 47134 0 -1 4194304 41578 0 0 0 5085 7 0 0 20 0 1 0 50000875 184414208 40696 18446744073709551615 4198400 15468185 140736399245264 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34967552 140736399247804 140736399247905 140736399247905 140736399253478 0
/proc/47996/statm: 45023 40696 2816 2752 0 41676 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 187076 KiB
Current children cumulated memory: 167264 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.15 4.12 5/273 48000
/proc/meminfo: memFree=125421032/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=47995] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=258584 memory=234392 CPUtime=1061.46 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 33637 0 0 0 105795 351 0 0 20 0 1 0 50240677 264790016 58598 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 64646 58598 1888 2271 0 59284 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 265568 KiB
Current children cumulated memory: 238872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 6/271 48370
/proc/meminfo: memFree=128811712/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=2392.47 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 283 145496 0 0 0 0 239190 57 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=261316 memory=236952 CPUtime=1121.29 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 34273 0 0 0 111761 368 0 0 20 0 1 0 50240677 267587584 59238 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 65329 59238 1888 2271 0 59967 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 268300 KiB
Current children cumulated memory: 241432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/272 48373
/proc/meminfo: memFree=128772040/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=2392.47 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 283 145496 0 0 0 0 239190 57 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=265412 memory=240664 CPUtime=1181.11 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 35218 0 0 0 117725 386 0 0 20 0 1 0 50240677 271781888 60166 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 66353 60166 1888 2271 0 60991 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 272396 KiB
Current children cumulated memory: 245144 KiB

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

# cumulated CPU time of all completed processes:  user=3582.85 s, system=4.49888 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.12 4.10 5/272 48373
/proc/meminfo: memFree=128772040/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=2392.47 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 283 145496 0 0 0 0 239190 57 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=265412 memory=240664 CPUtime=1182.81 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 35218 0 0 0 117894 387 0 0 20 0 1 0 50240677 271781888 60166 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 66353 60166 1888 2271 0 60991 0
Current children cumulated CPU time: 3575.28 s
Current children cumulated vsize: 272396 KiB
Current children cumulated memory: 245144 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.12 4.10 5/272 48373
/proc/meminfo: memFree=128772040/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=2392.47 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 283 145496 0 0 0 0 239190 57 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=265412 memory=240664 CPUtime=1189.19 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 35218 0 0 0 118531 388 0 0 20 0 1 0 50240677 271781888 60166 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 66353 60166 1888 2271 0 60991 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 272396 KiB
Current children cumulated memory: 245144 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.11 4.10 5/272 48373
/proc/meminfo: memFree=128772048/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=2392.47 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 283 145496 0 0 0 0 239190 57 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=265412 memory=240664 CPUtime=1192.38 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 35218 0 0 0 118849 389 0 0 20 0 1 0 50240677 271781888 60166 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 66353 60166 1888 2271 0 60991 0
Current children cumulated CPU time: 3584.85 s
Current children cumulated vsize: 272396 KiB
Current children cumulated memory: 245144 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.11 4.10 5/272 48373
/proc/meminfo: memFree=128772048/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=2392.47 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 283 145496 0 0 0 0 239190 57 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=265412 memory=240664 CPUtime=1193.98 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 35218 0 0 0 119009 389 0 0 20 0 1 0 50240677 271781888 60166 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 66353 60166 1888 2271 0 60991 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 272396 KiB
Current children cumulated memory: 245144 KiB

[startup+3595.6 s]
/proc/loadavg: 4.06 4.11 4.10 5/272 48373
/proc/meminfo: memFree=128772048/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=2392.47 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 283 145496 0 0 0 0 239190 57 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=265732 memory=241048 CPUtime=1194.38 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 35300 0 0 0 119049 389 0 0 20 0 1 0 50240677 272109568 60262 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 66433 60262 1888 2271 0 61071 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 272716 KiB
Current children cumulated memory: 245528 KiB

[startup+3596 s]*
/proc/loadavg: 4.06 4.11 4.10 5/272 48373
/proc/meminfo: memFree=128772056/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=2392.47 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 283 145496 0 0 0 0 239190 57 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
[pid=48176] ppid=47992 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/48176/stat : 48176 (timeout) S 47992 48176 47134 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 50240676 2723840 352 18446744073709551615 94397765754880 94397765771393 140726838450160 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94397765786160 94397765788248 94397791133696 140726838454659 140726838454818 140726838454818 140726838460391 0
/proc/48176/statm: 665 352 352 5 0 90 0
[pid=48177] ppid=48176 vsize=265732 memory=241048 CPUtime=1194.78 cores=4,6
/proc/48177/stat : 48177 (ExactPR-nols) R 48176 48176 47134 0 -1 4194304 35300 0 0 0 119088 390 0 0 20 0 1 0 50240677 272109568 60262 18446744073709551615 94902823510016 94902832809669 140728193577296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94902834596160 94902834635240 94902847832064 140728193583512 140728193583652 140728193583652 140728193589225 0
/proc/48177/statm: 66433 60262 1888 2271 0 61071 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 272716 KiB
Current children cumulated memory: 245528 KiB

[startup+3596.11 s]
/proc/loadavg: 4.06 4.11 4.10 5/272 48373
/proc/meminfo: memFree=128772056/131249996 swapFree=33010684/33010684
[pid=47992] ppid=47989 vsize=4324 memory=3072 CPUtime=3587.31 cores=4,6
/proc/47992/stat : 47992 (Hybrid-NuPBODee) S 47989 47992 47134 0 -1 4194304 365 182044 0 0 0 0 358283 448 20 0 1 0 50000872 4427776 768 18446744073709551615 94038252339200 94038253233733 140734563691264 0 0 0 2 4 65536 1 0 0 17 6 0 0 0 0 0 94038253472784 94038253520528 94038272503808 140734563694939 140734563695091 140734563695091 140734563700693 0
/proc/47992/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3587.31 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3587.35
CPU user time (s): 3582.85
CPU system time (s): 4.49888
CPU usage (%): 99.7547
Max. virtual memory (cumulated for all children) (KiB): 585104
Max. memory (cumulated for all children) (KiB): 546216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.85
system time used= 4.49887
maximum resident set size= 541736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2009
involuntary context switches= 3717


# summary of solver processes directly reported to runsolver:
#   pid: 47992
#   total CPU time (s): 3587.35
#   total CPU user time (s): 3582.85
#   total CPU system time (s): 4.49888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.252 second user time and 16.8886 second system time

The end