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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484889-1751298566/watcher-4484889-1751298566 -o /tmp/evaluation-result-4484889-1751298566/solver-4484889-1751298566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751292533-48975 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4484889-1751298566.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49737, runsolver pid=49734

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.11 4.09 5/272 49741
/proc/meminfo: memFree=125785592/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=25292 memory=10552 CPUtime=0.07 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 2131 0 0 0 7 0 0 0 20 0 1 0 45535396 25899008 2638 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 6323 2638 1088 2752 0 2976 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32276 KiB
Current children cumulated memory: 15032 KiB

[startup+0.205904 s]*
/proc/loadavg: 4.13 4.11 4.09 5/272 49741
/proc/meminfo: memFree=125785340/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=27340 memory=12808 CPUtime=0.18 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 2709 0 0 0 18 0 0 0 20 0 1 0 45535396 27996160 3202 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 6835 3202 1088 2752 0 3488 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 34324 KiB
Current children cumulated memory: 17288 KiB

[startup+0.30576 s]*
/proc/loadavg: 4.13 4.11 4.09 5/272 49741
/proc/meminfo: memFree=125761272/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=53548 memory=35596 CPUtime=0.28 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 7940 0 0 0 27 1 0 0 20 0 1 0 45535396 54833152 8899 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 13387 8899 1088 2752 0 10040 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 60532 KiB
Current children cumulated memory: 40076 KiB

