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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437079-1722953607/watcher-4437079-1722953607 -o /tmp/evaluation-result-4437079-1722953607/solver-4437079-1722953607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722948202-325126 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437079-1722953607.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=328385, runsolver pid=328382
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328389
/proc/meminfo: memFree=129125508/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=21516 memory=9284 CPUtime=0.09 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 960 0 0 0 9 0 0 0 20 0 1 0 61731301 22032384 2321 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 5379 2321 1105 2753 0 2032 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13056 KiB

[startup+0.20976 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328389
/proc/meminfo: memFree=129124332/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=21516 memory=9284 CPUtime=0.2 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 961 0 0 0 20 0 0 0 20 0 1 0 61731301 22032384 2321 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 5379 2321 1105 2753 0 2032 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13056 KiB

[startup+0.30912 s]*
/proc/loadavg: 4.11 4.11 4.11 5/249 328389
/proc/meminfo: memFree=129121500/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=21516 memory=9284 CPUtime=0.3 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 961 0 0 0 30 0 0 0 20 0 1 0 61731301 22032384 2321 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 5379 2321 1105 2753 0 2032 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 13056 KiB

[startup+0.700437 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328389
/proc/meminfo: memFree=129102820/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=43144 memory=35688 CPUtime=0.68 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 6195 0 0 0 67 1 0 0 20 0 1 0 61731301 44179456 8922 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 10786 8922 2817 2753 0 7439 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61736 KiB
Current children cumulated memory: 39460 KiB

[startup+1.50043 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328389
/proc/meminfo: memFree=129084460/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=47600 memory=39688 CPUtime=1.47 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 7175 0 0 0 146 1 0 0 20 0 1 0 61731301 48742400 9922 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 11900 9922 2833 2753 0 8553 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 66192 KiB
Current children cumulated memory: 43460 KiB

[startup+3.11388 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328389
/proc/meminfo: memFree=129005264/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=58260 memory=49452 CPUtime=3.08 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 9640 0 0 0 307 1 0 0 20 0 1 0 61731301 59658240 12363 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 14565 12363 2833 2753 0 11218 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 76852 KiB
Current children cumulated memory: 53224 KiB

[startup+6.30039 s]
/proc/loadavg: 4.10 4.11 4.11 5/249 328391
/proc/meminfo: memFree=128864024/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=125404 memory=114656 CPUtime=6.26 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 25945 0 0 0 622 4 0 0 20 0 1 0 61731301 128413696 28664 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 31351 28664 2833 2753 0 28004 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 143996 KiB
Current children cumulated memory: 118428 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.11 4.11 5/249 328391
/proc/meminfo: memFree=128771892/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=152068 memory=139412 CPUtime=12.64 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 32584 0 0 0 1260 4 0 0 20 0 1 0 61731301 155717632 34853 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 38017 34853 2833 2753 0 34670 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 170660 KiB
Current children cumulated memory: 143184 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.12 5/249 328394
/proc/meminfo: memFree=128565372/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=162944 memory=149688 CPUtime=25.39 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 35135 0 0 0 2535 4 0 0 20 0 1 0 61731301 166854656 37422 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 40736 37422 2833 2753 0 37389 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 181536 KiB
Current children cumulated memory: 153460 KiB

[startup+51.113 s]
/proc/loadavg: 4.09 4.11 4.11 5/249 328397
/proc/meminfo: memFree=128426008/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 681 602 264 0 134 0
[pid=328388] ppid=328385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/328388/stat : 328388 (timeout) S 328385 328388 325114 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61731301 8867840 262 134679101440 94677962694656 94677962729672 140728067071664 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94677964827088 94677964829220 94677996515328 140728067073069 140728067073185 140728067073185 140728067080167 0
/proc/328388/statm: 2165 262 238 9 0 87 0
[pid=328389] ppid=328388 vsize=225052 memory=208160 CPUtime=50.93 cores=0,2
/proc/328389/stat : 328389 (LS-MabSP) R 328388 328388 325114 0 -1 4194304 50089 0 0 0 5086 7 0 0 20 0 1 0 61731301 230453248 52040 134679101440 4194304 15467897 140721655361376 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25133056 140721655362624 140721655362727 140721655362727 140721655369709 0
/proc/328389/statm: 56263 52040 2833 2753 0 52916 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 243644 KiB
Current children cumulated memory: 211932 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/249 328406
/proc/meminfo: memFree=128324392/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 61731300 10170368 681 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0

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

/proc/329403/statm: 50579 48457 748 737 0 49667 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 220908 KiB
Current children cumulated memory: 197544 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/248 330274
/proc/meminfo: memFree=128156464/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=204012 memory=195076 CPUtime=1658.72 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 27407 0 0 0 165860 12 0 0 20 0 1 0 61911102 208908288 48769 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51003 48769 748 737 0 50091 0
Current children cumulated CPU time: 3451.27 s
Current children cumulated vsize: 222604 KiB
Current children cumulated memory: 198792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/248 330284
/proc/meminfo: memFree=128153840/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=204716 memory=195812 CPUtime=1718.53 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 27664 0 0 0 171841 12 0 0 20 0 1 0 61911102 209629184 48953 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51179 48953 748 737 0 50267 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 223308 KiB
Current children cumulated memory: 199528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.11 4.16 5/248 330296
/proc/meminfo: memFree=128152380/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=205100 memory=196432 CPUtime=1778.33 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 27827 0 0 0 177821 12 0 0 20 0 1 0 61911102 210022400 49108 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51275 49108 748 737 0 50363 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 223692 KiB
Current children cumulated memory: 200148 KiB

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

# cumulated CPU time of all completed processes:  user=3537.09 s, system=47.5288 s

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

[startup+3584 s]*
/proc/loadavg: 4.04 4.11 4.16 5/248 330296
/proc/meminfo: memFree=128152280/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=205100 memory=196432 CPUtime=1780.04 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 27828 0 0 0 177992 12 0 0 20 0 1 0 61911102 210022400 49108 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51275 49108 748 737 0 50363 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 223692 KiB
Current children cumulated memory: 200148 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128152112/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=205100 memory=196432 CPUtime=1786.41 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 27832 0 0 0 178629 12 0 0 20 0 1 0 61911102 210022400 49108 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51275 49108 748 737 0 50363 0
Current children cumulated CPU time: 3578.96 s
Current children cumulated vsize: 223692 KiB
Current children cumulated memory: 200148 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.13 4.16 5/248 330298
/proc/meminfo: memFree=128151132/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=206444 memory=197360 CPUtime=1789.6 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 28119 0 0 0 178948 12 0 0 20 0 1 0 61911102 211398656 49340 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51611 49340 748 737 0 50699 0
Current children cumulated CPU time: 3582.15 s
Current children cumulated vsize: 225036 KiB
Current children cumulated memory: 201076 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.13 4.16 5/249 330445
/proc/meminfo: memFree=129135388/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=206444 memory=197360 CPUtime=1791.19 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 28119 0 0 0 179107 12 0 0 20 0 1 0 61911102 211398656 49340 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51611 49340 748 737 0 50699 0
Current children cumulated CPU time: 3583.74 s
Current children cumulated vsize: 225036 KiB
Current children cumulated memory: 201076 KiB

[startup+3595.6 s]
/proc/loadavg: 4.11 4.13 4.16 5/249 330445
/proc/meminfo: memFree=129135388/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=206444 memory=197360 CPUtime=1791.59 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 28119 0 0 0 179147 12 0 0 20 0 1 0 61911102 211398656 49340 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51611 49340 748 737 0 50699 0
Current children cumulated CPU time: 3584.14 s
Current children cumulated vsize: 225036 KiB
Current children cumulated memory: 201076 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.13 4.16 5/249 330445
/proc/meminfo: memFree=129099364/131655788 swapFree=131071216/131071996
[pid=328385] ppid=328382 vsize=9932 memory=2768 CPUtime=1792.55 cores=0,2
/proc/328385/stat : 328385 (Hybrid-LSMabSP+) S 328382 328385 325114 0 -1 4194304 271 98837 0 0 0 0 174517 4738 20 0 1 0 61731300 10170368 692 134679101440 94388286246912 94388287326232 140731989291472 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94388289424688 94388289471876 94388308885504 140731989300204 140731989300350 140731989300350 140731989307361 0
/proc/328385/statm: 2483 692 602 264 0 134 0
[pid=329402] ppid=328385 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/329402/stat : 329402 (timeout) S 328385 329402 325114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61911102 8867840 237 134679101440 94511193563136 94511193598152 140720818233888 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94511195695568 94511195697700 94511196848128 140720818242552 140720818242721 140720818242721 140720818249703 0
/proc/329402/statm: 2165 237 212 9 0 87 0
[pid=329403] ppid=329402 vsize=206444 memory=197360 CPUtime=1792 cores=0,2
/proc/329403/stat : 329403 (Exact) R 329402 329402 325114 0 -1 4194304 28119 0 0 0 179188 12 0 0 20 0 1 0 61911102 211398656 49340 134679101440 4194304 7210733 140730553886512 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 44859392 140730553893908 140730553894058 140730553894058 140730553901040 0
/proc/329403/statm: 51611 49340 748 737 0 50699 0
Current children cumulated CPU time: 3584.55 s
Current children cumulated vsize: 225036 KiB
Current children cumulated memory: 201076 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3584.62
CPU user time (s): 3537.09
CPU system time (s): 47.5288
CPU usage (%): 99.6823
Max. virtual memory (cumulated for all children) (KiB): 425776
Max. memory (cumulated for all children) (KiB): 378712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.09
system time used= 47.5288
maximum resident set size= 374940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 25082


# summary of solver processes directly reported to runsolver:
#   pid: 328385
#   total CPU time (s): 3584.62
#   total CPU user time (s): 3537.09
#   total CPU system time (s): 47.5288

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.107 second user time and 36.2588 second system time

The end