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

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


[startup+0.100091 s]*
/proc/loadavg: 3.81 2.21 1.88 5/270 343703
/proc/meminfo: memFree=126605252/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=43240 memory=34300 CPUtime=0.1 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 6431 0 0 0 9 1 0 0 20 0 1 0 62694387 44277760 8575 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 10810 8575 2746 2726 0 7558 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61832 KiB
Current children cumulated memory: 38036 KiB

[startup+0.205914 s]*
/proc/loadavg: 3.81 2.21 1.88 5/270 343703
/proc/meminfo: memFree=126604384/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=44060 memory=35088 CPUtime=0.2 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 6625 0 0 0 19 1 0 0 20 0 1 0 62694387 45117440 8772 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 11015 8772 2746 2726 0 7763 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62652 KiB
Current children cumulated memory: 38824 KiB

[startup+0.305537 s]*
/proc/loadavg: 3.81 2.21 1.88 5/270 343703
/proc/meminfo: memFree=126603908/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=44404 memory=35676 CPUtime=0.3 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 6720 0 0 0 29 1 0 0 20 0 1 0 62694387 45469696 8919 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 11101 8919 2762 2726 0 7849 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62996 KiB
Current children cumulated memory: 39412 KiB

[startup+0.700295 s]
/proc/loadavg: 3.81 2.21 1.88 6/270 343703
/proc/meminfo: memFree=126600716/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=48644 memory=39336 CPUtime=0.69 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 7688 0 0 0 68 1 0 0 20 0 1 0 62694387 49811456 9834 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 12161 9834 2762 2726 0 8909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67236 KiB
Current children cumulated memory: 43072 KiB

[startup+1.50026 s]
/proc/loadavg: 3.81 2.21 1.88 5/270 343705
/proc/meminfo: memFree=126598188/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=61696 memory=51480 CPUtime=1.48 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 10679 0 0 0 147 1 0 0 20 0 1 0 62694387 63176704 12870 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 15424 12870 2762 2726 0 12172 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80288 KiB
Current children cumulated memory: 55216 KiB

[startup+3.10575 s]
/proc/loadavg: 3.82 2.24 1.89 5/270 343705
/proc/meminfo: memFree=126581004/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=73484 memory=62568 CPUtime=3.09 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 13473 0 0 0 307 2 0 0 20 0 1 0 62694387 75247616 15642 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 18371 15642 2762 2726 0 15119 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 92076 KiB
Current children cumulated memory: 66304 KiB

[startup+6.30027 s]
/proc/loadavg: 3.82 2.24 1.89 5/270 343705
/proc/meminfo: memFree=126552524/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=105500 memory=91344 CPUtime=6.27 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 20663 0 0 0 624 3 0 0 20 0 1 0 62694387 108032000 22836 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 26375 22836 2762 2726 0 23123 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124092 KiB
Current children cumulated memory: 95080 KiB

[startup+12.7002 s]
/proc/loadavg: 3.85 2.29 1.92 5/270 343706
/proc/meminfo: memFree=126537996/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=111472 memory=96020 CPUtime=12.65 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 22972 0 0 0 1262 3 0 0 20 0 1 0 62694387 114147328 24005 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 27868 24005 2762 2726 0 24616 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 130064 KiB
Current children cumulated memory: 99756 KiB

[startup+25.5003 s]
/proc/loadavg: 3.87 2.35 1.94 5/270 343708
/proc/meminfo: memFree=126514748/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=128056 memory=113440 CPUtime=25.42 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 27298 0 0 0 2538 4 0 0 20 0 1 0 62694387 131129344 28360 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 32014 28360 2762 2726 0 28762 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 146648 KiB
Current children cumulated memory: 117176 KiB

[startup+51.1058 s]
/proc/loadavg: 3.98 2.50 2.00 5/270 343712
/proc/meminfo: memFree=126356664/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=343702] ppid=343699 vsize=8660 memory=1020 CPUtime=0 cores=4,6
/proc/343702/stat : 343702 (timeout) S 343699 343702 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62694387 8867840 255 134679101440 94494984683520 94494984718536 140731921588272 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94494986815952 94494986818084 94495000670208 140731921593342 140731921593501 140731921593501 140731921600487 0
/proc/343702/statm: 2165 255 230 9 0 87 0
[pid=343703] ppid=343702 vsize=205160 memory=185240 CPUtime=50.97 cores=4,6
/proc/343703/stat : 343703 (CASHWMaxSAT-Dis) R 343702 343702 342211 0 -1 4194304 46250 0 0 0 5089 8 0 0 20 0 1 0 62694387 210083840 46310 134679101440 4194304 15356333 140733370200256 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 43175936 140733370209283 140733370209429 140733370209429 140733370216415 0
/proc/343703/statm: 51290 46310 2778 2726 0 48038 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 223752 KiB
Current children cumulated memory: 188976 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 2.79 2.13 5/270 343722
/proc/meminfo: memFree=126262652/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=0 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 246 102 0 0 0 0 0 0 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0

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

