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

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


[startup+0.100087 s]*
/proc/loadavg: 0.50 0.20 0.12 7/271 339306
/proc/meminfo: memFree=125552152/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=38580 memory=20152 CPUtime=0.08 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 4372 0 0 0 8 0 0 0 20 0 1 0 61420352 39505920 5038 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 9645 5038 750 2417 0 6747 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 57172 KiB
Current children cumulated memory: 23828 KiB

[startup+0.20662 s]*
/proc/loadavg: 0.50 0.20 0.12 8/271 339306
/proc/meminfo: memFree=125515676/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=58596 memory=40140 CPUtime=0.18 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 9407 0 0 0 17 1 0 0 20 0 1 0 61420352 60002304 10035 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 14649 10035 750 2417 0 11751 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 77188 KiB
Current children cumulated memory: 43816 KiB

[startup+0.305946 s]*
/proc/loadavg: 0.50 0.20 0.12 6/271 339306
/proc/meminfo: memFree=125476248/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=77780 memory=59412 CPUtime=0.28 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 14173 0 0 0 27 1 0 0 20 0 1 0 61420352 79646720 14853 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 19445 14853 750 2417 0 16547 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 63088 KiB

[startup+0.700184 s]
/proc/loadavg: 0.50 0.20 0.12 6/271 339306
/proc/meminfo: memFree=125418224/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=84652 memory=69200 CPUtime=0.67 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 17224 0 0 0 65 2 0 0 20 0 1 0 61420352 86683648 17300 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 21163 17300 782 2417 0 18265 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 103244 KiB
Current children cumulated memory: 72876 KiB

[startup+1.50019 s]
/proc/loadavg: 0.50 0.20 0.12 7/271 339306
/proc/meminfo: memFree=125405576/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=87404 memory=72136 CPUtime=1.47 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 17912 0 0 0 145 2 0 0 20 0 1 0 61420352 89501696 18034 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 21851 18034 798 2417 0 18953 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 105996 KiB
Current children cumulated memory: 75812 KiB

[startup+3.10683 s]
/proc/loadavg: 0.50 0.20 0.12 8/271 339306
/proc/meminfo: memFree=125383236/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=90124 memory=75504 CPUtime=3.07 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 18265 0 0 0 305 2 0 0 20 0 1 0 61420352 92286976 18876 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 22531 18876 798 2417 0 19633 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 108716 KiB
Current children cumulated memory: 79180 KiB

[startup+6.30025 s]
/proc/loadavg: 0.78 0.26 0.14 7/271 339306
/proc/meminfo: memFree=125325268/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=90620 memory=76088 CPUtime=6.25 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 19514 0 0 0 622 3 0 0 20 0 1 0 61420352 92794880 19022 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 22655 19022 798 2417 0 19757 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 109212 KiB
Current children cumulated memory: 79764 KiB

[startup+12.7003 s]
/proc/loadavg: 1.12 0.34 0.17 9/271 339308
/proc/meminfo: memFree=125281692/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=109184 memory=94844 CPUtime=12.63 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 20597 0 0 0 1260 3 0 0 20 0 1 0 61420352 111804416 23711 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 27296 23711 798 2417 0 24398 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 127776 KiB
Current children cumulated memory: 98520 KiB

[startup+25.5003 s]
/proc/loadavg: 1.76 0.52 0.23 8/271 339309
/proc/meminfo: memFree=125297276/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=109184 memory=94844 CPUtime=25.39 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 20618 0 0 0 2536 3 0 0 20 0 1 0 61420352 111804416 23711 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 27296 23711 798 2417 0 24398 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 127776 KiB
Current children cumulated memory: 98520 KiB

[startup+51.1069 s]
/proc/loadavg: 2.59 0.82 0.33 8/271 339314
/proc/meminfo: memFree=125237844/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 659 580 264 0 134 0
[pid=339301] ppid=339291 vsize=8660 memory=1040 CPUtime=0 cores=5,7
/proc/339301/stat : 339301 (timeout) S 339291 339301 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61420351 8867840 260 134679101440 94122634567680 94122634602696 140724436010176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94122636700112 94122636702244 94122659610624 140724436014105 140724436014237 140724436014237 140724436021223 0
/proc/339301/statm: 2165 260 236 9 0 87 0
[pid=339306] ppid=339301 vsize=113604 memory=98868 CPUtime=50.91 cores=5,7
/proc/339306/stat : 339306 (CASHWMaxSAT-Dis) R 339301 339301 339213 0 -1 4194304 21151 0 0 0 5088 3 0 0 20 0 1 0 61420352 116330496 24717 134679101440 4194304 14093885 140724714979776 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 54542336 140724714984479 140724714984598 140724714984598 140724714991584 0
/proc/339306/statm: 28401 24717 798 2417 0 25503 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 132196 KiB
Current children cumulated memory: 102544 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.33 0.54 8/271 339324
/proc/meminfo: memFree=125168476/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2636 CPUtime=0 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 239 105 0 0 0 0 0 0 20 0 1 0 61420350 10170368 659 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0

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

