runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62628 MiB free)
  memory of node 1: 64510 MiB (63013 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x
solver pid=332646, runsolver pid=332636
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 0.45 0.16 0.11 6/266 332666
/proc/meminfo: memFree=128618496/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=25884 memory=13380 CPUtime=0.08 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 2345 0 0 0 8 0 0 0 20 0 1 0 61418930 26505216 3345 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 6471 3345 1073 2753 0 3124 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44476 KiB
Current children cumulated memory: 17148 KiB

[startup+0.206958 s]*
/proc/loadavg: 0.45 0.16 0.11 8/266 332666
/proc/meminfo: memFree=128599488/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=32028 memory=17528 CPUtime=0.18 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 3373 0 0 0 18 0 0 0 20 0 1 0 61418930 32796672 4382 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 8007 4382 1073 2753 0 4660 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50620 KiB
Current children cumulated memory: 21296 KiB

[startup+0.306813 s]*
/proc/loadavg: 0.45 0.16 0.11 6/266 332666
/proc/meminfo: memFree=128585636/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=46056 memory=31312 CPUtime=0.29 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 5317 0 0 0 28 1 0 0 20 0 1 0 61418930 47161344 7828 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 11514 7828 1073 2753 0 8167 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64648 KiB
Current children cumulated memory: 35080 KiB

[startup+0.700286 s]
/proc/loadavg: 0.45 0.16 0.11 10/266 332666
/proc/meminfo: memFree=128543304/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=67628 memory=53136 CPUtime=0.67 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 10514 0 0 0 65 2 0 0 20 0 1 0 61418930 69251072 13284 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 16907 13284 1105 2753 0 13560 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 86220 KiB
Current children cumulated memory: 56904 KiB

[startup+1.50029 s]
/proc/loadavg: 0.45 0.16 0.11 6/266 332666
/proc/meminfo: memFree=128402080/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=67628 memory=53136 CPUtime=1.47 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 10514 0 0 0 145 2 0 0 20 0 1 0 61418930 69251072 13284 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 16907 13284 1105 2753 0 13560 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86220 KiB
Current children cumulated memory: 56904 KiB

[startup+3.10686 s]
/proc/loadavg: 0.45 0.16 0.11 6/266 332666
/proc/meminfo: memFree=128004540/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=257536 memory=239220 CPUtime=3.07 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 56984 0 0 0 298 9 0 0 20 0 1 0 61418930 263716864 59805 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 64384 59805 2737 2753 0 61037 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 276128 KiB
Current children cumulated memory: 242988 KiB

[startup+6.30026 s]
/proc/loadavg: 0.73 0.23 0.13 6/266 332666
/proc/meminfo: memFree=127626900/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=589312 memory=536200 CPUtime=6.25 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 90452 0 0 0 608 17 0 0 20 0 1 0 61418930 603455488 134050 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 147328 134050 2833 2753 0 143981 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 607904 KiB
Current children cumulated memory: 539968 KiB

[startup+12.7002 s]
/proc/loadavg: 1.07 0.31 0.16 6/266 332668
/proc/meminfo: memFree=127604640/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=609224 memory=539820 CPUtime=12.64 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 90898 0 0 0 1246 18 0 0 20 0 1 0 61418930 623845376 134955 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 152306 134955 2833 2753 0 148959 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 627816 KiB
Current children cumulated memory: 543588 KiB

[startup+25.5002 s]
/proc/loadavg: 1.72 0.49 0.22 6/266 332669
/proc/meminfo: memFree=127501520/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=658956 memory=544320 CPUtime=25.4 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 91549 0 0 0 2522 18 0 0 20 0 1 0 61418930 674770944 136080 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 164739 136080 2833 2753 0 161392 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 677548 KiB
Current children cumulated memory: 548088 KiB

[startup+51.1067 s]
/proc/loadavg: 2.56 0.79 0.33 6/266 332674
/proc/meminfo: memFree=127328840/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 685 607 264 0 134 0
[pid=332662] ppid=332646 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/332662/stat : 332662 (timeout) S 332646 332662 332577 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61418930 8867840 257 134679101440 94744807735296 94744807770312 140736783642144 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94744809867728 94744809869860 94744835215360 140736783643689 140736783643805 140736783643805 140736783650791 0
/proc/332662/statm: 2165 257 233 9 0 87 0
[pid=332664] ppid=332662 vsize=880128 memory=665016 CPUtime=50.93 cores=4,6
/proc/332664/stat : 332664 (LS-MabSP) R 332662 332662 332577 0 -1 4194304 120685 0 0 0 5071 22 0 0 20 0 1 0 61418930 901251072 166254 134679101440 4194304 15467897 140733063860912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42815488 140733063865404 140733063865507 140733063865507 140733063872493 0
/proc/332664/statm: 220032 166254 2833 2753 0 216685 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 898720 KiB
Current children cumulated memory: 668784 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 6/266 332682
/proc/meminfo: memFree=127207888/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2740 CPUtime=0 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 240 102 0 0 0 0 0 0 20 0 1 0 61418929 10170368 685 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0

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

/proc/333565/statm: 40519 35460 748 737 0 39607 0
Current children cumulated CPU time: 3395.01 s
Current children cumulated vsize: 180668 KiB
Current children cumulated memory: 145620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.21 4.12 6/264 334481
/proc/meminfo: memFree=125670268/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=162076 memory=142004 CPUtime=1660.47 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 17577 0 0 0 166040 7 0 0 20 0 1 0 61598733 165965824 35501 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 40519 35501 748 737 0 39607 0
Current children cumulated CPU time: 3454.88 s
Current children cumulated vsize: 180668 KiB
Current children cumulated memory: 145784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.20 4.12 6/265 334493
/proc/meminfo: memFree=125664772/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=164508 memory=144436 CPUtime=1720.34 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 18232 0 0 0 172027 7 0 0 20 0 1 0 61598733 168456192 36109 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 41127 36109 748 737 0 40215 0
Current children cumulated CPU time: 3514.75 s
Current children cumulated vsize: 183100 KiB
Current children cumulated memory: 148216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.18 4.11 6/265 334503
/proc/meminfo: memFree=125659080/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=164796 memory=144576 CPUtime=1780.21 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 18385 0 0 0 178014 7 0 0 20 0 1 0 61598733 168751104 36144 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 41199 36144 748 737 0 40287 0
Current children cumulated CPU time: 3574.62 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148356 KiB

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

# cumulated CPU time of all completed processes:  user=3573.1 s, system=15.2805 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.18 4.11 6/265 334503
/proc/meminfo: memFree=125659080/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=164796 memory=144576 CPUtime=1781.91 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 18385 0 0 0 178184 7 0 0 20 0 1 0 61598733 168751104 36144 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 41199 36144 748 737 0 40287 0
Current children cumulated CPU time: 3576.32 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148356 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.17 4.11 6/265 334504
/proc/meminfo: memFree=125658836/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=164796 memory=144576 CPUtime=1788.29 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 18385 0 0 0 178822 7 0 0 20 0 1 0 61598733 168751104 36144 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 41199 36144 748 737 0 40287 0
Current children cumulated CPU time: 3582.7 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148356 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.17 4.11 6/265 334504
/proc/meminfo: memFree=125658664/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=164796 memory=144576 CPUtime=1791.48 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 18385 0 0 0 179141 7 0 0 20 0 1 0 61598733 168751104 36144 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 41199 36144 748 737 0 40287 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148356 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.17 4.11 6/265 334504
/proc/meminfo: memFree=125658644/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=164796 memory=144576 CPUtime=1793.08 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 18385 0 0 0 179301 7 0 0 20 0 1 0 61598733 168751104 36144 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 41199 36144 748 737 0 40287 0
Current children cumulated CPU time: 3587.49 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148356 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.17 4.11 6/265 334504
/proc/meminfo: memFree=125658644/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=164796 memory=144576 CPUtime=1793.48 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 18385 0 0 0 179341 7 0 0 20 0 1 0 61598733 168751104 36144 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 41199 36144 748 737 0 40287 0
Current children cumulated CPU time: 3587.89 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148356 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.17 4.11 6/265 334504
/proc/meminfo: memFree=125658272/131524600 swapFree=131071996/131071996
[pid=332646] ppid=332636 vsize=9932 memory=2788 CPUtime=1794.41 cores=4,6
/proc/332646/stat : 332646 (Hybrid-LSMabSP+) S 332636 332646 332577 0 -1 4194304 272 242104 0 0 0 0 177922 1519 20 0 1 0 61418929 10170368 697 134679101440 94920256524288 94920257603608 140732861041664 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94920259702064 94920259749252 94920292802560 140732861047784 140732861047930 140732861047930 140732861054945 0
/proc/332646/statm: 2483 697 607 264 0 134 0
[pid=333564] ppid=332646 vsize=8660 memory=992 CPUtime=0 cores=4,6
/proc/333564/stat : 333564 (timeout) S 332646 333564 332577 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61598733 8867840 248 134679101440 93839187787776 93839187822792 140720750345056 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93839189920208 93839189922340 93839195811840 140720750351348 140720750351517 140720750351517 140720750358503 0
/proc/333564/statm: 2165 248 223 9 0 87 0
[pid=333565] ppid=333564 vsize=164796 memory=144576 CPUtime=1793.88 cores=4,6
/proc/333565/stat : 333565 (Exact) R 333564 333564 332577 0 -1 4194304 18385 0 0 0 179381 7 0 0 20 0 1 0 61598733 168751104 36144 134679101440 4194304 7210733 140733286596960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 24276992 140733286601744 140733286601894 140733286601894 140733286608880 0
/proc/333565/statm: 41199 36144 748 737 0 40287 0
Current children cumulated CPU time: 3588.29 s
Current children cumulated vsize: 183388 KiB
Current children cumulated memory: 148356 KiB

Child status: 0

Real time (s): 3596.09
CPU time (s): 3588.38
CPU user time (s): 3573.1
CPU system time (s): 15.2805
CPU usage (%): 99.7856
Max. virtual memory (cumulated for all children) (KiB): 1753156
Max. memory (cumulated for all children) (KiB): 1299140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.1
system time used= 15.2805
maximum resident set size= 1295372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263762
page faults= 1
swaps= 0
block input operations= 8
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196
involuntary context switches= 1539


# summary of solver processes directly reported to runsolver:
#   pid: 332646
#   total CPU time (s): 3588.38
#   total CPU user time (s): 3573.1
#   total CPU system time (s): 15.2805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12916 second user time and 21.925 second system time

The end