[startup+0.700245 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 49741
/proc/meminfo: memFree=125761272/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=61772 memory=44428 CPUtime=0.66 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 10064 0 0 0 65 1 0 0 20 0 1 0 45535396 63254528 11107 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 15443 11107 1152 2752 0 12096 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 68756 KiB
Current children cumulated memory: 48908 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 49741
/proc/meminfo: memFree=125761524/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=61772 memory=44428 CPUtime=1.46 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 10064 0 0 0 145 1 0 0 20 0 1 0 45535396 63254528 11107 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 15443 11107 1152 2752 0 12096 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 68756 KiB
Current children cumulated memory: 48908 KiB

[startup+3.1058 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 49741
/proc/meminfo: memFree=125481168/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=377200 memory=329760 CPUtime=3.06 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 56856 0 0 0 297 9 0 0 20 0 1 0 45535396 386252800 82440 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 94300 82440 2720 2752 0 90953 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 384184 KiB
Current children cumulated memory: 334240 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 49741
/proc/meminfo: memFree=125291160/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=542820 memory=483384 CPUtime=6.25 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 82055 0 0 0 610 15 0 0 20 0 1 0 45535396 555847680 120846 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 135705 120846 2816 2752 0 132358 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 549804 KiB
Current children cumulated memory: 487864 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 49741
/proc/meminfo: memFree=125290380/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=566656 memory=484664 CPUtime=12.63 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 82381 0 0 0 1248 15 0 0 20 0 1 0 45535396 580255744 121166 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 141664 121166 2816 2752 0 138317 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 573640 KiB
Current children cumulated memory: 489144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 49741
/proc/meminfo: memFree=125285612/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=593024 memory=489684 CPUtime=25.41 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 83134 0 0 0 2525 16 0 0 20 0 1 0 45535396 607256576 122421 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 148256 122421 2816 2752 0 144909 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 600008 KiB
Current children cumulated memory: 494164 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 49742
/proc/meminfo: memFree=125170016/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=49740] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/49740/stat : 49740 (timeout) S 49737 49740 48963 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 45535395 2723840 352 18446744073709551615 94445373698048 94445373714561 140736545150432 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94445373729328 94445373731416 94445402230784 140736545155504 140736545155618 140736545155618 140736545161191 0
/proc/49740/statm: 665 352 352 5 0 90 0
[pid=49741] ppid=49740 vsize=794584 memory=597460 CPUtime=50.94 cores=1,3
/proc/49741/stat : 49741 (NuPBO-DeepOptS+) R 49740 49740 48963 0 -1 4194304 110103 0 0 0 5073 21 0 0 20 0 1 0 45535396 813654016 149365 18446744073709551615 4198400 15468185 140735255239104 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31244288 140735255243196 140735255243297 140735255243297 140735255248870 0
/proc/49741/statm: 198646 149365 2816 2752 0 195299 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 801568 KiB
Current children cumulated memory: 601940 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/272 49744
/proc/meminfo: memFree=125082792/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0

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

/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307644 memory=211264 CPUtime=1061.41 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 27959 0 0 0 106106 35 0 0 20 0 1 0 45775198 315027456 52816 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76911 52816 1888 2271 0 71549 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 314628 KiB
Current children cumulated memory: 215744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/272 50133
/proc/meminfo: memFree=124259068/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=2391.85 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 282 214902 0 0 0 0 239143 42 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307644 memory=211264 CPUtime=1121.25 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 27959 0 0 0 112089 36 0 0 20 0 1 0 45775198 315027456 52816 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76911 52816 1888 2271 0 71549 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 314628 KiB
Current children cumulated memory: 215744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 50139
/proc/meminfo: memFree=125793868/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=2391.85 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 282 214902 0 0 0 0 239143 42 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307932 memory=211648 CPUtime=1181.1 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 28037 0 0 0 118072 38 0 0 20 0 1 0 45775198 315322368 52912 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76983 52912 1888 2271 0 71621 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 314916 KiB
Current children cumulated memory: 216128 KiB

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

# cumulated CPU time of all completed processes:  user=3585.88 s, system=0.840078 s

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

[startup+3584 s]*
/proc/loadavg: 4.05 4.08 4.09 6/272 50139
/proc/meminfo: memFree=125793384/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=2391.85 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 282 214902 0 0 0 0 239143 42 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307932 memory=211648 CPUtime=1182.79 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 28037 0 0 0 118241 38 0 0 20 0 1 0 45775198 315322368 52912 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76983 52912 1888 2271 0 71621 0
Current children cumulated CPU time: 3574.64 s
Current children cumulated vsize: 314916 KiB
Current children cumulated memory: 216128 KiB

[startup+3590.4 s]
/proc/loadavg: 4.04 4.08 4.08 5/272 50139
/proc/meminfo: memFree=125786328/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=2391.85 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 282 214902 0 0 0 0 239143 42 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307932 memory=211648 CPUtime=1189.17 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 28082 0 0 0 118879 38 0 0 20 0 1 0 45775198 315322368 52912 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76983 52912 1888 2271 0 71621 0
Current children cumulated CPU time: 3581.02 s
Current children cumulated vsize: 314916 KiB
Current children cumulated memory: 216128 KiB

[startup+3593.6 s]
/proc/loadavg: 4.04 4.07 4.08 5/272 50139
/proc/meminfo: memFree=125759776/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=2391.85 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 282 214902 0 0 0 0 239143 42 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307932 memory=211648 CPUtime=1192.36 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 28082 0 0 0 119198 38 0 0 20 0 1 0 45775198 315322368 52912 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76983 52912 1888 2271 0 71621 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 314916 KiB
Current children cumulated memory: 216128 KiB

[startup+3595.2 s]
/proc/loadavg: 4.04 4.07 4.08 6/272 50139
/proc/meminfo: memFree=126065732/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=2391.85 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 282 214902 0 0 0 0 239143 42 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307932 memory=211648 CPUtime=1193.96 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 28082 0 0 0 119358 38 0 0 20 0 1 0 45775198 315322368 52912 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76983 52912 1888 2271 0 71621 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 314916 KiB
Current children cumulated memory: 216128 KiB

[startup+3595.6 s]
/proc/loadavg: 4.04 4.07 4.08 6/272 50139
/proc/meminfo: memFree=126065732/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=2391.85 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 282 214902 0 0 0 0 239143 42 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307932 memory=211648 CPUtime=1194.36 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 28082 0 0 0 119398 38 0 0 20 0 1 0 45775198 315322368 52912 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76983 52912 1888 2271 0 71621 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 314916 KiB
Current children cumulated memory: 216128 KiB

[startup+3596 s]*
/proc/loadavg: 4.04 4.07 4.08 5/272 50139
/proc/meminfo: memFree=126065732/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=2391.85 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 282 214902 0 0 0 0 239143 42 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
[pid=50077] ppid=49737 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50077/stat : 50077 (timeout) S 49737 50077 48963 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 45775198 2723840 352 18446744073709551615 94272817070080 94272817086593 140730437855776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94272817101360 94272817103448 94272817692672 140730437863811 140730437863970 140730437863970 140730437869543 0
/proc/50077/statm: 665 352 352 5 0 90 0
[pid=50078] ppid=50077 vsize=307932 memory=211648 CPUtime=1194.76 cores=1,3
/proc/50078/stat : 50078 (ExactPR-nols) R 50077 50077 48963 0 -1 4194304 28082 0 0 0 119438 38 0 0 20 0 1 0 45775198 315322368 52912 18446744073709551615 94647431688192 94647440987845 140733729370336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94647442774336 94647442813416 94647452209152 140733729376664 140733729376804 140733729376804 140733729382377 0
/proc/50078/statm: 76983 52912 1888 2271 0 71621 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 314916 KiB
Current children cumulated memory: 216128 KiB

[startup+3596.11 s]
/proc/loadavg: 4.04 4.07 4.08 5/272 50139
/proc/meminfo: memFree=126065732/131249992 swapFree=33010684/33010684
[pid=49737] ppid=49734 vsize=4324 memory=3072 CPUtime=3586.7 cores=1,3
/proc/49737/stat : 49737 (Hybrid-NuPBODee) S 49734 49737 48963 0 -1 4194304 393 244820 0 0 0 0 358587 83 20 0 1 0 45535394 4427776 768 18446744073709551615 94080802615296 94080803509829 140729177360768 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94080803748880 94080803796624 94080812892160 140729177368923 140729177369075 140729177369075 140729177374677 0
/proc/49737/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.15
CPU time (s): 3586.72
CPU user time (s): 3585.88
CPU system time (s): 0.840078
CPU usage (%): 99.7378
Max. virtual memory (cumulated for all children) (KiB): 1562160
Max. memory (cumulated for all children) (KiB): 1147344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.88
system time used= 0.840078
maximum resident set size= 1142864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1888
involuntary context switches= 5325


# summary of solver processes directly reported to runsolver:
#   pid: 49737
#   total CPU time (s): 3586.72
#   total CPU user time (s): 3585.88
#   total CPU system time (s): 0.840078

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91088 second user time and 16.8395 second system time

The end