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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486268-1751310470/watcher-4486268-1751310470 -o /tmp/evaluation-result-4486268-1751310470/solver-4486268-1751310470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751303274-41994 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4486268-1751310470.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=42939, runsolver pid=42935
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.14 4.17 4.13 4/261 42948
/proc/meminfo: memFree=128777612/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=34148 memory=15744 CPUtime=0.07 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 3289 0 0 0 7 0 0 0 20 0 1 0 46725542 34967552 3936 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 8537 3936 736 2416 0 5639 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 41132 KiB
Current children cumulated memory: 20096 KiB

[startup+0.204964 s]*
/proc/loadavg: 4.14 4.17 4.13 4/261 42959
/proc/meminfo: memFree=128798188/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=48032 memory=28380 CPUtime=0.18 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 6525 0 0 0 17 1 0 0 20 0 1 0 46725542 49184768 7063 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 12008 7063 768 2416 0 9110 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 55016 KiB
Current children cumulated memory: 32732 KiB

[startup+0.305452 s]*
/proc/loadavg: 4.14 4.17 4.13 5/266 42972
/proc/meminfo: memFree=128768812/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=66368 memory=45624 CPUtime=0.27 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 10491 0 0 0 26 1 0 0 20 0 1 0 46725542 67960832 11406 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 16592 11406 768 2416 0 13694 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 73352 KiB
Current children cumulated memory: 49976 KiB

[startup+0.700212 s]
/proc/loadavg: 4.14 4.17 4.13 5/267 42992
/proc/meminfo: memFree=128716932/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=83428 memory=64300 CPUtime=0.66 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 14094 0 0 0 64 2 0 0 20 0 1 0 46725542 85430272 16075 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 20857 16075 800 2416 0 17959 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 90412 KiB
Current children cumulated memory: 68652 KiB

[startup+1.50021 s]
/proc/loadavg: 4.14 4.17 4.13 5/272 43005
/proc/meminfo: memFree=128647208/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=87820 memory=72628 CPUtime=1.47 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 15160 0 0 0 144 3 0 0 20 0 1 0 46725542 89927680 18157 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 21955 18157 800 2416 0 19057 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94804 KiB
Current children cumulated memory: 76980 KiB

[startup+3.10553 s]
/proc/loadavg: 4.14 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129246532/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=102144 memory=86888 CPUtime=3.06 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 16163 0 0 0 303 3 0 0 20 0 1 0 46725542 104595456 21722 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 25536 21722 800 2416 0 22638 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 109128 KiB
Current children cumulated memory: 91240 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.17 4.13 5/272 43075
/proc/meminfo: memFree=129046216/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=106564 memory=86368 CPUtime=6.24 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 17394 0 0 0 620 4 0 0 20 0 1 0 46725542 109121536 21592 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 26641 21592 800 2416 0 23743 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 113548 KiB
Current children cumulated memory: 90720 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.16 4.13 5/272 43125
/proc/meminfo: memFree=129113824/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=106564 memory=91320 CPUtime=12.63 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 18161 0 0 0 1258 5 0 0 20 0 1 0 46725542 109121536 22830 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 26641 22830 800 2416 0 23743 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 113548 KiB
Current children cumulated memory: 95672 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.15 4.12 5/272 43126
/proc/meminfo: memFree=129111004/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=119764 memory=98528 CPUtime=25.39 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 18406 0 0 0 2534 5 0 0 20 0 1 0 46725542 122638336 24632 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 29941 24632 800 2416 0 27043 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 126748 KiB
Current children cumulated memory: 102880 KiB

[startup+51.1056 s]
/proc/loadavg: 4.24 4.19 4.14 5/272 43126
/proc/meminfo: memFree=129106332/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=42943] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/42943/stat : 42943 (timeout) S 42939 42943 41981 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46725542 2723840 352 18446744073709551615 94479541047296 94479541063809 140730207010464 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94479541078576 94479541080664 94479544406016 140730207017368 140730207017506 140730207017506 140730207023079 0
/proc/42943/statm: 665 352 352 5 0 90 0
[pid=42944] ppid=42943 vsize=119764 memory=102624 CPUtime=50.92 cores=5,7
/proc/42944/stat : 42944 (CASHWMaxSAT-Dis) R 42943 42943 41981 0 -1 4194304 18466 0 0 0 5087 5 0 0 20 0 1 0 46725542 122638336 25656 18446744073709551615 4198400 14093885 140730347180368 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21774336 140730347186589 140730347186715 140730347186715 140730347192288 0
/proc/42944/statm: 29941 25656 800 2416 0 27043 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 126748 KiB
Current children cumulated memory: 106976 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/271 43128
/proc/meminfo: memFree=129036348/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0

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

