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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=87614, runsolver pid=87611

[startup+0.100104 s]*
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117705264/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=40300 memory=25872 CPUtime=0.08 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 1936 0 0 0 7 1 0 0 20 0 1 0 73753432 41267200 6468 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 10075 6468 1088 2752 0 6728 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47284 KiB
Current children cumulated memory: 30352 KiB

[startup+0.213844 s]*
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117697388/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=42092 memory=26752 CPUtime=0.19 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 2587 0 0 0 18 1 0 0 20 0 1 0 73753432 43102208 6688 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 10523 6688 1088 2752 0 7176 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49076 KiB
Current children cumulated memory: 31232 KiB

[startup+0.313683 s]*
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117689072/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=42092 memory=27392 CPUtime=0.28 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 2764 0 0 0 27 1 0 0 20 0 1 0 73753432 43102208 6848 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 10523 6848 1088 2752 0 7176 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 49076 KiB
Current children cumulated memory: 31872 KiB

[startup+0.700486 s]
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117668848/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=48236 memory=31144 CPUtime=0.66 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 3690 0 0 0 64 2 0 0 20 0 1 0 73753432 49393664 7786 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 12059 7786 1088 2752 0 8712 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 55220 KiB
Current children cumulated memory: 35624 KiB

[startup+1.50042 s]
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117624428/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=56428 memory=41388 CPUtime=1.45 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 4212 0 0 0 143 2 0 0 20 0 1 0 73753432 57782272 10347 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 14107 10347 1088 2752 0 10760 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 63412 KiB
Current children cumulated memory: 45868 KiB

[startup+3.11396 s]
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117403292/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=188564 memory=148828 CPUtime=3.07 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 7605 0 0 0 299 8 0 0 20 0 1 0 73753432 193089536 37207 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 47141 37207 1088 2752 0 43794 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 195548 KiB
Current children cumulated memory: 153308 KiB

[startup+6.30048 s]
/proc/loadavg: 1.38 1.85 2.68 5/259 87618
/proc/meminfo: memFree=117290272/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=289756 memory=250200 CPUtime=6.24 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 17499 0 0 0 612 12 0 0 20 0 1 0 73753432 296710144 62550 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 72439 62550 1152 2752 0 69092 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 296740 KiB
Current children cumulated memory: 254680 KiB

[startup+12.7005 s]
/proc/loadavg: 1.59 1.89 2.69 5/259 87618
/proc/meminfo: memFree=116787248/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=289756 memory=250200 CPUtime=12.63 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 17548 0 0 0 1250 13 0 0 20 0 1 0 73753432 296710144 62550 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 72439 62550 1152 2752 0 69092 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 296740 KiB
Current children cumulated memory: 254680 KiB

[startup+25.5005 s]
/proc/loadavg: 2.12 1.99 2.71 5/259 87618
/proc/meminfo: memFree=116285124/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=673532 memory=581696 CPUtime=25.39 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 112965 0 0 0 2511 28 0 0 20 0 1 0 73753432 689696768 145424 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 168383 145424 2592 2752 0 165036 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 680516 KiB
Current children cumulated memory: 586176 KiB

[startup+51.1143 s]
/proc/loadavg: 2.85 2.17 2.75 5/259 87619
/proc/meminfo: memFree=114604480/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87617/stat : 87617 (timeout) S 87614 87617 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73753431 2723840 352 18446744073709551615 94471925411840 94471925428353 140723387114848 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94471925443120 94471925445208 94471932264448 140723387120048 140723387120162 140723387120162 140723387125735 0
/proc/87617/statm: 665 352 352 5 0 90 0
[pid=87618] ppid=87617 vsize=2216064 memory=1992156 CPUtime=50.9 cores=1,3
/proc/87618/stat : 87618 (NuPBO-DeepOptS+) R 87617 87617 87536 0 -1 4194304 287467 0 0 0 5016 74 0 0 20 0 1 0 73753432 2269249536 498039 18446744073709551615 4198400 15468185 140726406670976 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35110912 140726406678972 140726406679073 140726406679073 140726406684646 0
/proc/87618/statm: 554016 498039 2784 2752 0 550669 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2223048 KiB
Current children cumulated memory: 1996636 KiB

[startup+102.301 s]
/proc/loadavg: 3.57 2.47 2.83 5/259 87621
/proc/meminfo: memFree=114640204/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87617] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=512472 CPUtime=1001.07 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69945 0 0 0 99920 187 0 0 20 0 1 0 73993242 570511360 128118 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 128118 1856 2271 0 133923 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 516952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/259 87917
/proc/meminfo: memFree=116781528/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=2390.19 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 283 293515 0 0 0 0 238911 108 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=512472 CPUtime=1060.9 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69945 0 0 0 105902 188 0 0 20 0 1 0 73993242 570511360 128118 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 128118 1856 2271 0 133923 0
Current children cumulated CPU time: 3451.09 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 516952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/258 87919
/proc/meminfo: memFree=116781652/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=2390.19 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 283 293515 0 0 0 0 238911 108 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=518736 CPUtime=1120.72 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69949 0 0 0 111884 188 0 0 20 0 1 0 73993242 570511360 129684 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 129684 1856 2271 0 133923 0
Current children cumulated CPU time: 3510.91 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 523216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/259 87926
/proc/meminfo: memFree=116765624/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=2390.19 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 283 293515 0 0 0 0 238911 108 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=518736 CPUtime=1180.54 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69949 0 0 0 117866 188 0 0 20 0 1 0 73993242 570511360 129684 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 129684 1856 2271 0 133923 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 523216 KiB

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

