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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488751-1751334545/watcher-4488751-1751334545 -o /tmp/evaluation-result-4488751-1751334545/solver-4488751-1751334545 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751326134-42698 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4488751-1751334545.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
solver pid=45643, runsolver pid=45640
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.08 4.09 4.09 6/273 45647
/proc/meminfo: memFree=129403892/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=21312 memory=7424 CPUtime=0.06 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 1161 0 0 0 6 0 0 0 20 0 1 0 49077076 21823488 1856 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11776 KiB

[startup+0.205817 s]*
/proc/loadavg: 4.08 4.09 4.09 5/273 45647
/proc/meminfo: memFree=129403892/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=21312 memory=7424 CPUtime=0.17 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 1161 0 0 0 17 0 0 0 20 0 1 0 49077076 21823488 1856 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 5328 1856 768 2416 0 2430 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28296 KiB
Current children cumulated memory: 11776 KiB

[startup+0.305759 s]*
/proc/loadavg: 4.08 4.09 4.09 5/273 45647
/proc/meminfo: memFree=129403892/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=23160 memory=9216 CPUtime=0.27 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 1647 0 0 0 27 0 0 0 20 0 1 0 49077076 23715840 2304 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 5790 2304 768 2416 0 2892 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30144 KiB
Current children cumulated memory: 13568 KiB

[startup+0.70022 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 45647
/proc/meminfo: memFree=129388016/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=35024 memory=19968 CPUtime=0.64 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 4327 0 0 0 64 0 0 0 20 0 1 0 49077076 35864576 4992 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 8756 4992 768 2416 0 5858 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 42008 KiB
Current children cumulated memory: 24320 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 45648
/proc/meminfo: memFree=129379952/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=41740 memory=27588 CPUtime=1.45 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 5719 0 0 0 144 1 0 0 20 0 1 0 49077076 42741760 6897 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 10435 6897 768 2416 0 7537 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 48724 KiB
Current children cumulated memory: 31940 KiB

[startup+3.10559 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 45648
/proc/meminfo: memFree=129380352/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=50496 memory=35728 CPUtime=3.05 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 7244 0 0 0 304 1 0 0 20 0 1 0 49077076 51707904 8932 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 12624 8932 768 2416 0 9726 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 40080 KiB

[startup+6.30021 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 45648
/proc/meminfo: memFree=129380700/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=51096 memory=35420 CPUtime=6.23 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 8514 0 0 0 622 1 0 0 20 0 1 0 49077076 52322304 8855 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 12774 8855 768 2416 0 9876 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 58080 KiB
Current children cumulated memory: 39772 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.09 5/273 45650
/proc/meminfo: memFree=129399396/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=55560 memory=40436 CPUtime=12.62 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 8753 0 0 0 1260 2 0 0 20 0 1 0 49077076 56893440 10109 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 13890 10109 768 2416 0 10992 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 62544 KiB
Current children cumulated memory: 44788 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 45650
/proc/meminfo: memFree=129304080/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=55560 memory=40436 CPUtime=25.39 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 8766 0 0 0 2537 2 0 0 20 0 1 0 49077076 56893440 10109 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 13890 10109 768 2416 0 10992 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 62544 KiB
Current children cumulated memory: 44788 KiB

[startup+51.1049 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 45650
/proc/meminfo: memFree=129264656/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45646] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45646/stat : 45646 (timeout) S 45643 45646 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49077075 2723840 352 18446744073709551615 94861595406336 94861595422849 140729495342160 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94861595437616 94861595439704 94861609025536 140729495349654 140729495349794 140729495349794 140729495355367 0
/proc/45646/statm: 665 352 352 5 0 90 0
[pid=45647] ppid=45646 vsize=58280 memory=43708 CPUtime=50.93 cores=1,3
/proc/45647/stat : 45647 (CASHWMaxSAT-Dis) R 45646 45646 42686 0 -1 4194304 10027 0 0 0 5091 2 0 0 20 0 1 0 49077076 59678720 10927 18446744073709551615 4198400 14093885 140727041419248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 35852288 140727041427868 140727041427995 140727041427995 140727041433568 0
/proc/45647/statm: 14570 10927 768 2416 0 11672 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 65264 KiB
Current children cumulated memory: 48060 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 45656
/proc/meminfo: memFree=129211980/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0

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


[startup+3462.3 s]
/proc/loadavg: 3.12 3.13 3.41 4/265 45959
/proc/meminfo: memFree=128845160/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=1194.89 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 284 17413 0 0 0 0 119484 5 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45793] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45793/stat : 45793 (timeout) S 45643 45793 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49196876 2723840 352 18446744073709551615 94744150032384 94744150048897 140732642099296 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94744150063664 94744150065752 94744154853376 140732642101638 140732642101794 140732642101794 140732642107367 0
/proc/45793/statm: 665 352 352 5 0 90 0
[pid=45794] ppid=45793 vsize=284684 memory=269788 CPUtime=2258.27 cores=1,3
/proc/45794/stat : 45794 (ExactPR-S) R 45793 45793 42686 0 -1 4194304 82683 0 0 0 224366 1461 0 0 20 0 1 0 49196889 291516416 67447 18446744073709551615 94079942295552 94079951595589 140730284132736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94079953381696 94079953420776 94079974445056 140730284136862 140730284136999 140730284136999 140730284142572 0
/proc/45794/statm: 71171 67447 3424 2271 0 65809 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 274140 KiB

[startup+3522.3 s]
/proc/loadavg: 2.82 3.05 3.37 3/257 46014
/proc/meminfo: memFree=129264732/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=1194.89 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 284 17413 0 0 0 0 119484 5 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45793] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45793/stat : 45793 (timeout) S 45643 45793 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49196876 2723840 352 18446744073709551615 94744150032384 94744150048897 140732642099296 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94744150063664 94744150065752 94744154853376 140732642101638 140732642101794 140732642101794 140732642107367 0
/proc/45793/statm: 665 352 352 5 0 90 0
[pid=45794] ppid=45793 vsize=284684 memory=269788 CPUtime=2318.14 cores=1,3
/proc/45794/stat : 45794 (ExactPR-S) R 45793 45793 42686 0 -1 4194304 82778 0 0 0 230331 1483 0 0 20 0 1 0 49196889 291516416 67447 18446744073709551615 94079942295552 94079951595589 140730284132736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94079953381696 94079953420776 94079974445056 140730284136862 140730284136999 140730284136999 140730284142572 0
/proc/45794/statm: 71171 67447 3424 2271 0 65809 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 274140 KiB

[startup+3582.3 s]
/proc/loadavg: 2.35 2.87 3.29 3/256 46016
/proc/meminfo: memFree=129272520/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=1194.89 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 284 17413 0 0 0 0 119484 5 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45793] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45793/stat : 45793 (timeout) S 45643 45793 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49196876 2723840 352 18446744073709551615 94744150032384 94744150048897 140732642099296 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94744150063664 94744150065752 94744154853376 140732642101638 140732642101794 140732642101794 140732642107367 0
/proc/45793/statm: 665 352 352 5 0 90 0
[pid=45794] ppid=45793 vsize=284684 memory=269788 CPUtime=2378 cores=1,3
/proc/45794/stat : 45794 (ExactPR-S) R 45793 45793 42686 0 -1 4194304 82781 0 0 0 236293 1507 0 0 20 0 1 0 49196889 291516416 67447 18446744073709551615 94079942295552 94079951595589 140730284132736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94079953381696 94079953420776 94079974445056 140730284136862 140730284136999 140730284136999 140730284142572 0
/proc/45794/statm: 71171 67447 3424 2271 0 65809 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 274140 KiB

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

