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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436731-1722948203/watcher-4436731-1722948203 -o /tmp/evaluation-result-4436731-1722948203/solver-4436731-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722948202-334632 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436731-1722948203.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
solver pid=334690, runsolver pid=334680
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 0.36 0.14 0.11 6/255 334710
/proc/meminfo: memFree=129436828/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=28156 memory=9660 CPUtime=0.08 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 1757 0 0 0 8 0 0 0 20 0 1 0 61417467 28831744 2415 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 7039 2415 750 2417 0 4141 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 46748 KiB
Current children cumulated memory: 13504 KiB

[startup+0.216827 s]*
/proc/loadavg: 0.36 0.14 0.11 8/255 334710
/proc/meminfo: memFree=129410220/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=35416 memory=16956 CPUtime=0.2 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 3570 0 0 0 19 1 0 0 20 0 1 0 61417467 36265984 4239 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 8854 4239 750 2417 0 5956 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54008 KiB
Current children cumulated memory: 20800 KiB

[startup+0.315796 s]*
/proc/loadavg: 0.36 0.14 0.11 8/255 334710
/proc/meminfo: memFree=129382724/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=41548 memory=23028 CPUtime=0.29 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 5116 0 0 0 28 1 0 0 20 0 1 0 61417467 42545152 5757 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 10387 5757 750 2417 0 7489 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 60140 KiB
Current children cumulated memory: 26872 KiB

[startup+0.70049 s]
/proc/loadavg: 0.36 0.14 0.11 8/255 334710
/proc/meminfo: memFree=129307108/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=64840 memory=46184 CPUtime=0.66 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 10903 0 0 0 63 3 0 0 20 0 1 0 61417467 66396160 11546 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 16210 11546 750 2417 0 13312 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 83432 KiB
Current children cumulated memory: 50028 KiB

[startup+1.50053 s]
/proc/loadavg: 0.36 0.14 0.11 6/255 334710
/proc/meminfo: memFree=129266724/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=74660 memory=60184 CPUtime=1.46 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 14710 0 0 0 141 5 0 0 20 0 1 0 61417467 76451840 15046 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 18665 15046 782 2417 0 15767 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 93252 KiB
Current children cumulated memory: 64028 KiB

[startup+3.1147 s]
/proc/loadavg: 0.36 0.14 0.11 6/255 334710
/proc/meminfo: memFree=129250164/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=81120 memory=64472 CPUtime=3.07 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 15713 0 0 0 302 5 0 0 20 0 1 0 61417467 83066880 16118 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 20280 16118 798 2417 0 17382 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 99712 KiB
Current children cumulated memory: 68316 KiB

[startup+6.30044 s]
/proc/loadavg: 0.65 0.21 0.13 6/255 334710
/proc/meminfo: memFree=129236948/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=81428 memory=66296 CPUtime=6.25 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 16469 0 0 0 619 6 0 0 20 0 1 0 61417467 83382272 16574 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 20357 16574 798 2417 0 17459 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 100020 KiB
Current children cumulated memory: 70140 KiB

[startup+12.7005 s]
/proc/loadavg: 0.92 0.27 0.15 6/255 334711
/proc/meminfo: memFree=129108144/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=107332 memory=85760 CPUtime=12.64 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 17946 0 0 0 1257 7 0 0 20 0 1 0 61417467 109907968 21440 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 26833 21440 798 2417 0 23935 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 125924 KiB
Current children cumulated memory: 89604 KiB

[startup+25.5005 s]
/proc/loadavg: 1.60 0.45 0.21 6/255 334713
/proc/meminfo: memFree=128884784/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=107332 memory=90356 CPUtime=25.4 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 18066 0 0 0 2533 7 0 0 20 0 1 0 61417467 109907968 22589 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 26833 22589 798 2417 0 23935 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 125924 KiB
Current children cumulated memory: 94200 KiB

[startup+51.1145 s]
/proc/loadavg: 2.56 0.77 0.32 6/255 334718
/proc/meminfo: memFree=128871168/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 706 631 264 0 134 0
[pid=334704] ppid=334690 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/334704/stat : 334704 (timeout) S 334690 334704 334619 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417466 8867840 255 134679101440 94343611936768 94343611971784 140729008804320 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 1 0 0 94343614069200 94343614071332 94343623454720 140729008808985 140729008809117 140729008809117 140729008816103 0
/proc/334704/statm: 2165 255 230 9 0 87 0
[pid=334710] ppid=334704 vsize=107332 memory=92404 CPUtime=50.95 cores=5,7
/proc/334710/stat : 334710 (CASHWMaxSAT-Dis) R 334704 334704 334619 0 -1 4194304 18089 0 0 0 5088 7 0 0 20 0 1 0 61417467 109907968 23101 134679101440 4194304 14093885 140728819604848 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24891392 140728819610655 140728819610774 140728819610774 140728819617760 0
/proc/334710/statm: 26833 23101 798 2417 0 23935 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 125924 KiB
Current children cumulated memory: 96248 KiB

[startup+102.301 s]
/proc/loadavg: 3.38 1.27 0.52 6/255 334726
/proc/meminfo: memFree=128795664/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2824 CPUtime=0 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 238 107 0 0 0 0 0 0 20 0 1 0 61417465 10170368 706 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0

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