# cumulated CPU time of all completed processes:  user=3581.59 s, system=3.01754 s

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

[startup+3584 s]*
/proc/loadavg: 4.17 4.18 4.18 5/259 87926
/proc/meminfo: memFree=116765624/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=2390.19 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 283 293515 0 0 0 0 238911 108 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=518736 CPUtime=1182.25 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69949 0 0 0 118037 188 0 0 20 0 1 0 73993242 570511360 129684 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 129684 1856 2271 0 133923 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 523216 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.17 4.18 5/259 87927
/proc/meminfo: memFree=116765876/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=2390.19 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 283 293515 0 0 0 0 238911 108 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=518736 CPUtime=1188.62 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69949 0 0 0 118674 188 0 0 20 0 1 0 73993242 570511360 129684 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 129684 1856 2271 0 133923 0
Current children cumulated CPU time: 3578.81 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 523216 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.17 4.18 5/259 87927
/proc/meminfo: memFree=116767904/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=2390.19 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 283 293515 0 0 0 0 238911 108 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=518736 CPUtime=1191.81 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69949 0 0 0 118993 188 0 0 20 0 1 0 73993242 570511360 129684 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 129684 1856 2271 0 133923 0
Current children cumulated CPU time: 3582 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 523216 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.17 4.17 5/259 87927
/proc/meminfo: memFree=116767904/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=2390.19 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 283 293515 0 0 0 0 238911 108 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=518736 CPUtime=1193.4 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69949 0 0 0 119152 188 0 0 20 0 1 0 73993242 570511360 129684 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 129684 1856 2271 0 133923 0
Current children cumulated CPU time: 3583.59 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 523216 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.17 4.17 5/261 87939
/proc/meminfo: memFree=117050528/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=2390.19 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 283 293515 0 0 0 0 238911 108 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
[pid=87758] ppid=87614 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/87758/stat : 87758 (timeout) S 87614 87758 87536 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 73993241 2723840 352 18446744073709551615 94080803356672 94080803373185 140721654895968 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94080803387952 94080803390040 94080812269568 140721654901123 140721654901282 140721654901282 140721654906855 0
/proc/87758/statm: 665 352 352 5 0 90 0
[pid=87759] ppid=87758 vsize=557140 memory=518736 CPUtime=1194.21 cores=1,3
/proc/87759/stat : 87759 (ExactPR-nols) R 87758 87758 87536 0 -1 4194304 69949 0 0 0 119233 188 0 0 20 0 1 0 73993242 570511360 129684 18446744073709551615 94403671384064 94403680683717 140734530996928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94403682470208 94403682509288 94403710435328 140734531004824 140734531004964 140734531004964 140734531010537 0
/proc/87759/statm: 139285 129684 1856 2271 0 133923 0
Current children cumulated CPU time: 3584.4 s
Current children cumulated vsize: 564124 KiB
Current children cumulated memory: 523216 KiB

[startup+3596.2 s]
/proc/loadavg: 4.15 4.17 4.17 5/261 87939
/proc/meminfo: memFree=117050528/131382112 swapFree=33010160/33010684
[pid=87614] ppid=87611 vsize=4324 memory=3072 CPUtime=3584.58 cores=1,3
/proc/87614/stat : 87614 (Hybrid-NuPBODee) S 87611 87614 87536 0 -1 4194304 394 365333 0 0 0 0 358159 299 20 0 1 0 73753429 4427776 768 18446744073709551615 93877845278720 93877846173253 140733802761056 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 93877846412304 93877846460048 93877863702528 140733802768731 140733802768883 140733802768883 140733802774485 0
/proc/87614/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.26
CPU time (s): 3584.61
CPU user time (s): 3581.59
CPU system time (s): 3.01754
CPU usage (%): 99.676
Max. virtual memory (cumulated for all children) (KiB): 2247800
Max. memory (cumulated for all children) (KiB): 2059616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.59
system time used= 3.01754
maximum resident set size= 2055136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367032
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1943
involuntary context switches= 1328


# summary of solver processes directly reported to runsolver:
#   pid: 87614
#   total CPU time (s): 3584.61
#   total CPU user time (s): 3581.59
#   total CPU system time (s): 3.01754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1559 second user time and 40.1831 second system time

The end