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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100089 s]*
/proc/loadavg: 4.04 4.13 4.12 5/266 340694
/proc/meminfo: memFree=128343736/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=44316 memory=35512 CPUtime=0.09 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 6616 0 0 0 8 1 0 0 20 0 1 0 62861586 45379584 8878 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 11079 8878 2510 2417 0 8181 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62908 KiB
Current children cumulated memory: 39136 KiB

[startup+0.205834 s]*
/proc/loadavg: 4.04 4.13 4.12 5/266 340694
/proc/meminfo: memFree=128341524/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=45216 memory=36300 CPUtime=0.2 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 6828 0 0 0 19 1 0 0 20 0 1 0 62861586 46301184 9075 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 11304 9075 2510 2417 0 8406 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63808 KiB
Current children cumulated memory: 39924 KiB

[startup+0.30542 s]*
/proc/loadavg: 4.04 4.13 4.12 5/266 340694
/proc/meminfo: memFree=128340376/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=46480 memory=37680 CPUtime=0.3 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 7102 0 0 0 29 1 0 0 20 0 1 0 62861586 47595520 9420 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 11620 9420 2526 2417 0 8722 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65072 KiB
Current children cumulated memory: 41304 KiB

[startup+0.700206 s]
/proc/loadavg: 4.04 4.13 4.12 5/266 340694
/proc/meminfo: memFree=128336848/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=49992 memory=40564 CPUtime=0.68 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 7882 0 0 0 67 1 0 0 20 0 1 0 62861586 51191808 10141 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 12498 10141 2526 2417 0 9600 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68584 KiB
Current children cumulated memory: 44188 KiB

[startup+1.50023 s]
/proc/loadavg: 4.04 4.13 4.12 5/266 340694
/proc/meminfo: memFree=128336016/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=52492 memory=42940 CPUtime=1.48 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 8445 0 0 0 147 1 0 0 20 0 1 0 62861586 53751808 10735 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 13123 10735 2526 2417 0 10225 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71084 KiB
Current children cumulated memory: 46564 KiB

[startup+3.10556 s]
/proc/loadavg: 4.04 4.13 4.12 5/266 340694
/proc/meminfo: memFree=128278308/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=74980 memory=64588 CPUtime=3.09 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 13836 0 0 0 307 2 0 0 20 0 1 0 62861586 76779520 16147 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 18745 16147 2526 2417 0 15847 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93572 KiB
Current children cumulated memory: 68212 KiB

[startup+6.30027 s]
/proc/loadavg: 4.04 4.13 4.12 5/266 340695
/proc/meminfo: memFree=128196944/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=122332 memory=110524 CPUtime=6.27 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 25336 0 0 0 623 4 0 0 20 0 1 0 62861586 125267968 27631 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 30583 27631 2526 2417 0 27685 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 140924 KiB
Current children cumulated memory: 114148 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.12 4.12 5/266 340695
/proc/meminfo: memFree=128139732/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=156248 memory=140620 CPUtime=12.66 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 32858 0 0 0 1261 5 0 0 20 0 1 0 62861586 159997952 35155 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 39062 35155 2526 2417 0 36164 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 174840 KiB
Current children cumulated memory: 144244 KiB

[startup+25.5003 s]
/proc/loadavg: 4.03 4.12 4.12 5/266 340697
/proc/meminfo: memFree=128130328/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=160476 memory=145372 CPUtime=25.43 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 34084 0 0 0 2538 5 0 0 20 0 1 0 62861586 164327424 36343 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 40119 36343 2526 2417 0 37221 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 179068 KiB
Current children cumulated memory: 148996 KiB

[startup+51.1056 s]
/proc/loadavg: 4.07 4.12 4.12 5/266 340703
/proc/meminfo: memFree=128046408/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 676 599 264 0 134 0
[pid=340693] ppid=340690 vsize=8660 memory=920 CPUtime=0 cores=4,6
/proc/340693/stat : 340693 (timeout) S 340690 340693 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62861586 8867840 230 134679101440 94188332593152 94188332628168 140728587550592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94188334725584 94188334727716 94188353646592 140728587555852 140728587555997 140728587555997 140728587562983 0
/proc/340693/statm: 2165 230 205 9 0 87 0
[pid=340694] ppid=340693 vsize=205040 memory=190016 CPUtime=50.97 cores=4,6
/proc/340694/stat : 340694 (CASHWMaxSAT-Dis) R 340693 340693 338375 0 -1 4194304 45240 0 0 0 5090 7 0 0 20 0 1 0 62861586 209960960 47504 134679101440 4194304 14093885 140720419159584 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 28901376 140720419161106 140720419161238 140720419161238 140720419168224 0
/proc/340694/statm: 51260 47504 2542 2417 0 48362 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 223632 KiB
Current children cumulated memory: 193640 KiB

[startup+102.3 s]
/proc/loadavg: 4.53 4.24 4.16 5/266 340712
/proc/meminfo: memFree=127916664/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 242 105 0 0 0 0 0 0 20 0 1 0 62861586 10170368 676 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0

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

