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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438009-1722965406/watcher-4438009-1722965406 -o /tmp/evaluation-result-4438009-1722965406/solver-4438009-1722965406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722960830-340138 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4438009-1722965406.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=343700, runsolver pid=343697
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 343704
/proc/meminfo: memFree=127470792/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=30504 memory=14000 CPUtime=0.09 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 2634 0 0 0 9 0 0 0 20 0 1 0 63139098 31236096 3500 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 7626 3500 922 2726 0 4374 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49096 KiB
Current children cumulated memory: 17856 KiB

[startup+0.205824 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 343704
/proc/meminfo: memFree=127440144/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=61220 memory=44544 CPUtime=0.2 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 9220 0 0 0 19 1 0 0 20 0 1 0 63139098 62689280 11136 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 15305 11136 954 2726 0 12053 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79812 KiB
Current children cumulated memory: 48400 KiB

[startup+0.305951 s]*
/proc/loadavg: 4.15 4.11 4.09 5/265 343704
/proc/meminfo: memFree=127436808/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=65628 memory=49380 CPUtime=0.29 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 11569 0 0 0 28 1 0 0 20 0 1 0 63139098 67203072 12345 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 16407 12345 1034 2726 0 13155 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84220 KiB
Current children cumulated memory: 53236 KiB

[startup+0.70027 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 343704
/proc/meminfo: memFree=127390616/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=191580 memory=179400 CPUtime=0.68 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 42560 0 0 0 62 6 0 0 20 0 1 0 63139098 196177920 44850 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 47895 44850 2618 2726 0 44643 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 210172 KiB
Current children cumulated memory: 183256 KiB

[startup+1.50027 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 343704
/proc/meminfo: memFree=127278284/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=284240 memory=269264 CPUtime=1.48 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 65558 0 0 0 139 9 0 0 20 0 1 0 63139098 291061760 67316 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 71060 67316 2714 2726 0 67808 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 302832 KiB
Current children cumulated memory: 273120 KiB

[startup+3.10568 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 343704
/proc/meminfo: memFree=127221212/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=285408 memory=269848 CPUtime=3.08 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 65667 0 0 0 299 9 0 0 20 0 1 0 63139098 292257792 67462 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 71352 67462 2730 2726 0 68100 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 304000 KiB
Current children cumulated memory: 273704 KiB

[startup+6.30025 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 343704
/proc/meminfo: memFree=127220896/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=285728 memory=270360 CPUtime=6.27 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 65832 0 0 0 617 10 0 0 20 0 1 0 63139098 292585472 67590 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 71432 67590 2730 2726 0 68180 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 304320 KiB
Current children cumulated memory: 274216 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 343764
/proc/meminfo: memFree=127218428/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=286948 memory=271476 CPUtime=12.65 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 66095 0 0 0 1255 10 0 0 20 0 1 0 63139098 293834752 67869 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 71737 67869 2730 2726 0 68485 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 305540 KiB
Current children cumulated memory: 275332 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 343765
/proc/meminfo: memFree=127218036/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=286948 memory=271776 CPUtime=25.42 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 66102 0 0 0 2532 10 0 0 20 0 1 0 63139098 293834752 67944 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 71737 67944 2746 2726 0 68485 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 305540 KiB
Current children cumulated memory: 275632 KiB

[startup+51.1059 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 343821
/proc/meminfo: memFree=127646732/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=286948 memory=272056 CPUtime=50.96 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 66146 0 0 0 5085 11 0 0 20 0 1 0 63139098 293834752 68014 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 71737 68014 2746 2726 0 68485 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 305540 KiB
Current children cumulated memory: 275912 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 343829
/proc/meminfo: memFree=127391212/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0

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

/proc/343704/statm: 90199 82674 2762 2726 0 86947 0
Current children cumulated CPU time: 820.21 s
Current children cumulated vsize: 379388 KiB
Current children cumulated memory: 334552 KiB

[startup+882.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/265 344447
/proc/meminfo: memFree=126366020/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=360796 memory=331336 CPUtime=880.06 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 78456 0 0 0 87993 13 0 0 20 0 1 0 63139098 369455104 82834 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 90199 82834 2922 2726 0 86947 0
Current children cumulated CPU time: 880.06 s
Current children cumulated vsize: 379388 KiB
Current children cumulated memory: 335192 KiB

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

# cumulated CPU time of all completed processes:  user=898.315 s, system=0.144522 s

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

[startup+883.2 s]
/proc/loadavg: 4.16 4.13 4.10 5/265 344447
/proc/meminfo: memFree=126365872/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=360796 memory=331336 CPUtime=880.95 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 78456 0 0 0 88082 13 0 0 20 0 1 0 63139098 369455104 82834 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 90199 82834 2922 2726 0 86947 0
Current children cumulated CPU time: 880.95 s
Current children cumulated vsize: 379388 KiB
Current children cumulated memory: 335192 KiB

[startup+889.6 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 344449
/proc/meminfo: memFree=126365236/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=360796 memory=331336 CPUtime=887.34 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 78456 0 0 0 88721 13 0 0 20 0 1 0 63139098 369455104 82834 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 90199 82834 2922 2726 0 86947 0
Current children cumulated CPU time: 887.34 s
Current children cumulated vsize: 379388 KiB
Current children cumulated memory: 335192 KiB

[startup+896 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 344449
/proc/meminfo: memFree=126364872/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=360796 memory=331336 CPUtime=893.73 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 78456 0 0 0 89360 13 0 0 20 0 1 0 63139098 369455104 82834 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 90199 82834 2922 2726 0 86947 0
Current children cumulated CPU time: 893.73 s
Current children cumulated vsize: 379388 KiB
Current children cumulated memory: 335192 KiB

[startup+899.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 344450
/proc/meminfo: memFree=126364852/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=360796 memory=331336 CPUtime=896.91 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 78456 0 0 0 89678 13 0 0 20 0 1 0 63139098 369455104 82834 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 90199 82834 2922 2726 0 86947 0
Current children cumulated CPU time: 896.91 s
Current children cumulated vsize: 379388 KiB
Current children cumulated memory: 335192 KiB

[startup+900 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 344450
/proc/meminfo: memFree=126379224/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=333660 memory=316736 CPUtime=897.71 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 80819 0 0 0 89758 13 0 0 20 0 1 0 63139098 341667840 79184 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 83415 79184 3063 2726 0 80163 0
Current children cumulated CPU time: 897.71 s
Current children cumulated vsize: 352252 KiB
Current children cumulated memory: 320592 KiB

[startup+900.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 344450
/proc/meminfo: memFree=126379224/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=333660 memory=316736 CPUtime=898.1 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 80819 0 0 0 89797 13 0 0 20 0 1 0 63139098 341667840 79184 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 83415 79184 3063 2726 0 80163 0
Current children cumulated CPU time: 898.1 s
Current children cumulated vsize: 352252 KiB
Current children cumulated memory: 320592 KiB

[startup+900.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 344450
/proc/meminfo: memFree=126379224/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=333660 memory=316736 CPUtime=898.3 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 80819 0 0 0 89817 13 0 0 20 0 1 0 63139098 341667840 79184 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 83415 79184 3063 2726 0 80163 0
Current children cumulated CPU time: 898.3 s
Current children cumulated vsize: 352252 KiB
Current children cumulated memory: 320592 KiB

[startup+900.7 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 344450
/proc/meminfo: memFree=126379224/131524600 swapFree=131071996/131071996
[pid=343700] ppid=343697 vsize=9932 memory=2804 CPUtime=0 cores=4,6
/proc/343700/stat : 343700 (Hybrid-CASHWMax) S 343697 343700 340127 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 63139097 10170368 701 134679101440 94615591219200 94615592298520 140730709673264 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94615594396976 94615594444164 94615605792768 140730709681102 140730709681261 140730709681261 140730709688276 0
/proc/343700/statm: 2483 701 608 264 0 134 0
[pid=343703] ppid=343700 vsize=8660 memory=1052 CPUtime=0 cores=4,6
/proc/343703/stat : 343703 (timeout) S 343700 343703 340127 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 63139098 8867840 263 134679101440 94027511853056 94027511888072 140731158622176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94027513985488 94027513987620 94027531661312 140731158631422 140731158631581 140731158631581 140731158638567 0
/proc/343703/statm: 2165 263 238 9 0 87 0
[pid=343704] ppid=343703 vsize=333660 memory=316736 CPUtime=898.4 cores=4,6
/proc/343704/stat : 343704 (CASHWMaxSAT-Dis) R 343703 343703 340127 0 -1 4194304 80819 0 0 0 89827 13 0 0 20 0 1 0 63139098 341667840 79184 134679101440 4194304 15356333 140725595100704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50302976 140725595108355 140725595108501 140725595108501 140725595115487 0
/proc/343704/statm: 83415 79184 3063 2726 0 80163 0
Current children cumulated CPU time: 898.4 s
Current children cumulated vsize: 352252 KiB
Current children cumulated memory: 320592 KiB

Child status: 0

Real time (s): 900.747
CPU time (s): 898.46
CPU user time (s): 898.315
CPU system time (s): 0.144522
CPU usage (%): 99.7461
Max. virtual memory (cumulated for all children) (KiB): 388500
Max. memory (cumulated for all children) (KiB): 344868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 898.315
system time used= 0.144522
maximum resident set size= 341012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81514
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= 51
involuntary context switches= 270


# summary of solver processes directly reported to runsolver:
#   pid: 343700
#   total CPU time (s): 898.46
#   total CPU user time (s): 898.315
#   total CPU system time (s): 0.144522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.9329 second user time and 4.54561 second system time

The end