/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1600.63 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 239987 0 0 0 158788 1275 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.07 6/253 336541
/proc/meminfo: memFree=127472764/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2880 CPUtime=1793.36 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 268 27033 0 1 0 0 179319 17 20 0 1 0 61417465 10170368 720 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1660.53 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 240025 0 0 0 164678 1375 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.08 6/253 336551
/proc/meminfo: memFree=127472252/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2880 CPUtime=1793.36 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 268 27033 0 1 0 0 179319 17 20 0 1 0 61417465 10170368 720 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1720.42 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 240063 0 0 0 170565 1477 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3513.78 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.11 4.07 6/253 336562
/proc/meminfo: memFree=127471312/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2880 CPUtime=1793.36 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 268 27033 0 1 0 0 179319 17 20 0 1 0 61417465 10170368 720 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1780.31 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 240101 0 0 0 176449 1582 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3573.67 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

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

# cumulated CPU time of all completed processes:  user=3571.2 s, system=16.2562 s

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

[startup+3584 s]*
/proc/loadavg: 4.05 4.11 4.07 6/253 336562
/proc/meminfo: memFree=127471312/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2880 CPUtime=1793.36 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 268 27033 0 1 0 0 179319 17 20 0 1 0 61417465 10170368 720 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1782.02 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 240101 0 0 0 176617 1585 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3575.38 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

[startup+3590.4 s]
/proc/loadavg: 4.05 4.10 4.07 6/253 336563
/proc/meminfo: memFree=127471232/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2880 CPUtime=1793.36 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 268 27033 0 1 0 0 179319 17 20 0 1 0 61417465 10170368 720 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1788.4 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 240101 0 0 0 177245 1595 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3581.76 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

[startup+3593.6 s]
/proc/loadavg: 4.05 4.10 4.07 6/253 336563
/proc/meminfo: memFree=127471224/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2880 CPUtime=1793.36 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 268 27033 0 1 0 0 179319 17 20 0 1 0 61417465 10170368 720 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1791.59 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 240101 0 0 0 177559 1600 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3584.95 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

[startup+3595.2 s]
/proc/loadavg: 4.04 4.10 4.07 6/253 336563
/proc/meminfo: memFree=127471280/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2880 CPUtime=1793.36 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 268 27033 0 1 0 0 179319 17 20 0 1 0 61417465 10170368 720 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1793.19 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 240101 0 0 0 177716 1603 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

[startup+3596 s]*
/proc/loadavg: 4.04 4.10 4.07 6/253 336563
/proc/meminfo: memFree=127471296/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2880 CPUtime=1793.36 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 268 27033 0 1 0 0 179319 17 20 0 1 0 61417465 10170368 720 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 720 631 264 0 134 0
[pid=335607] ppid=334690 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/335607/stat : 335607 (timeout) S 334690 335607 334619 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61597268 8867840 254 134679101440 94738232180736 94738232215752 140722488680640 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738234313168 94738234315300 94738258264064 140722488685609 140722488685725 140722488685725 140722488692711 0
/proc/335607/statm: 2165 254 229 9 0 87 0
[pid=335609] ppid=335607 vsize=1010828 memory=859132 CPUtime=1794 cores=5,7
/proc/335609/stat : 335609 (LS-MabSP) R 335607 335607 334619 0 -1 4194304 240101 0 0 0 177795 1605 0 0 20 0 1 0 61597268 1035087872 214783 134679101440 4194304 15467897 140735803046224 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 37060608 140735803053116 140735803053219 140735803053219 140735803060205 0
/proc/335609/statm: 252707 214783 3195 2753 0 249360 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 1029420 KiB
Current children cumulated memory: 863028 KiB

[startup+3596.2 s]
/proc/loadavg: 4.04 4.10 4.07 6/253 336563
/proc/meminfo: memFree=127471296/131655788 swapFree=131071996/131071996
[pid=334690] ppid=334680 vsize=9932 memory=2908 CPUtime=3587.43 cores=5,7
/proc/334690/stat : 334690 (Hybrid-LSMabSP+) S 334680 334690 334619 0 -1 4194304 402 269495 0 1 0 0 357119 1624 20 0 1 0 61417465 10170368 727 134679101440 94692772581376 94692773660696 140735940093808 0 0 0 0 4 65536 0 0 0 17 5 0 0 0 0 0 94692775759152 94692775806340 94692802736128 140735940101070 140735940101229 140735940101229 140735940108244 0
/proc/334690/statm: 2483 727 631 264 0 134 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2908 KiB

Child status: 0

Real time (s): 3596.24
CPU time (s): 3587.45
CPU user time (s): 3571.2
CPU system time (s): 16.2562
CPU usage (%): 99.7555
Max. virtual memory (cumulated for all children) (KiB): 1426416
Max. memory (cumulated for all children) (KiB): 1090248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.2
system time used= 16.2562
maximum resident set size= 1086352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270542
page faults= 3
swaps= 0
block input operations= 88
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190
involuntary context switches= 1475


# summary of solver processes directly reported to runsolver:
#   pid: 334690
#   total CPU time (s): 3587.45
#   total CPU user time (s): 3571.2
#   total CPU system time (s): 16.2562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7213 second user time and 39.3138 second system time

The end