/proc/341663/statm: 48787 47021 748 737 0 47875 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 213740 KiB
Current children cumulated memory: 191768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/265 342750
/proc/meminfo: memFree=127961600/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=196748 memory=189616 CPUtime=1660.38 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 25861 0 0 0 166029 9 0 0 20 0 1 0 63041386 201469952 47404 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49187 47404 748 737 0 48275 0
Current children cumulated CPU time: 3454.09 s
Current children cumulated vsize: 215340 KiB
Current children cumulated memory: 193300 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/265 342760
/proc/meminfo: memFree=127958868/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=198604 memory=191144 CPUtime=1720.2 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 26355 0 0 0 172011 9 0 0 20 0 1 0 63041386 203370496 47786 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49651 47786 748 737 0 48739 0
Current children cumulated CPU time: 3513.91 s
Current children cumulated vsize: 217196 KiB
Current children cumulated memory: 194828 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/265 342770
/proc/meminfo: memFree=127957664/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=199052 memory=191784 CPUtime=1780.02 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 26566 0 0 0 177993 9 0 0 20 0 1 0 63041386 203829248 47946 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49763 47946 748 737 0 48851 0
Current children cumulated CPU time: 3573.73 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 195468 KiB

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

# cumulated CPU time of all completed processes:  user=3586.64 s, system=0.797614 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.10 5/265 342770
/proc/meminfo: memFree=127957672/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=199052 memory=191784 CPUtime=1781.72 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 26566 0 0 0 178163 9 0 0 20 0 1 0 63041386 203829248 47946 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49763 47946 748 737 0 48851 0
Current children cumulated CPU time: 3575.43 s
Current children cumulated vsize: 217644 KiB
Current children cumulated memory: 195468 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957136/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=199244 memory=191864 CPUtime=1788.09 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 26608 0 0 0 178800 9 0 0 20 0 1 0 63041386 204025856 47966 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49811 47966 748 737 0 48899 0
Current children cumulated CPU time: 3581.8 s
Current children cumulated vsize: 217836 KiB
Current children cumulated memory: 195548 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957136/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=199244 memory=191864 CPUtime=1791.28 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 26608 0 0 0 179119 9 0 0 20 0 1 0 63041386 204025856 47966 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49811 47966 748 737 0 48899 0
Current children cumulated CPU time: 3584.99 s
Current children cumulated vsize: 217836 KiB
Current children cumulated memory: 195548 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957136/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=199244 memory=191864 CPUtime=1792.88 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 26608 0 0 0 179279 9 0 0 20 0 1 0 63041386 204025856 47966 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49811 47966 748 737 0 48899 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 217836 KiB
Current children cumulated memory: 195548 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957136/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=199244 memory=191864 CPUtime=1793.28 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 26608 0 0 0 179319 9 0 0 20 0 1 0 63041386 204025856 47966 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49811 47966 748 737 0 48899 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 217836 KiB
Current children cumulated memory: 195548 KiB

[startup+3596 s]*
/proc/loadavg: 4.00 4.10 4.09 5/265 342844
/proc/meminfo: memFree=128083860/131524600 swapFree=131071996/131071996
[pid=340690] ppid=340687 vsize=9932 memory=2772 CPUtime=1793.71 cores=4,6
/proc/340690/stat : 340690 (Hybrid-CASHWMax) S 340687 340690 338375 0 -1 4194304 273 150220 0 0 0 0 179302 69 20 0 1 0 62861586 10170368 693 134679101440 93943750529024 93943751608344 140726906283504 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93943753706800 93943753753988 93943782809600 140726906287056 140726906287214 140726906287214 140726906294229 0
/proc/340690/statm: 2483 693 599 264 0 134 0
[pid=341662] ppid=340690 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341662/stat : 341662 (timeout) S 340690 341662 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63041386 8867840 228 134679101440 94407911903232 94407911938248 140733892320512 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94407914035664 94407914037796 94407937646592 140733892322292 140733892322461 140733892322461 140733892329447 0
/proc/341662/statm: 2165 228 204 9 0 87 0
[pid=341663] ppid=341662 vsize=199244 memory=191864 CPUtime=1793.68 cores=4,6
/proc/341663/stat : 341663 (Exact) R 341662 341662 338375 0 -1 4194304 26608 0 0 0 179359 9 0 0 20 0 1 0 63041386 204025856 47966 134679101440 4194304 7210733 140735211176400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 30105600 140735211185168 140735211185318 140735211185318 140735211192304 0
/proc/341663/statm: 49811 47966 748 737 0 48899 0
Current children cumulated CPU time: 3587.39 s
Current children cumulated vsize: 217836 KiB
Current children cumulated memory: 195548 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3587.44
CPU user time (s): 3586.64
CPU system time (s): 0.797614
CPU usage (%): 99.7611
Max. virtual memory (cumulated for all children) (KiB): 647516
Max. memory (cumulated for all children) (KiB): 625368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.64
system time used= 0.797614
maximum resident set size= 621756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141
involuntary context switches= 2297


# summary of solver processes directly reported to runsolver:
#   pid: 340690
#   total CPU time (s): 3587.44
#   total CPU user time (s): 3586.64
#   total CPU system time (s): 0.797614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15712 second user time and 18.8362 second system time

The end