runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (60633 MiB free)
  memory of node 1: 64507 MiB (59298 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486864-1751326209/watcher-4486864-1751326209 -o /tmp/evaluation-result-4486864-1751326209/solver-4486864-1751326209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751326195-45921 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4486864-1751326209.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=46289, runsolver pid=46286

[startup+0.100099 s]*
/proc/loadavg: 1.58 2.02 3.09 5/261 46293
/proc/meminfo: memFree=122806028/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=24944 memory=10496 CPUtime=0.07 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 1893 0 0 0 7 0 0 0 20 0 1 0 48300737 25542656 2624 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 6236 2624 864 2593 0 3129 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 31928 KiB
Current children cumulated memory: 14976 KiB

[startup+0.213878 s]*
/proc/loadavg: 1.58 2.02 3.09 5/261 46293
/proc/meminfo: memFree=122793932/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=31836 memory=17408 CPUtime=0.19 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 3628 0 0 0 18 1 0 0 20 0 1 0 48300737 32600064 4352 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 7959 4352 864 2593 0 4852 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38820 KiB
Current children cumulated memory: 21888 KiB

[startup+0.313827 s]*
/proc/loadavg: 1.58 2.02 3.09 5/261 46293
/proc/meminfo: memFree=122793932/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=37936 memory=23424 CPUtime=0.28 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 5145 0 0 0 27 1 0 0 20 0 1 0 48300737 38846464 5856 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 9484 5856 864 2593 0 6377 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44920 KiB
Current children cumulated memory: 27904 KiB

[startup+0.700469 s]
/proc/loadavg: 1.58 2.02 3.09 5/261 46293
/proc/meminfo: memFree=122778056/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=68076 memory=53612 CPUtime=0.66 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 12752 0 0 0 63 3 0 0 20 0 1 0 48300737 69709824 13403 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 17019 13403 896 2593 0 13912 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 75060 KiB
Current children cumulated memory: 58092 KiB

[startup+1.50048 s]
/proc/loadavg: 1.58 2.02 3.09 5/261 46293
/proc/meminfo: memFree=122753612/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=81120 memory=66364 CPUtime=1.46 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 17007 0 0 0 142 4 0 0 20 0 1 0 48300737 83066880 16591 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 20280 16591 960 2593 0 17173 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 88104 KiB
Current children cumulated memory: 70844 KiB

[startup+3.11349 s]
/proc/loadavg: 1.58 2.02 3.09 5/261 46293
/proc/meminfo: memFree=122745492/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=77568 memory=63016 CPUtime=3.06 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 19534 0 0 0 302 4 0 0 20 0 1 0 48300737 79429632 15754 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 19392 15754 960 2593 0 16285 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 84552 KiB
Current children cumulated memory: 67496 KiB

[startup+6.30046 s]
/proc/loadavg: 1.77 2.05 3.10 5/261 46293
/proc/meminfo: memFree=122745492/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=81380 memory=66744 CPUtime=6.24 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 21924 0 0 0 619 5 0 0 20 0 1 0 48300737 83333120 16686 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 20345 16686 960 2593 0 17238 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 88364 KiB
Current children cumulated memory: 71224 KiB

[startup+12.7004 s]
/proc/loadavg: 1.95 2.08 3.10 5/261 46294
/proc/meminfo: memFree=122740208/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=79780 memory=65208 CPUtime=12.62 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 25714 0 0 0 1256 6 0 0 20 0 1 0 48300737 81694720 16302 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 19945 16302 960 2593 0 16838 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 86764 KiB
Current children cumulated memory: 69688 KiB

[startup+25.5005 s]
/proc/loadavg: 2.40 2.18 3.12 5/261 46294
/proc/meminfo: memFree=122732164/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=79408 memory=65032 CPUtime=25.38 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 29586 0 0 0 2531 7 0 0 20 0 1 0 48300737 81313792 16258 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 19852 16258 960 2593 0 16745 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 69512 KiB

[startup+51.1136 s]
/proc/loadavg: 3.01 2.34 3.15 5/261 46294
/proc/meminfo: memFree=122694944/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46292/stat : 46292 (timeout) S 46289 46292 45908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 48300736 2723840 352 18446744073709551615 94827056054272 94827056070785 140734299246880 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94827056085552 94827056087640 94827078955008 140734299253142 140734299253282 140734299253282 140734299258855 0
/proc/46292/statm: 665 352 352 5 0 90 0
[pid=46293] ppid=46292 vsize=93864 memory=79352 CPUtime=50.92 cores=5,7
/proc/46293/stat : 46293 (CASHWMaxSAT-Dis) R 46292 46292 45908 0 -1 4194304 36470 0 0 0 5083 9 0 0 20 0 1 0 48300737 96116736 19838 18446744073709551615 4198400 14817773 140727714845648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 24264704 140727714851228 140727714851355 140727714851355 140727714856928 0
/proc/46293/statm: 23466 19838 960 2593 0 20359 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 100848 KiB
Current children cumulated memory: 83832 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.61 3.20 5/261 46296
/proc/meminfo: memFree=122681052/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46292] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2257.51 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193131 0 0 0 225287 464 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

