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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=355034, runsolver pid=355031

[startup+0.100199 s]*
/proc/loadavg: 1.25 1.88 2.32 5/266 355038
/proc/meminfo: memFree=126211460/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=45492 memory=36128 CPUtime=0.09 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 6963 0 0 0 8 1 0 0 20 0 1 0 65054940 46583808 9032 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 11373 9032 2350 2417 0 8475 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64084 KiB
Current children cumulated memory: 39792 KiB

[startup+0.206092 s]*
/proc/loadavg: 1.25 1.88 2.32 5/266 355038
/proc/meminfo: memFree=126169908/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=62636 memory=52788 CPUtime=0.2 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 11083 0 0 0 18 2 0 0 20 0 1 0 65054940 64139264 13197 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 15659 13197 2446 2417 0 12761 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81228 KiB
Current children cumulated memory: 56452 KiB

[startup+0.305983 s]*
/proc/loadavg: 1.25 1.88 2.32 5/266 355038
/proc/meminfo: memFree=126135440/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=80192 memory=69052 CPUtime=0.29 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 15123 0 0 0 27 2 0 0 20 0 1 0 65054940 82116608 17263 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 20048 17263 2510 2417 0 17150 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98784 KiB
Current children cumulated memory: 72716 KiB

[startup+0.700313 s]
/proc/loadavg: 1.25 1.88 2.32 5/266 355038
/proc/meminfo: memFree=126098456/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=97220 memory=85684 CPUtime=0.68 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 19266 0 0 0 65 3 0 0 20 0 1 0 65054940 99553280 21421 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 24305 21421 2510 2417 0 21407 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115812 KiB
Current children cumulated memory: 89348 KiB

[startup+1.50031 s]
/proc/loadavg: 1.47 1.92 2.33 5/266 355038
/proc/meminfo: memFree=126010508/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=118304 memory=106016 CPUtime=1.48 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 24324 0 0 0 145 3 0 0 20 0 1 0 65054940 121143296 26504 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 29576 26504 2526 2417 0 26678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136896 KiB
Current children cumulated memory: 109680 KiB

[startup+3.10606 s]
/proc/loadavg: 1.47 1.92 2.33 5/266 355038
/proc/meminfo: memFree=125951808/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=118304 memory=108648 CPUtime=3.08 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 24961 0 0 0 305 3 0 0 20 0 1 0 65054940 121143296 27162 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 29576 27162 2526 2417 0 26678 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136896 KiB
Current children cumulated memory: 112312 KiB

[startup+6.30022 s]
/proc/loadavg: 1.67 1.95 2.34 5/259 355129
/proc/meminfo: memFree=125984524/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=130988 memory=119732 CPUtime=6.27 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 27741 0 0 0 623 4 0 0 20 0 1 0 65054940 134131712 29933 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 32747 29933 2526 2417 0 29849 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149580 KiB
Current children cumulated memory: 123396 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 1.99 2.35 5/266 355142
/proc/meminfo: memFree=125158612/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=139668 memory=124740 CPUtime=12.65 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 28992 0 0 0 1261 4 0 0 20 0 1 0 65054940 143020032 31185 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 34917 31185 2526 2417 0 32019 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158260 KiB
Current children cumulated memory: 128404 KiB

[startup+25.5003 s]
/proc/loadavg: 2.19 2.05 2.37 5/266 355145
/proc/meminfo: memFree=125094944/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=139668 memory=124740 CPUtime=25.41 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 28998 0 0 0 2537 4 0 0 20 0 1 0 65054940 143020032 31185 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 34917 31185 2526 2417 0 32019 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 158260 KiB
Current children cumulated memory: 128404 KiB

[startup+51.1061 s]
/proc/loadavg: 3.04 2.27 2.43 5/269 355204
/proc/meminfo: memFree=124683968/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 687 611 264 0 134 0
[pid=355037] ppid=355034 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/355037/stat : 355037 (timeout) S 355034 355037 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65054940 8867840 229 134679101440 94183135031296 94183135066312 140728400531360 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94183137163728 94183137165860 94183163936768 140728400540684 140728400540829 140728400540829 140728400547815 0
/proc/355037/statm: 2165 229 204 9 0 87 0
[pid=355038] ppid=355037 vsize=154876 memory=138264 CPUtime=50.94 cores=5,7
/proc/355038/stat : 355038 (CASHWMaxSAT-Dis) R 355037 355037 354848 0 -1 4194304 32411 0 0 0 5090 4 0 0 20 0 1 0 65054940 158593024 34566 134679101440 4194304 14093885 140734060341360 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 48078848 140734060344338 140734060344470 140734060344470 140734060351456 0
/proc/355038/statm: 38719 34566 2542 2417 0 35821 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 173468 KiB
Current children cumulated memory: 141928 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 2.56 2.52 5/269 355214
/proc/meminfo: memFree=124581396/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2748 CPUtime=0 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 65054940 10170368 687 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0

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

