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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436676-1722951833/watcher-4436676-1722951833 -o /tmp/evaluation-result-4436676-1722951833/solver-4436676-1722951833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722948202-337304 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436676-1722951833.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=339754, runsolver pid=339751
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 4.37 4.37 4.15 5/267 339758
/proc/meminfo: memFree=128060304/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=21312 memory=7436 CPUtime=0.1 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 1164 0 0 0 10 0 0 0 20 0 1 0 61787646 21823488 1859 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11052 KiB

[startup+0.205602 s]*
/proc/loadavg: 4.37 4.37 4.15 5/267 339758
/proc/meminfo: memFree=128057916/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=21312 memory=7436 CPUtime=0.2 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 1178 0 0 0 20 0 0 0 20 0 1 0 61787646 21823488 1859 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11052 KiB

[startup+0.305762 s]*
/proc/loadavg: 4.37 4.37 4.15 5/267 339758
/proc/meminfo: memFree=128052172/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=25436 memory=11392 CPUtime=0.3 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 2190 0 0 0 30 0 0 0 20 0 1 0 61787646 26046464 2848 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 6359 2848 782 2417 0 3461 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44028 KiB
Current children cumulated memory: 15008 KiB

[startup+0.700214 s]
/proc/loadavg: 4.37 4.37 4.15 5/267 339758
/proc/meminfo: memFree=128045504/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=35724 memory=20956 CPUtime=0.69 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 4585 0 0 0 69 0 0 0 20 0 1 0 61787646 36581376 5239 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 8931 5239 798 2417 0 6033 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54316 KiB
Current children cumulated memory: 24572 KiB

[startup+1.50022 s]
/proc/loadavg: 4.37 4.37 4.15 6/267 339758
/proc/meminfo: memFree=128030968/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=45068 memory=30824 CPUtime=1.48 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 6026 0 0 0 148 0 0 0 20 0 1 0 61787646 46149632 7706 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 11267 7706 798 2417 0 8369 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63660 KiB
Current children cumulated memory: 34440 KiB

[startup+3.10482 s]
/proc/loadavg: 4.34 4.37 4.15 6/267 339758
/proc/meminfo: memFree=127993296/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=49424 memory=35228 CPUtime=3.08 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 6580 0 0 0 308 0 0 0 20 0 1 0 61787646 50610176 8807 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 12356 8807 798 2417 0 9458 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68016 KiB
Current children cumulated memory: 38844 KiB

[startup+6.30023 s]
/proc/loadavg: 4.34 4.37 4.15 6/267 339758
/proc/meminfo: memFree=127956760/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=52144 memory=36688 CPUtime=6.27 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 7524 0 0 0 626 1 0 0 20 0 1 0 61787646 53395456 9172 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 13036 9172 798 2417 0 10138 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70736 KiB
Current children cumulated memory: 40304 KiB

[startup+12.7002 s]
/proc/loadavg: 4.31 4.36 4.14 6/267 339759
/proc/meminfo: memFree=127884376/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=52144 memory=37184 CPUtime=12.65 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 7648 0 0 0 1264 1 0 0 20 0 1 0 61787646 53395456 9296 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 13036 9296 798 2417 0 10138 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 70736 KiB
Current children cumulated memory: 40800 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.36 4.15 6/267 339761
/proc/meminfo: memFree=127730940/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=52836 memory=38380 CPUtime=25.4 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 9274 0 0 0 2539 1 0 0 20 0 1 0 61787646 54104064 9595 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 13209 9595 798 2417 0 10311 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 71428 KiB
Current children cumulated memory: 41996 KiB

[startup+51.1048 s]
/proc/loadavg: 4.29 4.34 4.15 6/267 339766
/proc/meminfo: memFree=127428996/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 653 574 264 0 134 0
[pid=339757] ppid=339754 vsize=8660 memory=1004 CPUtime=0 cores=0,2
/proc/339757/stat : 339757 (timeout) S 339754 339757 337292 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61787645 8867840 251 134679101440 94699047690240 94699047725256 140722223869440 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94699049822672 94699049824804 94699056918528 140722223871001 140722223871133 140722223871133 140722223878119 0
/proc/339757/statm: 2165 251 227 9 0 87 0
[pid=339758] ppid=339757 vsize=67244 memory=48500 CPUtime=50.93 cores=0,2
/proc/339758/stat : 339758 (CASHWMaxSAT-Dis) R 339757 339757 337292 0 -1 4194304 10723 0 0 0 5091 2 0 0 20 0 1 0 61787646 68857856 12125 134679101440 4194304 14093885 140735151063504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48861184 140735151072287 140735151072406 140735151072406 140735151079392 0
/proc/339758/statm: 16811 12125 798 2417 0 13913 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 85836 KiB
Current children cumulated memory: 52116 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.30 4.14 6/265 339776
/proc/meminfo: memFree=126923576/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 234 105 0 0 0 0 0 0 20 0 1 0 61787645 10170368 653 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0

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