/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2555.89 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96839 0 0 0 250136 5453 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 43307
/proc/meminfo: memFree=128147896/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=896.33 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 284 21685 0 0 0 0 89625 8 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2615.72 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96847 0 0 0 256113 5459 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 43309
/proc/meminfo: memFree=128148056/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=896.33 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 284 21685 0 0 0 0 89625 8 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2675.55 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96852 0 0 0 262090 5465 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

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

# cumulated CPU time of all completed processes:  user=3530.86 s, system=54.7745 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148056/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=896.33 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 284 21685 0 0 0 0 89625 8 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2677.25 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96852 0 0 0 262260 5465 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148072/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=896.33 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 284 21685 0 0 0 0 89625 8 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2683.63 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96852 0 0 0 262897 5466 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3579.96 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148072/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=896.33 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 284 21685 0 0 0 0 89625 8 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2686.82 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96852 0 0 0 263216 5466 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3583.15 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148080/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=896.33 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 284 21685 0 0 0 0 89625 8 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2688.42 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96852 0 0 0 263376 5466 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148080/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=896.33 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 284 21685 0 0 0 0 89625 8 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2688.81 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96852 0 0 0 263415 5466 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3585.14 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148080/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=896.33 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) S 42935 42939 41981 0 -1 4194304 284 21685 0 0 0 0 89625 8 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
[pid=43164] ppid=42939 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/43164/stat : 43164 (timeout) S 42939 43164 41981 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 46815442 2723840 352 18446744073709551615 94691566084096 94691566100609 140730463895888 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94691566115376 94691566117464 94691594706944 140730463902085 140730463902242 140730463902242 140730463907815 0
/proc/43164/statm: 665 352 352 5 0 90 0
[pid=43165] ppid=43164 vsize=291484 memory=274620 CPUtime=2689.22 cores=5,7
/proc/43165/stat : 43165 (ExactPR-S9) R 43164 43164 41981 0 -1 4194304 96852 0 0 0 263456 5466 0 0 20 0 1 0 46815443 298479616 68655 18446744073709551615 94510975905792 94510985205893 140734144481376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94510986991936 94510987031016 94510998790144 140734144485788 140734144485926 140734144485926 140734144491499 0
/proc/43165/statm: 72871 68655 3424 2271 0 67509 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 298468 KiB
Current children cumulated memory: 278972 KiB

[startup+3596.11 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 43309
/proc/meminfo: memFree=128148080/131249988 swapFree=33010684/33010684
[pid=42939] ppid=42935 vsize=4324 memory=2944 CPUtime=3585.61 cores=5,7
/proc/42939/stat : 42939 (Hybrid-CASHWMax) R 42935 42939 41981 0 -1 4194304 484 121345 0 0 0 0 353085 5476 20 0 1 0 46725540 4427776 736 18446744073709551615 94899359621120 94899360515653 140730752523888 0 0 0 0 4 65536 0 0 0 17 5 0 0 0 0 0 94899360754704 94899360802448 94899383644160 140730752526677 140730752526832 140730752526832 140730752532434 0
/proc/42939/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.12
CPU time (s): 3585.63
CPU user time (s): 3530.86
CPU system time (s): 54.7745
CPU usage (%): 99.7085
Max. virtual memory (cumulated for all children) (KiB): 494720
Max. memory (cumulated for all children) (KiB): 442692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3530.86
system time used= 54.7745
maximum resident set size= 438340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122080
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= 1985
involuntary context switches= 20001


# summary of solver processes directly reported to runsolver:
#   pid: 42939
#   total CPU time (s): 3585.63
#   total CPU user time (s): 3530.86
#   total CPU system time (s): 54.7745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43303 second user time and 15.6647 second system time

The end