/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

[startup+3462.3 s]
/proc/loadavg: 5.95 4.57 4.18 8/266 341149
/proc/meminfo: memFree=123947632/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1661.04 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229481 0 0 0 164805 1299 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3454.13 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.76 4.48 4.17 8/266 341159
/proc/meminfo: memFree=123946968/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1720.93 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229523 0 0 0 170694 1399 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3514.02 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.38 4.42 4.17 8/265 341169
/proc/meminfo: memFree=123946216/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1780.83 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229565 0 0 0 176584 1499 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3573.92 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

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

# cumulated CPU time of all completed processes:  user=3571.81 s, system=15.876 s

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

[startup+3584 s]*
/proc/loadavg: 4.38 4.42 4.17 8/265 341169
/proc/meminfo: memFree=123946216/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1782.54 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229565 0 0 0 176752 1502 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3575.63 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

[startup+3590.4 s]
/proc/loadavg: 4.35 4.41 4.17 8/265 341171
/proc/meminfo: memFree=123946164/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1788.92 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229586 0 0 0 177381 1511 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3582.01 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

[startup+3593.6 s]
/proc/loadavg: 4.32 4.40 4.17 8/265 341171
/proc/meminfo: memFree=123946100/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1792.12 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229586 0 0 0 177696 1516 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3585.21 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

[startup+3595.2 s]
/proc/loadavg: 4.32 4.40 4.17 8/265 341171
/proc/meminfo: memFree=123946092/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1793.71 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229586 0 0 0 177853 1518 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

[startup+3595.6 s]
/proc/loadavg: 4.32 4.40 4.17 8/265 341171
/proc/meminfo: memFree=123946092/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1794.11 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229586 0 0 0 177892 1519 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

[startup+3596 s]*
/proc/loadavg: 4.29 4.40 4.17 8/265 341171
/proc/meminfo: memFree=123946124/131524600 swapFree=131071996/131071996
[pid=339291] ppid=339278 vsize=9932 memory=2740 CPUtime=1793.09 cores=5,7
/proc/339291/stat : 339291 (Hybrid-LSMabSP+) S 339278 339291 339213 0 -1 4194304 267 44494 0 0 0 0 179243 66 20 0 1 0 61420350 10170368 685 134679101440 93849694568448 93849695647768 140734262695312 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93849697746224 93849697793412 93849723801600 140734262698958 140734262699117 140734262699117 140734262706132 0
/proc/339291/statm: 2483 685 595 264 0 134 0
[pid=340214] ppid=339291 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/340214/stat : 340214 (timeout) S 339291 340214 339213 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61600152 8867840 228 134679101440 94681132445696 94681132480712 140734771878000 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94681134578128 94681134580260 94681158889472 140734771881001 140734771881117 140734771881117 140734771888103 0
/proc/340214/statm: 2165 228 204 9 0 87 0
[pid=340216] ppid=340214 vsize=1407020 memory=1005204 CPUtime=1794.51 cores=5,7
/proc/340216/stat : 340216 (LS-MabSP) R 340214 340214 339213 0 -1 4194304 229586 0 0 0 177932 1519 0 0 20 0 1 0 61600152 1440788480 251301 134679101440 4194304 15467897 140725430238464 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 49881088 140725430244412 140725430244515 140725430244515 140725430251501 0
/proc/340216/statm: 351755 251301 3195 2753 0 348408 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 1425612 KiB
Current children cumulated memory: 1008856 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3587.69
CPU user time (s): 3571.81
CPU system time (s): 15.876
CPU usage (%): 99.7665
Max. virtual memory (cumulated for all children) (KiB): 1753540
Max. memory (cumulated for all children) (KiB): 1307400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.81
system time used= 15.876
maximum resident set size= 1303748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277472
page faults= 1
swaps= 0
block input operations= 384
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186
involuntary context switches= 1963


# summary of solver processes directly reported to runsolver:
#   pid: 339291
#   total CPU time (s): 3587.69
#   total CPU user time (s): 3571.81
#   total CPU system time (s): 15.876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42432 second user time and 21.3161 second system time

The end