/proc/356092/statm: 74751 72211 748 737 0 73839 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 317596 KiB
Current children cumulated memory: 292672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.11 5/262 357007
/proc/meminfo: memFree=116459068/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299388 memory=289028 CPUtime=1660.35 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34441 0 0 0 166024 11 0 0 20 0 1 0 65234741 306573312 72257 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74847 72257 748 737 0 73935 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 317980 KiB
Current children cumulated memory: 292856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.15 4.09 5/262 357019
/proc/meminfo: memFree=116436812/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299388 memory=289248 CPUtime=1720.21 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34561 0 0 0 172010 11 0 0 20 0 1 0 65234741 306573312 72312 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74847 72312 748 737 0 73935 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 317980 KiB
Current children cumulated memory: 293076 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/262 357029
/proc/meminfo: memFree=116409536/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299612 memory=289472 CPUtime=1780.07 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34734 0 0 0 177996 11 0 0 20 0 1 0 65234741 306802688 72368 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74903 72368 748 737 0 73991 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 318204 KiB
Current children cumulated memory: 293300 KiB

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

# cumulated CPU time of all completed processes:  user=3585.45 s, system=0.874886 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.10 5/262 357030
/proc/meminfo: memFree=116407372/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299612 memory=289472 CPUtime=1781.77 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34734 0 0 0 178166 11 0 0 20 0 1 0 65234741 306802688 72368 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74903 72368 748 737 0 73991 0
Current children cumulated CPU time: 3574.3 s
Current children cumulated vsize: 318204 KiB
Current children cumulated memory: 293300 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.15 4.09 5/262 357031
/proc/meminfo: memFree=116407492/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299612 memory=289472 CPUtime=1788.15 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34787 0 0 0 178804 11 0 0 20 0 1 0 65234741 306802688 72368 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74903 72368 748 737 0 73991 0
Current children cumulated CPU time: 3580.68 s
Current children cumulated vsize: 318204 KiB
Current children cumulated memory: 293300 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.14 4.09 5/262 357031
/proc/meminfo: memFree=116405408/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299612 memory=289472 CPUtime=1791.35 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34789 0 0 0 179124 11 0 0 20 0 1 0 65234741 306802688 72368 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74903 72368 748 737 0 73991 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 318204 KiB
Current children cumulated memory: 293300 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/262 357033
/proc/meminfo: memFree=116405032/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299612 memory=289472 CPUtime=1792.94 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34789 0 0 0 179283 11 0 0 20 0 1 0 65234741 306802688 72368 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74903 72368 748 737 0 73991 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 318204 KiB
Current children cumulated memory: 293300 KiB

[startup+3595.6 s]
/proc/loadavg: 4.11 4.14 4.09 5/262 357033
/proc/meminfo: memFree=116405032/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299612 memory=289472 CPUtime=1793.34 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34789 0 0 0 179323 11 0 0 20 0 1 0 65234741 306802688 72368 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74903 72368 748 737 0 73991 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 318204 KiB
Current children cumulated memory: 293300 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.14 4.09 5/262 357033
/proc/meminfo: memFree=116443180/131524600 swapFree=131070704/131071996
[pid=355034] ppid=355031 vsize=9932 memory=2816 CPUtime=1792.53 cores=5,7
/proc/355034/stat : 355034 (Hybrid-CASHWMax) S 355031 355034 354848 0 -1 4194304 276 54853 0 0 0 0 179179 74 20 0 1 0 65054940 10170368 704 134679101440 94365086838784 94365087918104 140730338363104 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94365090016560 94365090063748 94365113319424 140730338366416 140730338366574 140730338366574 140730338373589 0
/proc/355034/statm: 2483 704 611 264 0 134 0
[pid=356091] ppid=355034 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/356091/stat : 356091 (timeout) S 355034 356091 354848 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65234741 8867840 253 134679101440 94908849913856 94908849948872 140734124149600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94908852046288 94908852048420 94908864217088 140734124151796 140734124151965 140734124151965 140734124158951 0
/proc/356091/statm: 2165 253 229 9 0 87 0
[pid=356092] ppid=356091 vsize=299612 memory=289472 CPUtime=1793.75 cores=5,7
/proc/356092/stat : 356092 (Exact) R 356091 356091 354848 0 -1 4194304 34789 0 0 0 179364 11 0 0 20 0 1 0 65234741 306802688 72368 134679101440 4194304 7210733 140721297603264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 27734016 140721297605648 140721297605798 140721297605798 140721297612784 0
/proc/356092/statm: 74903 72368 748 737 0 73991 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 318204 KiB
Current children cumulated memory: 293300 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.33
CPU user time (s): 3585.45
CPU system time (s): 0.874886
CPU usage (%): 99.7302
Max. virtual memory (cumulated for all children) (KiB): 318204
Max. memory (cumulated for all children) (KiB): 293300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.45
system time used= 0.874886
maximum resident set size= 289716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127
involuntary context switches= 2130


# summary of solver processes directly reported to runsolver:
#   pid: 355034
#   total CPU time (s): 3586.33
#   total CPU user time (s): 3585.45
#   total CPU system time (s): 0.874886

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45089 second user time and 19.1535 second system time

The end