/proc/340732/statm: 78907 71631 2833 2753 0 75560 0
Current children cumulated CPU time: 3391.53 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 290260 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 341664
/proc/meminfo: memFree=120104140/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=286524 CPUtime=1659.35 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98573 0 0 0 161901 4034 0 0 20 0 1 0 61967446 323203072 71631 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 71631 2833 2753 0 75560 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 290260 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 341674
/proc/meminfo: memFree=120103504/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=286524 CPUtime=1719.22 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98573 0 0 0 167586 4336 0 0 20 0 1 0 61967446 323203072 71631 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 71631 2833 2753 0 75560 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 290260 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 341815
/proc/meminfo: memFree=127538744/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=288440 CPUtime=1779.09 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98574 0 0 0 173271 4638 0 0 20 0 1 0 61967446 323203072 72110 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 72110 2833 2753 0 75560 0
Current children cumulated CPU time: 3571.14 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 292176 KiB

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

# cumulated CPU time of all completed processes:  user=3537.68 s, system=47.1927 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/266 341815
/proc/meminfo: memFree=127543200/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=288440 CPUtime=1780.79 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98574 0 0 0 173434 4645 0 0 20 0 1 0 61967446 323203072 72110 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 72110 2833 2753 0 75560 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 292176 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 341817
/proc/meminfo: memFree=127504156/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=291072 CPUtime=1787.18 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98574 0 0 0 174042 4676 0 0 20 0 1 0 61967446 323203072 72768 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 72768 2833 2753 0 75560 0
Current children cumulated CPU time: 3579.23 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 294808 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 341817
/proc/meminfo: memFree=127412428/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=291072 CPUtime=1790.37 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98575 0 0 0 174344 4693 0 0 20 0 1 0 61967446 323203072 72768 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 72768 2833 2753 0 75560 0
Current children cumulated CPU time: 3582.42 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 294808 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 341817
/proc/meminfo: memFree=127363756/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=291072 CPUtime=1791.97 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98575 0 0 0 174494 4703 0 0 20 0 1 0 61967446 323203072 72768 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 72768 2833 2753 0 75560 0
Current children cumulated CPU time: 3584.02 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 294808 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 341817
/proc/meminfo: memFree=127363756/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=291072 CPUtime=1792.37 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98575 0 0 0 174531 4706 0 0 20 0 1 0 61967446 323203072 72768 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 72768 2833 2753 0 75560 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 294808 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.12 4.09 5/266 341817
/proc/meminfo: memFree=127359684/131524600 swapFree=131071996/131071996
[pid=339754] ppid=339751 vsize=9932 memory=2720 CPUtime=1792.05 cores=0,2
/proc/339754/stat : 339754 (Hybrid-LSMabSP+) S 339751 339754 337292 0 -1 4194304 263 15775 0 0 0 0 179197 8 20 0 1 0 61787645 10170368 680 134679101440 94901325586432 94901326665752 140736197132496 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94901328764208 94901328811396 94901341769728 140736197137358 140736197137517 140736197137517 140736197144532 0
/proc/339754/statm: 2483 680 590 264 0 134 0
[pid=340731] ppid=339754 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/340731/stat : 340731 (timeout) S 339754 340731 337292 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61967446 8867840 254 134679101440 94307034234880 94307034269896 140721126633632 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94307036367312 94307036369444 94307046600704 140721126642729 140721126642845 140721126642845 140721126649831 0
/proc/340731/statm: 2165 254 229 9 0 87 0
[pid=340732] ppid=340731 vsize=315628 memory=291072 CPUtime=1792.77 cores=0,2
/proc/340732/stat : 340732 (LS-MabSP) R 340731 340731 337292 0 -1 4194304 98575 0 0 0 174568 4709 0 0 20 0 1 0 61967446 323203072 72768 134679101440 4194304 15467897 140725828290576 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 46243840 140725828297788 140725828297891 140725828297891 140725828304877 0
/proc/340732/statm: 78907 72768 2833 2753 0 75560 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 334220 KiB
Current children cumulated memory: 294808 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3584.88
CPU user time (s): 3537.68
CPU system time (s): 47.1927
CPU usage (%): 99.6897
Max. virtual memory (cumulated for all children) (KiB): 425776
Max. memory (cumulated for all children) (KiB): 378680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.68
system time used= 47.1927
maximum resident set size= 374944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121
involuntary context switches= 25071


# summary of solver processes directly reported to runsolver:
#   pid: 339754
#   total CPU time (s): 3584.88
#   total CPU user time (s): 3537.68
#   total CPU system time (s): 47.1927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44306 second user time and 17.1743 second system time

The end