/proc/344659/statm: 52809 47919 820 745 0 51874 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 229828 KiB
Current children cumulated memory: 195372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.13 4.09 5/266 345539
/proc/meminfo: memFree=125384404/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=211556 memory=192036 CPUtime=1660.11 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 28674 0 0 0 165998 13 0 0 20 0 1 0 62874187 216633344 48009 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 52889 48009 820 745 0 51954 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 230148 KiB
Current children cumulated memory: 195732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 345672
/proc/meminfo: memFree=125772144/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=212516 memory=192936 CPUtime=1719.97 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 29000 0 0 0 171984 13 0 0 20 0 1 0 62874187 217616384 48234 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 53129 48234 820 745 0 52194 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 231108 KiB
Current children cumulated memory: 196632 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 345927
/proc/meminfo: memFree=124663852/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=213412 memory=193704 CPUtime=1779.83 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 29288 0 0 0 177970 13 0 0 20 0 1 0 62874187 218533888 48426 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 53353 48426 820 745 0 52418 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 232004 KiB
Current children cumulated memory: 197400 KiB

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

# cumulated CPU time of all completed processes:  user=3585.82 s, system=1.08618 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.14 4.10 5/264 345927
/proc/meminfo: memFree=124662396/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=213412 memory=193704 CPUtime=1781.54 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 29288 0 0 0 178141 13 0 0 20 0 1 0 62874187 218533888 48426 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 53353 48426 820 745 0 52418 0
Current children cumulated CPU time: 3574.88 s
Current children cumulated vsize: 232004 KiB
Current children cumulated memory: 197400 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 345927
/proc/meminfo: memFree=124582204/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=213412 memory=193704 CPUtime=1787.92 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 29288 0 0 0 178779 13 0 0 20 0 1 0 62874187 218533888 48426 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 53353 48426 820 745 0 52418 0
Current children cumulated CPU time: 3581.26 s
Current children cumulated vsize: 232004 KiB
Current children cumulated memory: 197400 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 345929
/proc/meminfo: memFree=124520916/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=213412 memory=193704 CPUtime=1791.11 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 29288 0 0 0 179098 13 0 0 20 0 1 0 62874187 218533888 48426 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 53353 48426 820 745 0 52418 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 232004 KiB
Current children cumulated memory: 197400 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 345929
/proc/meminfo: memFree=124502940/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=213412 memory=193704 CPUtime=1792.71 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 29291 0 0 0 179258 13 0 0 20 0 1 0 62874187 218533888 48426 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 53353 48426 820 745 0 52418 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 232004 KiB
Current children cumulated memory: 197400 KiB

[startup+3595.6 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 345929
/proc/meminfo: memFree=124502940/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=213412 memory=193704 CPUtime=1793.11 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 29291 0 0 0 179298 13 0 0 20 0 1 0 62874187 218533888 48426 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 53353 48426 820 745 0 52418 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 232004 KiB
Current children cumulated memory: 197400 KiB

[startup+3596 s]*
/proc/loadavg: 4.16 4.13 4.09 5/264 345929
/proc/meminfo: memFree=124487864/131524600 swapFree=131071216/131071996
[pid=343699] ppid=343696 vsize=9932 memory=2716 CPUtime=1793.34 cores=4,6
/proc/343699/stat : 343699 (Hybrid-CASHWMax) S 343696 343699 342211 0 -1 4194304 277 114137 0 0 0 0 179241 93 20 0 1 0 62694387 10170368 679 134679101440 94167150833664 94167151912984 140735555941280 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94167154011440 94167154058628 94167179960320 140735555945422 140735555945581 140735555945581 140735555952596 0
/proc/343699/statm: 2483 679 586 264 0 134 0
[pid=344658] ppid=343699 vsize=8660 memory=980 CPUtime=0 cores=4,6
/proc/344658/stat : 344658 (timeout) S 343699 344658 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62874187 8867840 245 134679101440 94427159191552 94427159226568 140723395135888 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94427161323984 94427161326116 94427168555008 140723395142644 140723395142813 140723395142813 140723395149799 0
/proc/344658/statm: 2165 245 221 9 0 87 0
[pid=344659] ppid=344658 vsize=213412 memory=193704 CPUtime=1793.51 cores=4,6
/proc/344659/stat : 344659 (Exact) R 344658 344658 342211 0 -1 4194304 29291 0 0 0 179338 13 0 0 20 0 1 0 62874187 218533888 48426 134679101440 4194304 7243121 140732154071104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 32079872 140732154078224 140732154078374 140732154078374 140732154085360 0
/proc/344659/statm: 53353 48426 820 745 0 52418 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 232004 KiB
Current children cumulated memory: 197400 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.91
CPU user time (s): 3585.82
CPU system time (s): 1.08618
CPU usage (%): 99.7464
Max. virtual memory (cumulated for all children) (KiB): 467408
Max. memory (cumulated for all children) (KiB): 444096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.82
system time used= 1.08618
maximum resident set size= 440360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 175
involuntary context switches= 2143


# summary of solver processes directly reported to runsolver:
#   pid: 343699
#   total CPU time (s): 3586.91
#   total CPU user time (s): 3585.82
#   total CPU system time (s): 1.08618

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97093 second user time and 17.5736 second system time

The end