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: 63968 MiB (62910 MiB free)
  memory of node 1: 64473 MiB (63476 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437942-1722959026/watcher-4437942-1722959026 -o /tmp/evaluation-result-4437942-1722959026/solver-4437942-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722959025-338077 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437942-1722959026.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
Current StackSize limit: 8192 KiB

solver pid=338130, runsolver pid=338121

[startup+0.100546 s]*
/proc/loadavg: 2.67 3.84 4.06 6/267 338153
/proc/meminfo: memFree=129345964/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=31980 memory=14768 CPUtime=0.07 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 3334 0 0 0 7 0 0 0 20 0 1 0 62507069 32747520 3692 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 7995 3692 922 2726 0 4743 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 50572 KiB
Current children cumulated memory: 18544 KiB

[startup+0.205212 s]*
/proc/loadavg: 2.67 3.84 4.06 5/267 338153
/proc/meminfo: memFree=129265340/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=67956 memory=52720 CPUtime=0.18 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 10569 0 0 0 17 1 0 0 20 0 1 0 62507069 69586944 13180 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 16989 13180 954 2726 0 13737 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 86548 KiB
Current children cumulated memory: 56496 KiB

[startup+0.306454 s]*
/proc/loadavg: 2.67 3.84 4.06 6/267 338153
/proc/meminfo: memFree=129258128/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=67956 memory=52720 CPUtime=0.28 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 10569 0 0 0 27 1 0 0 20 0 1 0 62507069 69586944 13180 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 16989 13180 954 2726 0 13737 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86548 KiB
Current children cumulated memory: 56496 KiB

[startup+0.700303 s]
/proc/loadavg: 2.67 3.84 4.06 6/267 338153
/proc/meminfo: memFree=129182508/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=162080 memory=150880 CPUtime=0.67 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 37677 0 0 0 62 5 0 0 20 0 1 0 62507069 165969920 37720 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 40520 37720 2378 2726 0 37268 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 180672 KiB
Current children cumulated memory: 154656 KiB

[startup+1.50025 s]
/proc/loadavg: 2.67 3.84 4.06 6/267 338153
/proc/meminfo: memFree=128825144/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=290584 memory=278500 CPUtime=1.47 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 69370 0 0 0 136 11 0 0 20 0 1 0 62507069 297558016 69625 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 72646 69625 2618 2726 0 69394 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 309176 KiB
Current children cumulated memory: 282276 KiB

[startup+3.10529 s]
/proc/loadavg: 2.67 3.84 4.06 6/267 338153
/proc/meminfo: memFree=128226564/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=585484 memory=531620 CPUtime=3.07 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 92200 0 0 0 289 18 0 0 20 0 1 0 62507069 599535616 132905 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 146371 132905 2746 2726 0 143119 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 604076 KiB
Current children cumulated memory: 535396 KiB

[startup+6.3002 s]
/proc/loadavg: 2.77 3.85 4.06 6/267 338153
/proc/meminfo: memFree=128127780/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=628036 memory=565020 CPUtime=6.26 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 99114 0 0 0 607 19 0 0 20 0 1 0 62507069 643108864 141255 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 157009 141255 2762 2726 0 153757 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 646628 KiB
Current children cumulated memory: 568796 KiB

[startup+12.7002 s]
/proc/loadavg: 2.87 3.85 4.06 6/267 338155
/proc/meminfo: memFree=128120836/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=647928 memory=566012 CPUtime=12.64 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 99345 0 0 0 1245 19 0 0 20 0 1 0 62507069 663478272 141503 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 161982 141503 2762 2726 0 158730 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 666520 KiB
Current children cumulated memory: 569788 KiB

[startup+25.5003 s]
/proc/loadavg: 3.19 3.87 4.07 6/267 338157
/proc/meminfo: memFree=128037700/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=707852 memory=573780 CPUtime=25.41 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 100786 0 0 0 2522 19 0 0 20 0 1 0 62507069 724840448 143445 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 176963 143445 2762 2726 0 173711 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 726444 KiB
Current children cumulated memory: 577556 KiB

[startup+51.1051 s]
/proc/loadavg: 3.47 3.89 4.06 6/267 338162
/proc/meminfo: memFree=127767496/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=338147] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/338147/stat : 338147 (timeout) S 338130 338147 338065 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62507068 8867840 255 134679101440 93987366211584 93987366246600 140723359119312 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93987368344016 93987368346148 93987400867840 140723359126526 140723359126685 140723359126685 140723359133671 0
/proc/338147/statm: 2165 255 231 9 0 87 0
[pid=338152] ppid=338147 vsize=934696 memory=709140 CPUtime=50.95 cores=1,3
/proc/338152/stat : 338152 (CASHWMaxSAT-Dis) R 338147 338147 338065 0 -1 4194304 134633 0 0 0 5071 24 0 0 20 0 1 0 62507069 957128704 177285 134679101440 4194304 15356333 140731694851632 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46149632 140731694859267 140731694859413 140731694859413 140731694866399 0
/proc/338152/statm: 233674 177285 2778 2726 0 230422 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 953288 KiB
Current children cumulated memory: 712916 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.93 4.07 6/267 338170
/proc/meminfo: memFree=127751292/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0

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

