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: 63931 MiB (62236 MiB free)
  memory of node 1: 64510 MiB (63574 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438348-1722959025/watcher-4438348-1722959025 -o /tmp/evaluation-result-4438348-1722959025/solver-4438348-1722959025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722959025-338387 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438348-1722959025.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=338441, runsolver pid=338430
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 2.75 3.83 4.01 6/267 338461
/proc/meminfo: memFree=128731888/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=47036 memory=30540 CPUtime=0.09 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 7014 0 0 0 9 0 0 0 20 0 1 0 62501859 48164864 7635 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 11759 7635 1022 2417 0 8861 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65628 KiB
Current children cumulated memory: 34060 KiB

[startup+0.206904 s]*
/proc/loadavg: 2.75 3.83 4.01 8/267 338461
/proc/meminfo: memFree=128648820/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=50920 memory=34824 CPUtime=0.2 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 8885 0 0 0 19 1 0 0 20 0 1 0 62501859 52142080 8706 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 12730 8706 1022 2417 0 9832 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69512 KiB
Current children cumulated memory: 38344 KiB

[startup+0.306792 s]*
/proc/loadavg: 2.75 3.83 4.01 6/267 338461
/proc/meminfo: memFree=128567860/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=62188 memory=51420 CPUtime=0.29 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 12289 0 0 0 28 1 0 0 20 0 1 0 62501859 63680512 12855 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 15547 12855 2382 2417 0 12649 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80780 KiB
Current children cumulated memory: 54940 KiB

[startup+0.700323 s]
/proc/loadavg: 2.75 3.83 4.01 6/267 338461
/proc/meminfo: memFree=128354196/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=278068 memory=264192 CPUtime=0.68 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 65287 0 0 0 59 9 0 0 20 0 1 0 62501859 284741632 66048 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 69517 66048 2590 2417 0 66619 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 296660 KiB
Current children cumulated memory: 267712 KiB

[startup+1.5003 s]
/proc/loadavg: 2.75 3.83 4.01 6/267 338461
/proc/meminfo: memFree=127821964/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=339960 memory=325500 CPUtime=1.49 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 80657 0 0 0 137 12 0 0 20 0 1 0 62501859 348119040 81375 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 84990 81375 2606 2417 0 82092 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 358552 KiB
Current children cumulated memory: 329020 KiB

[startup+3.10697 s]
/proc/loadavg: 2.85 3.83 4.01 6/267 338461
/proc/meminfo: memFree=127184360/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=339960 memory=326080 CPUtime=3.09 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 80757 0 0 0 297 12 0 0 20 0 1 0 62501859 348119040 81520 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 84990 81520 2638 2417 0 82092 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 358552 KiB
Current children cumulated memory: 329600 KiB

[startup+6.3003 s]
/proc/loadavg: 2.85 3.83 4.01 6/267 338463
/proc/meminfo: memFree=127174824/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=339960 memory=326080 CPUtime=6.27 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 80757 0 0 0 614 13 0 0 20 0 1 0 62501859 348119040 81520 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 84990 81520 2638 2417 0 82092 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 358552 KiB
Current children cumulated memory: 329600 KiB

[startup+12.7003 s]
/proc/loadavg: 3.03 3.84 4.01 6/267 338463
/proc/meminfo: memFree=126842340/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=686204 memory=653708 CPUtime=12.65 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 127214 0 0 0 1242 23 0 0 20 0 1 0 62501859 702672896 163427 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 171551 163427 2766 2417 0 168653 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 704796 KiB
Current children cumulated memory: 657228 KiB

[startup+25.5003 s]
/proc/loadavg: 3.25 3.86 4.02 6/267 338466
/proc/meminfo: memFree=126328108/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=692372 memory=659928 CPUtime=25.41 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 128825 0 0 0 2516 25 0 0 20 0 1 0 62501859 708988928 164982 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 173093 164982 2766 2417 0 170195 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 710964 KiB
Current children cumulated memory: 663448 KiB

[startup+51.1068 s]
/proc/loadavg: 3.59 3.89 4.02 6/267 338469
/proc/meminfo: memFree=126115128/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=692528 memory=660336 CPUtime=50.94 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 128904 0 0 0 5069 25 0 0 20 0 1 0 62501859 709148672 165084 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 173132 165084 2766 2417 0 170234 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 711120 KiB
Current children cumulated memory: 663856 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.94 4.03 6/265 338477
/proc/meminfo: memFree=126103900/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0

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

/proc/338461/statm: 264562 196061 2782 2417 0 261664 0
Current children cumulated CPU time: 819.66 s
Current children cumulated vsize: 1076840 KiB
Current children cumulated memory: 787764 KiB

[startup+882.3 s]
/proc/loadavg: 4.14 4.11 4.08 6/266 339174
/proc/meminfo: memFree=125886676/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=1058248 memory=784244 CPUtime=879.44 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149731 0 0 0 87909 35 0 0 20 0 1 0 62501859 1083645952 196061 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 264562 196061 2782 2417 0 261664 0
Current children cumulated CPU time: 879.44 s
Current children cumulated vsize: 1076840 KiB
Current children cumulated memory: 787764 KiB

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

# cumulated CPU time of all completed processes:  user=903.857 s, system=0.38642 s

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

[startup+883.2 s]
/proc/loadavg: 4.14 4.11 4.08 6/266 339174
/proc/meminfo: memFree=125886712/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=1058248 memory=784244 CPUtime=880.33 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149731 0 0 0 87998 35 0 0 20 0 1 0 62501859 1083645952 196061 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 264562 196061 2782 2417 0 261664 0
Current children cumulated CPU time: 880.33 s
Current children cumulated vsize: 1076840 KiB
Current children cumulated memory: 787764 KiB

[startup+896 s]*
/proc/loadavg: 4.12 4.10 4.08 6/266 339177
/proc/meminfo: memFree=125880284/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=1058248 memory=784244 CPUtime=893.09 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149731 0 0 0 89274 35 0 0 20 0 1 0 62501859 1083645952 196061 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 264562 196061 2782 2417 0 261664 0
Current children cumulated CPU time: 893.09 s
Current children cumulated vsize: 1076840 KiB
Current children cumulated memory: 787764 KiB

[startup+902.4 s]
/proc/loadavg: 4.10 4.10 4.08 6/266 339178
/proc/meminfo: memFree=126511360/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=1058248 memory=784244 CPUtime=899.47 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149731 0 0 0 89912 35 0 0 20 0 1 0 62501859 1083645952 196061 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 264562 196061 2782 2417 0 261664 0
Current children cumulated CPU time: 899.47 s
Current children cumulated vsize: 1076840 KiB
Current children cumulated memory: 787764 KiB

[startup+905.6 s]
/proc/loadavg: 4.10 4.10 4.08 6/266 339179
/proc/meminfo: memFree=126509064/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=1058248 memory=784244 CPUtime=902.66 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149731 0 0 0 90231 35 0 0 20 0 1 0 62501859 1083645952 196061 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 264562 196061 2782 2417 0 261664 0
Current children cumulated CPU time: 902.66 s
Current children cumulated vsize: 1076840 KiB
Current children cumulated memory: 787764 KiB

[startup+906.4 s]
/proc/loadavg: 4.10 4.10 4.08 6/266 339179
/proc/meminfo: memFree=126508920/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=1058248 memory=784244 CPUtime=903.45 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149731 0 0 0 90310 35 0 0 20 0 1 0 62501859 1083645952 196061 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 264562 196061 2782 2417 0 261664 0
Current children cumulated CPU time: 903.45 s
Current children cumulated vsize: 1076840 KiB
Current children cumulated memory: 787764 KiB

[startup+906.8 s]
/proc/loadavg: 4.10 4.10 4.08 6/266 339179
/proc/meminfo: memFree=126508920/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=860152 memory=601832 CPUtime=903.86 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149940 0 0 0 90350 36 0 0 20 0 1 0 62501859 880795648 150458 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 215038 150458 2782 2417 0 212140 0
Current children cumulated CPU time: 903.86 s
Current children cumulated vsize: 878744 KiB
Current children cumulated memory: 605352 KiB

[startup+907 s]*
/proc/loadavg: 4.09 4.10 4.08 6/266 339179
/proc/meminfo: memFree=126691560/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=860152 memory=601832 CPUtime=904.07 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149940 0 0 0 90371 36 0 0 20 0 1 0 62501859 880795648 150458 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 215038 150458 2782 2417 0 212140 0
Current children cumulated CPU time: 904.07 s
Current children cumulated vsize: 878744 KiB
Current children cumulated memory: 605352 KiB

[startup+907.107 s]
/proc/loadavg: 4.09 4.10 4.08 6/266 339179
/proc/meminfo: memFree=126691560/131524600 swapFree=131071996/131071996
[pid=338441] ppid=338430 vsize=9932 memory=2608 CPUtime=0 cores=1,3
/proc/338441/stat : 338441 (Hybrid-CASHWMax) S 338430 338441 338375 0 -1 4194304 241 105 0 0 0 0 0 0 20 0 1 0 62501858 10170368 652 134679101440 94630207942656 94630209021976 140723037001792 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94630211120432 94630211167620 94630229610496 140723037004752 140723037004910 140723037004910 140723037011925 0
/proc/338441/statm: 2483 652 574 264 0 134 0
[pid=338456] ppid=338441 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/338456/stat : 338456 (timeout) S 338441 338456 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62501859 8867840 228 134679101440 93916047732736 93916047767752 140731557062512 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93916049865168 93916049867300 93916060430336 140731557069836 140731557069981 140731557069981 140731557076967 0
/proc/338456/statm: 2165 228 204 9 0 87 0
[pid=338461] ppid=338456 vsize=860152 memory=601832 CPUtime=904.17 cores=1,3
/proc/338461/stat : 338461 (CASHWMaxSAT-Dis) R 338456 338456 338375 0 -1 4194304 149956 0 0 0 90381 36 0 0 20 0 1 0 62501859 880795648 150458 134679101440 4194304 14093885 140733304894720 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 27852800 140733304902674 140733304902806 140733304902806 140733304909792 0
/proc/338461/statm: 215038 150458 2782 2417 0 212140 0
Current children cumulated CPU time: 904.17 s
Current children cumulated vsize: 878744 KiB
Current children cumulated memory: 605352 KiB

Child status: 0

Real time (s): 907.171
CPU time (s): 904.243
CPU user time (s): 903.857
CPU system time (s): 0.38642
CPU usage (%): 99.6772
Max. virtual memory (cumulated for all children) (KiB): 1076840
Max. memory (cumulated for all children) (KiB): 787764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 903.857
system time used= 0.38642
maximum resident set size= 784244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 527


# summary of solver processes directly reported to runsolver:
#   pid: 338441
#   total CPU time (s): 904.243
#   total CPU user time (s): 903.857
#   total CPU system time (s): 0.38642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90918 second user time and 5.78743 second system time

The end