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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490866-1751380683/watcher-4490866-1751380683 -o /tmp/evaluation-result-4490866-1751380683/solver-4490866-1751380683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751373486-52976 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4490866-1751380683.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100099 s]*
/proc/loadavg: 4.08 4.12 4.15 6/257 53978
/proc/meminfo: memFree=124535772/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=20948 memory=6528 CPUtime=0.06 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 860 0 0 0 6 0 0 0 20 0 1 0 53747552 21450752 1632 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 5237 1632 864 2593 0 2130 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 27932 KiB
Current children cumulated memory: 11008 KiB

[startup+0.213893 s]*
/proc/loadavg: 4.08 4.12 4.15 6/257 53978
/proc/meminfo: memFree=124534008/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=24816 memory=10368 CPUtime=0.17 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 1828 0 0 0 17 0 0 0 20 0 1 0 53747552 25411584 2592 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 6204 2592 864 2593 0 3097 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 14848 KiB

[startup+0.313562 s]*
/proc/loadavg: 4.08 4.12 4.15 6/257 53978
/proc/meminfo: memFree=124527960/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=28132 memory=13696 CPUtime=0.28 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 2656 0 0 0 27 1 0 0 20 0 1 0 53747552 28807168 3424 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 7033 3424 864 2593 0 3926 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 35116 KiB
Current children cumulated memory: 18176 KiB

[startup+0.700432 s]
/proc/loadavg: 4.08 4.12 4.15 6/257 53978
/proc/meminfo: memFree=124515932/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=41336 memory=26880 CPUtime=0.64 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 5950 0 0 0 63 1 0 0 20 0 1 0 53747552 42328064 6720 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 10334 6720 864 2593 0 7227 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 48320 KiB
Current children cumulated memory: 31360 KiB

[startup+1.50049 s]
/proc/loadavg: 4.08 4.12 4.15 6/257 53978
/proc/meminfo: memFree=124496024/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=118600 memory=98496 CPUtime=1.44 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 16852 0 0 0 139 5 0 0 20 0 1 0 53747552 121446400 24624 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 29650 24624 896 2593 0 26543 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 125584 KiB
Current children cumulated memory: 102976 KiB

[startup+3.11355 s]
/proc/loadavg: 4.07 4.12 4.15 6/257 53978
/proc/meminfo: memFree=124296172/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=244492 memory=221036 CPUtime=3.05 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 39598 0 0 0 295 10 0 0 20 0 1 0 53747552 250359808 55259 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 61123 55259 960 2593 0 58016 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 251476 KiB
Current children cumulated memory: 225516 KiB

[startup+6.30046 s]
/proc/loadavg: 4.07 4.12 4.15 6/257 53978
/proc/meminfo: memFree=124251108/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=302072 memory=275324 CPUtime=6.23 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 42445 0 0 0 611 12 0 0 20 0 1 0 53747552 309321728 68831 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 75518 68831 960 2593 0 72411 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 309056 KiB
Current children cumulated memory: 279804 KiB

[startup+12.7005 s]
/proc/loadavg: 4.06 4.12 4.15 6/257 53978
/proc/meminfo: memFree=124177888/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=337092 memory=313736 CPUtime=12.61 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 45748 0 0 0 1246 15 0 0 20 0 1 0 53747552 345182208 78434 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 84273 78434 992 2593 0 81166 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 344076 KiB
Current children cumulated memory: 318216 KiB

[startup+25.5005 s]
/proc/loadavg: 4.13 4.13 4.15 6/257 53979
/proc/meminfo: memFree=124135240/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=340460 memory=320448 CPUtime=25.37 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 46987 0 0 0 2522 15 0 0 20 0 1 0 53747552 348631040 80112 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 85115 80112 992 2593 0 82008 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 347444 KiB
Current children cumulated memory: 324928 KiB