[startup+3522.3 s]
/proc/loadavg: 4.57 4.28 4.16 5/258 46481
/proc/meminfo: memFree=121464208/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=1194.73 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 284 72592 0 0 0 0 119441 32 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2317.36 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193132 0 0 0 231270 466 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.24 4.16 3/249 46540
/proc/meminfo: memFree=122146372/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=1194.73 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 284 72592 0 0 0 0 119441 32 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2377.19 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193132 0 0 0 237251 468 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

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

# cumulated CPU time of all completed processes:  user=3580.51 s, system=5.14571 s

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

[startup+3584 s]*
/proc/loadavg: 4.27 4.24 4.16 4/250 46607
/proc/meminfo: memFree=122128716/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=1194.73 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 284 72592 0 0 0 0 119441 32 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2378.89 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193132 0 0 0 237421 468 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

[startup+3590.4 s]
/proc/loadavg: 4.24 4.24 4.16 5/247 47017
/proc/meminfo: memFree=122166244/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=1194.73 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 284 72592 0 0 0 0 119441 32 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2385.21 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193132 0 0 0 238047 474 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3579.94 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

[startup+3593.6 s]
/proc/loadavg: 4.30 4.25 4.16 5/254 47175
/proc/meminfo: memFree=122133612/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=1194.73 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 284 72592 0 0 0 0 119441 32 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2388.4 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193132 0 0 0 238363 477 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3583.13 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

[startup+3595.2 s]
/proc/loadavg: 4.30 4.25 4.16 3/246 47294
/proc/meminfo: memFree=122160596/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=1194.73 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 284 72592 0 0 0 0 119441 32 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2389.98 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193132 0 0 0 238520 478 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3584.71 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

[startup+3595.6 s]
/proc/loadavg: 4.30 4.25 4.16 3/246 47294
/proc/meminfo: memFree=122160596/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=1194.73 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 284 72592 0 0 0 0 119441 32 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2390.38 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193132 0 0 0 238560 478 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3585.11 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

[startup+3596 s]*
/proc/loadavg: 4.28 4.25 4.16 6/254 47342
/proc/meminfo: memFree=122138280/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=1194.73 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 284 72592 0 0 0 0 119441 32 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
[pid=46353] ppid=46289 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/46353/stat : 46353 (timeout) S 46289 46353 45908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 48420537 2723840 352 18446744073709551615 94426247847936 94426247864449 140736297187392 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94426247879216 94426247881304 94426281390080 140736297195910 140736297196066 140736297196066 140736297201639 0
/proc/46353/statm: 665 352 352 5 0 90 0
[pid=46354] ppid=46353 vsize=1016832 memory=892872 CPUtime=2390.78 cores=5,7
/proc/46354/stat : 46354 (ExactPR-S) R 46353 46353 45908 0 -1 4194304 193132 0 0 0 238600 478 0 0 20 0 1 0 48420538 1041235968 223218 18446744073709551615 94219972857856 94219982157893 140725806188912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94219983944000 94219983983080 94219993849856 140725806193054 140725806193191 140725806193191 140725806198764 0
/proc/46354/statm: 254208 223218 3392 2271 0 248846 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 1023816 KiB
Current children cumulated memory: 897352 KiB

[startup+3596.11 s]
/proc/loadavg: 4.28 4.25 4.16 6/254 47342
/proc/meminfo: memFree=122138280/131382112 swapFree=33010684/33010684
[pid=46289] ppid=46286 vsize=4324 memory=3072 CPUtime=3585.62 cores=5,7
/proc/46289/stat : 46289 (Hybrid-CASHWMax) S 46286 46289 45908 0 -1 4194304 312 265856 0 0 0 0 358050 512 20 0 1 0 48300734 4427776 768 18446744073709551615 94340810493952 94340811388485 140732924381552 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94340811627536 94340811675280 94340844056576 140732924389719 140732924389873 140732924389873 140732924395475 0
/proc/46289/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3585.65
CPU user time (s): 3580.51
CPU system time (s): 5.14571
CPU usage (%): 99.7075
Max. virtual memory (cumulated for all children) (KiB): 1402008
Max. memory (cumulated for all children) (KiB): 1190508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.51
system time used= 5.14571
maximum resident set size= 1186028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267719
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= 1406
involuntary context switches= 1814


# summary of solver processes directly reported to runsolver:
#   pid: 46289
#   total CPU time (s): 3585.65
#   total CPU user time (s): 3580.51
#   total CPU system time (s): 5.14571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7953 second user time and 38.6354 second system time

The end