# cumulated CPU time of all completed processes:  user=3571.58 s, system=15.2231 s

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

[startup+3584 s]*
/proc/loadavg: 2.32 2.86 3.28 3/256 46016
/proc/meminfo: memFree=129272520/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=1194.89 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 284 17413 0 0 0 0 119484 5 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45793] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45793/stat : 45793 (timeout) S 45643 45793 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49196876 2723840 352 18446744073709551615 94744150032384 94744150048897 140732642099296 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94744150063664 94744150065752 94744154853376 140732642101638 140732642101794 140732642101794 140732642107367 0
/proc/45793/statm: 665 352 352 5 0 90 0
[pid=45794] ppid=45793 vsize=284684 memory=269788 CPUtime=2379.7 cores=1,3
/proc/45794/stat : 45794 (ExactPR-S) R 45793 45793 42686 0 -1 4194304 82781 0 0 0 236463 1507 0 0 20 0 1 0 49196889 291516416 67447 18446744073709551615 94079942295552 94079951595589 140730284132736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94079953381696 94079953420776 94079974445056 140730284136862 140730284136999 140730284136999 140730284142572 0
/proc/45794/statm: 71171 67447 3424 2271 0 65809 0
Current children cumulated CPU time: 3574.59 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 274140 KiB

[startup+3590.4 s]
/proc/loadavg: 2.29 2.84 3.27 3/256 46016
/proc/meminfo: memFree=129272520/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=1194.89 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 284 17413 0 0 0 0 119484 5 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45793] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45793/stat : 45793 (timeout) S 45643 45793 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49196876 2723840 352 18446744073709551615 94744150032384 94744150048897 140732642099296 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94744150063664 94744150065752 94744154853376 140732642101638 140732642101794 140732642101794 140732642107367 0
/proc/45793/statm: 665 352 352 5 0 90 0
[pid=45794] ppid=45793 vsize=284684 memory=269788 CPUtime=2386.08 cores=1,3
/proc/45794/stat : 45794 (ExactPR-S) R 45793 45793 42686 0 -1 4194304 82781 0 0 0 237100 1508 0 0 20 0 1 0 49196889 291516416 67447 18446744073709551615 94079942295552 94079951595589 140730284132736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94079953381696 94079953420776 94079974445056 140730284136862 140730284136999 140730284136999 140730284142572 0
/proc/45794/statm: 71171 67447 3424 2271 0 65809 0
Current children cumulated CPU time: 3580.97 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 274140 KiB