/proc/339060/statm: 59506 42944 820 745 0 58571 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 256616 KiB
Current children cumulated memory: 175552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.59 4.24 4.18 6/264 339990
/proc/meminfo: memFree=128892788/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=238176 memory=171896 CPUtime=1660.02 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 21955 0 0 0 165994 8 0 0 20 0 1 0 62686869 243892224 42974 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 59544 42974 820 745 0 58609 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 256768 KiB
Current children cumulated memory: 175672 KiB

[startup+3522.3 s]
/proc/loadavg: 5.07 4.50 4.28 6/264 340000
/proc/meminfo: memFree=128887216/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=241300 memory=175032 CPUtime=1719.87 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 22780 0 0 0 171979 8 0 0 20 0 1 0 62686869 247091200 43758 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 60325 43758 820 745 0 59390 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 178808 KiB

[startup+3582.3 s]
/proc/loadavg: 4.44 4.42 4.26 6/264 340010
/proc/meminfo: memFree=128882688/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=241300 memory=175140 CPUtime=1779.72 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 22863 0 0 0 177964 8 0 0 20 0 1 0 62686869 247091200 43785 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 60325 43785 820 745 0 59390 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 178916 KiB

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

# cumulated CPU time of all completed processes:  user=3585.99 s, system=0.776509 s

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

[startup+3584 s]*
/proc/loadavg: 4.44 4.42 4.26 6/264 340010
/proc/meminfo: memFree=128882292/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=241300 memory=175140 CPUtime=1781.42 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 22865 0 0 0 178134 8 0 0 20 0 1 0 62686869 247091200 43785 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 60325 43785 820 745 0 59390 0
Current children cumulated CPU time: 3574.74 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 178916 KiB

[startup+3590.4 s]
/proc/loadavg: 4.40 4.41 4.26 6/264 340012
/proc/meminfo: memFree=128875272/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=241300 memory=175140 CPUtime=1787.8 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 22871 0 0 0 178772 8 0 0 20 0 1 0 62686869 247091200 43785 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 60325 43785 820 745 0 59390 0
Current children cumulated CPU time: 3581.12 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 178916 KiB

[startup+3593.6 s]
/proc/loadavg: 4.45 4.42 4.27 6/264 340012
/proc/meminfo: memFree=128875232/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=241300 memory=175140 CPUtime=1790.99 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 22873 0 0 0 179091 8 0 0 20 0 1 0 62686869 247091200 43785 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 60325 43785 820 745 0 59390 0
Current children cumulated CPU time: 3584.31 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 178916 KiB

[startup+3595.2 s]
/proc/loadavg: 4.45 4.42 4.27 6/264 340012
/proc/meminfo: memFree=128875256/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=241300 memory=175140 CPUtime=1792.58 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 22875 0 0 0 179250 8 0 0 20 0 1 0 62686869 247091200 43785 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 60325 43785 820 745 0 59390 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 178916 KiB

[startup+3595.6 s]
/proc/loadavg: 4.45 4.42 4.27 6/264 340012
/proc/meminfo: memFree=128875256/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=241300 memory=175140 CPUtime=1792.98 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 22875 0 0 0 179290 8 0 0 20 0 1 0 62686869 247091200 43785 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 60325 43785 820 745 0 59390 0
Current children cumulated CPU time: 3586.3 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 178916 KiB

[startup+3596 s]*
/proc/loadavg: 4.41 4.41 4.27 6/264 340012
/proc/meminfo: memFree=128875216/131524600 swapFree=131071996/131071996
[pid=338130] ppid=338121 vsize=9932 memory=2756 CPUtime=1793.32 cores=1,3
/proc/338130/stat : 338130 (Hybrid-CASHWMax) S 338121 338130 338065 0 -1 4194304 274 364438 0 0 0 0 179264 68 20 0 1 0 62507067 10170368 689 134679101440 94324560633856 94324561713176 140730001724640 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94324563811632 94324563858820 94324591419392 140730001728462 140730001728621 140730001728621 140730001735636 0
/proc/338130/statm: 2483 689 596 264 0 134 0
[pid=339057] ppid=338130 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/339057/stat : 339057 (timeout) S 338130 339057 338065 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62686869 8867840 255 134679101440 94339231195136 94339231230152 140722506407088 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339233327568 94339233329700 94339257798656 140722506408948 140722506409117 140722506409117 140722506416103 0
/proc/339057/statm: 2165 255 231 9 0 87 0
[pid=339060] ppid=339057 vsize=241300 memory=175140 CPUtime=1793.39 cores=1,3
/proc/339060/stat : 339060 (Exact) R 339057 339057 338065 0 -1 4194304 22875 0 0 0 179331 8 0 0 20 0 1 0 62686869 247091200 43785 134679101440 4194304 7243121 140721084147152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 42274816 140721084154896 140721084155046 140721084155046 140721084162032 0
/proc/339060/statm: 60325 43785 820 745 0 59390 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 178916 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3586.77
CPU user time (s): 3585.99
CPU system time (s): 0.776509
CPU usage (%): 99.7415
Max. virtual memory (cumulated for all children) (KiB): 1587316
Max. memory (cumulated for all children) (KiB): 1322016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.99
system time used= 0.776509
maximum resident set size= 1318240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390617
page faults= 1
swaps= 0
block input operations= 32
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 193
involuntary context switches= 1954


# summary of solver processes directly reported to runsolver:
#   pid: 338130
#   total CPU time (s): 3586.77
#   total CPU user time (s): 3585.99
#   total CPU system time (s): 0.776509

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59274 second user time and 14.9488 second system time

The end