[startup+51.1135 s]
/proc/loadavg: 4.15 4.13 4.15 6/257 53979
/proc/meminfo: memFree=124093332/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/53977/stat : 53977 (timeout) S 53971 53977 52965 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53747551 2723840 352 18446744073709551615 94262430150656 94262430167169 140733763144080 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94262430181936 94262430184024 94262460571648 140733763152278 140733763152418 140733763152418 140733763157991 0
/proc/53977/statm: 665 352 352 5 0 90 0
[pid=53978] ppid=53977 vsize=340460 memory=320448 CPUtime=50.91 cores=4,6
/proc/53978/stat : 53978 (CASHWMaxSAT-Dis) R 53977 53977 52965 0 -1 4194304 47039 0 0 0 5075 16 0 0 20 0 1 0 53747552 348631040 80112 18446744073709551615 4198400 14817773 140730833875408 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 33447936 140730833877404 140730833877531 140730833877531 140730833883104 0
/proc/53978/statm: 85115 80112 992 2593 0 82008 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 347444 KiB
Current children cumulated memory: 324928 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/258 54034
/proc/meminfo: memFree=124090148/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=53977] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2256.9 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 225538 152 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3451.41 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/260 54691
/proc/meminfo: memFree=123554316/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=1194.51 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 286 75724 0 0 0 0 119410 41 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2316.69 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 231515 154 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/260 54693
/proc/meminfo: memFree=123536140/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=1194.51 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 286 75724 0 0 0 0 119410 41 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2376.49 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 237493 156 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3571 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

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

# cumulated CPU time of all completed processes:  user=3582.75 s, system=2.01719 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.15 4.16 5/260 54693
/proc/meminfo: memFree=123527200/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=1194.51 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 286 75724 0 0 0 0 119410 41 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2378.19 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 237663 156 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.15 4.16 5/260 54693
/proc/meminfo: memFree=123527200/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=1194.51 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 286 75724 0 0 0 0 119410 41 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2384.57 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 238300 157 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3579.08 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.14 4.16 5/260 54693
/proc/meminfo: memFree=123529772/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=1194.51 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 286 75724 0 0 0 0 119410 41 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2387.75 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 238618 157 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3582.26 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.14 4.16 5/260 54693
/proc/meminfo: memFree=123529812/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=1194.51 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 286 75724 0 0 0 0 119410 41 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2389.35 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 238778 157 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.14 4.16 5/260 54693
/proc/meminfo: memFree=123529812/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=1194.51 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 286 75724 0 0 0 0 119410 41 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2389.75 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 238818 157 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.14 4.16 5/260 54693
/proc/meminfo: memFree=123529812/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=1194.51 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 286 75724 0 0 0 0 119410 41 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
[pid=54343] ppid=53971 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/54343/stat : 54343 (timeout) S 53971 54343 52965 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53867352 2723840 352 18446744073709551615 94447749648384 94447749664897 140728206545632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94447749679664 94447749681752 94447781851136 140728206547334 140728206547490 140728206547490 140728206553063 0
/proc/54343/statm: 665 352 352 5 0 90 0
[pid=54344] ppid=54343 vsize=752152 memory=728972 CPUtime=2390.16 cores=4,6
/proc/54344/stat : 54344 (ExactPR-S) R 54343 54343 52965 0 -1 4194304 206237 0 0 0 238859 157 0 0 20 0 1 0 53867353 770203648 182243 18446744073709551615 94578296238080 94578305538117 140727355724496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94578307324224 94578307363304 94578331070464 140727355726238 140727355726375 140727355726375 140727355731948 0
/proc/54344/statm: 188038 182243 3488 2271 0 182676 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 759136 KiB
Current children cumulated memory: 733452 KiB

[startup+3596.11 s]
/proc/loadavg: 4.09 4.14 4.16 5/260 54693
/proc/meminfo: memFree=123529812/131382116 swapFree=33010160/33010684
[pid=53971] ppid=53964 vsize=4324 memory=3072 CPUtime=3584.74 cores=4,6
/proc/53971/stat : 53971 (Hybrid-CASHWMax) S 53964 53971 52965 0 -1 4194304 444 283406 0 0 0 0 358274 200 20 0 1 0 53747548 4427776 768 18446744073709551615 94024435486720 94024436381253 140723376299632 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94024436620304 94024436668048 94024466735104 140723376306519 140723376306673 140723376306673 140723376312275 0
/proc/53971/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3584.74 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.12
CPU time (s): 3584.77
CPU user time (s): 3582.75
CPU system time (s): 2.01719
CPU usage (%): 99.6842
Max. virtual memory (cumulated for all children) (KiB): 838964
Max. memory (cumulated for all children) (KiB): 795476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.75
system time used= 2.01719
maximum resident set size= 790996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1372
involuntary context switches= 3061


# summary of solver processes directly reported to runsolver:
#   pid: 53971
#   total CPU time (s): 3584.77
#   total CPU user time (s): 3582.75
#   total CPU system time (s): 2.01719

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7297 second user time and 39.8194 second system time

The end