[startup+3593.6 s]
/proc/loadavg: 2.29 2.84 3.27 3/256 46016
/proc/meminfo: memFree=129272520/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=1194.89 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 284 17413 0 0 0 0 119484 5 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45793] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45793/stat : 45793 (timeout) S 45643 45793 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49196876 2723840 352 18446744073709551615 94744150032384 94744150048897 140732642099296 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94744150063664 94744150065752 94744154853376 140732642101638 140732642101794 140732642101794 140732642107367 0
/proc/45793/statm: 665 352 352 5 0 90 0
[pid=45794] ppid=45793 vsize=284684 memory=269788 CPUtime=2389.28 cores=1,3
/proc/45794/stat : 45794 (ExactPR-S) R 45793 45793 42686 0 -1 4194304 82781 0 0 0 237417 1511 0 0 20 0 1 0 49196889 291516416 67447 18446744073709551615 94079942295552 94079951595589 140730284132736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94079953381696 94079953420776 94079974445056 140730284136862 140730284136999 140730284136999 140730284142572 0
/proc/45794/statm: 71171 67447 3424 2271 0 65809 0
Current children cumulated CPU time: 3584.17 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 274140 KiB

[startup+3595.2 s]
/proc/loadavg: 2.35 2.85 3.27 3/256 46016
/proc/meminfo: memFree=129272520/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=1194.89 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 284 17413 0 0 0 0 119484 5 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45793] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45793/stat : 45793 (timeout) S 45643 45793 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49196876 2723840 352 18446744073709551615 94744150032384 94744150048897 140732642099296 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94744150063664 94744150065752 94744154853376 140732642101638 140732642101794 140732642101794 140732642107367 0
/proc/45793/statm: 665 352 352 5 0 90 0
[pid=45794] ppid=45793 vsize=284684 memory=269788 CPUtime=2390.87 cores=1,3
/proc/45794/stat : 45794 (ExactPR-S) R 45793 45793 42686 0 -1 4194304 82781 0 0 0 237576 1511 0 0 20 0 1 0 49196889 291516416 67447 18446744073709551615 94079942295552 94079951595589 140730284132736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94079953381696 94079953420776 94079974445056 140730284136862 140730284136999 140730284136999 140730284142572 0
/proc/45794/statm: 71171 67447 3424 2271 0 65809 0
Current children cumulated CPU time: 3585.76 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 274140 KiB

[startup+3596 s]*
/proc/loadavg: 2.35 2.85 3.27 3/256 46016
/proc/meminfo: memFree=129272520/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=1194.89 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 284 17413 0 0 0 0 119484 5 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
[pid=45793] ppid=45643 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/45793/stat : 45793 (timeout) S 45643 45793 42686 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 49196876 2723840 352 18446744073709551615 94744150032384 94744150048897 140732642099296 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94744150063664 94744150065752 94744154853376 140732642101638 140732642101794 140732642101794 140732642107367 0
/proc/45793/statm: 665 352 352 5 0 90 0
[pid=45794] ppid=45793 vsize=284684 memory=269788 CPUtime=2391.68 cores=1,3
/proc/45794/stat : 45794 (ExactPR-S) R 45793 45793 42686 0 -1 4194304 82781 0 0 0 237656 1512 0 0 20 0 1 0 49196889 291516416 67447 18446744073709551615 94079942295552 94079951595589 140730284132736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94079953381696 94079953420776 94079974445056 140730284136862 140730284136999 140730284136999 140730284142572 0
/proc/45794/statm: 71171 67447 3424 2271 0 65809 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 274140 KiB

[startup+3596.2 s]
/proc/loadavg: 2.35 2.85 3.27 3/256 46016
/proc/meminfo: memFree=129272520/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=3586.75 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 315 100327 0 0 0 0 357157 1518 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

[startup+3596.3 s]
/proc/loadavg: 2.35 2.85 3.27 3/256 46016
/proc/meminfo: memFree=129272520/131250000 swapFree=33010684/33010684
[pid=45643] ppid=45640 vsize=4324 memory=2944 CPUtime=3586.78 cores=1,3
/proc/45643/stat : 45643 (Hybrid-CASHWMax) S 45640 45643 42686 0 -1 4194304 534 103052 0 0 0 0 357157 1521 20 0 1 0 49077072 4427776 736 18446744073709551615 93878390714368 93878391608901 140729376734960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93878391847952 93878391895696 93878405586944 140729376741719 140729376741873 140729376741873 140729376747475 0
/proc/45643/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.78 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.31
CPU time (s): 3586.8
CPU user time (s): 3571.58
CPU system time (s): 15.2231
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 378368
Max. memory (cumulated for all children) (KiB): 334976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.58
system time used= 15.2231
maximum resident set size= 330624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2003
involuntary context switches= 4982


# summary of solver processes directly reported to runsolver:
#   pid: 45643
#   total CPU time (s): 3586.8
#   total CPU user time (s): 3571.58
#   total CPU system time (s): 15.2231

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13802 second user time and 15.891 second system time

The end