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: 64059 MiB (63009 MiB free)
  memory of node 1: 64510 MiB (60384 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=335719, runsolver pid=335715
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.21 4.17 4.16 5/245 335740
/proc/meminfo: memFree=126345496/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=21512 memory=9280 CPUtime=0.1 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 959 0 0 0 10 0 0 0 20 0 1 0 61956053 22028288 2320 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 5378 2320 1105 2753 0 2031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 12924 KiB

[startup+0.214037 s]*
/proc/loadavg: 4.21 4.17 4.16 7/247 335748
/proc/meminfo: memFree=126486552/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=21512 memory=9280 CPUtime=0.21 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 960 0 0 0 21 0 0 0 20 0 1 0 61956053 22028288 2320 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 5378 2320 1105 2753 0 2031 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 12924 KiB

[startup+0.313116 s]*
/proc/loadavg: 4.21 4.17 4.16 4/244 335765
/proc/meminfo: memFree=126487456/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=21512 memory=9280 CPUtime=0.31 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 960 0 0 0 31 0 0 0 20 0 1 0 61956053 22028288 2320 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 5378 2320 1105 2753 0 2031 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40104 KiB
Current children cumulated memory: 12924 KiB

[startup+0.700545 s]
/proc/loadavg: 4.21 4.17 4.16 5/250 335780
/proc/meminfo: memFree=126441152/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=42484 memory=35172 CPUtime=0.68 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 6076 0 0 0 66 2 0 0 20 0 1 0 61956053 43503616 8793 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 10621 8793 2801 2753 0 7274 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61076 KiB
Current children cumulated memory: 38816 KiB

[startup+1.50047 s]
/proc/loadavg: 4.21 4.17 4.16 5/252 335783
/proc/meminfo: memFree=126367336/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=49824 memory=42092 CPUtime=1.47 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 7757 0 0 0 145 2 0 0 20 0 1 0 61956053 51019776 10523 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 12456 10523 2833 2753 0 9109 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 68416 KiB
Current children cumulated memory: 45736 KiB

[startup+3.11324 s]
/proc/loadavg: 4.21 4.17 4.16 6/252 335783
/proc/meminfo: memFree=126265616/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=54460 memory=45520 CPUtime=3.08 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 8665 0 0 0 306 2 0 0 20 0 1 0 61956053 55767040 11380 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 13615 11380 2833 2753 0 10268 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 73052 KiB
Current children cumulated memory: 49164 KiB

[startup+6.30043 s]
/proc/loadavg: 4.20 4.16 4.16 6/252 335783
/proc/meminfo: memFree=126123020/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=110696 memory=100296 CPUtime=6.26 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 22847 0 0 0 622 4 0 0 20 0 1 0 61956053 113352704 25074 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 27674 25074 2833 2753 0 24327 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 129288 KiB
Current children cumulated memory: 103940 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.16 4.16 6/252 335785
/proc/meminfo: memFree=125900068/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=151636 memory=138456 CPUtime=12.64 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 32610 0 0 0 1259 5 0 0 20 0 1 0 61956053 155275264 34614 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 37909 34614 2833 2753 0 34562 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 170228 KiB
Current children cumulated memory: 142100 KiB

[startup+25.5005 s]
/proc/loadavg: 4.14 4.15 4.16 6/252 335787
/proc/meminfo: memFree=125886232/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=152652 memory=139760 CPUtime=25.41 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 32940 0 0 0 2536 5 0 0 20 0 1 0 61956053 156315648 34940 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 38163 34940 2833 2753 0 34816 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 171244 KiB
Current children cumulated memory: 143404 KiB

[startup+51.1132 s]
/proc/loadavg: 4.16 4.16 4.16 6/252 335792
/proc/meminfo: memFree=125741628/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 682 603 264 0 134 0
[pid=335722] ppid=335719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/335722/stat : 335722 (timeout) S 335719 335722 332464 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61956053 8867840 229 134679101440 94873424633856 94873424668872 140735273955616 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94873426766288 94873426768420 94873459941376 140735273964585 140735273964701 140735273964701 140735273971687 0
/proc/335722/statm: 2165 229 204 9 0 87 0
[pid=335723] ppid=335722 vsize=205212 memory=186708 CPUtime=50.96 cores=5,7
/proc/335723/stat : 335723 (LS-MabSP) R 335722 335722 332464 0 -1 4194304 44682 0 0 0 5089 7 0 0 20 0 1 0 61956053 210137088 46677 134679101440 4194304 15467897 140723035868544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 27185152 140723035870268 140723035870371 140723035870371 140723035877357 0
/proc/335723/statm: 51303 46677 2833 2753 0 47956 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 223804 KiB
Current children cumulated memory: 190352 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.15 6/252 335801
/proc/meminfo: memFree=125448028/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2728 CPUtime=0 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 238 102 0 0 0 0 0 0 20 0 1 0 61956052 10170368 682 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0

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

/proc/336727/statm: 55401 51944 748 737 0 54489 0
Current children cumulated CPU time: 3393.95 s
Current children cumulated vsize: 240196 KiB
Current children cumulated memory: 211572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.37 4.22 5/252 337684
/proc/meminfo: memFree=124875928/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=222500 memory=208636 CPUtime=1660.14 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31277 0 0 0 166003 11 0 0 20 0 1 0 62135853 227840000 52159 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55625 52159 748 737 0 54713 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 241092 KiB
Current children cumulated memory: 212432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.31 4.21 5/253 337696
/proc/meminfo: memFree=124872408/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=223140 memory=209060 CPUtime=1719.99 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31532 0 0 0 171988 11 0 0 20 0 1 0 62135853 228495360 52265 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55785 52265 748 737 0 54873 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 212856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.28 4.21 5/253 337707
/proc/meminfo: memFree=124869960/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=223140 memory=209288 CPUtime=1779.84 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31643 0 0 0 177973 11 0 0 20 0 1 0 62135853 228495360 52322 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55785 52322 748 737 0 54873 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 213084 KiB

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

# cumulated CPU time of all completed processes:  user=3540.44 s, system=46.8148 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.28 4.21 5/253 337707
/proc/meminfo: memFree=124869960/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=223140 memory=209288 CPUtime=1781.55 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31643 0 0 0 178144 11 0 0 20 0 1 0 62135853 228495360 52322 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55785 52322 748 737 0 54873 0
Current children cumulated CPU time: 3575.22 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 213084 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869968/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=223140 memory=209288 CPUtime=1787.92 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31643 0 0 0 178781 11 0 0 20 0 1 0 62135853 228495360 52322 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55785 52322 748 737 0 54873 0
Current children cumulated CPU time: 3581.59 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 213084 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=223140 memory=209288 CPUtime=1791.12 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31643 0 0 0 179101 11 0 0 20 0 1 0 62135853 228495360 52322 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55785 52322 748 737 0 54873 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 213084 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=223140 memory=209288 CPUtime=1792.71 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31643 0 0 0 179260 11 0 0 20 0 1 0 62135853 228495360 52322 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55785 52322 748 737 0 54873 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 213084 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=223140 memory=209288 CPUtime=1793.11 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31644 0 0 0 179300 11 0 0 20 0 1 0 62135853 228495360 52322 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55785 52322 748 737 0 54873 0
Current children cumulated CPU time: 3586.78 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 213084 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.27 4.20 5/253 337709
/proc/meminfo: memFree=124869884/131655788 swapFree=131071996/131071996
[pid=335719] ppid=335715 vsize=9932 memory=2768 CPUtime=1793.67 cores=5,7
/proc/335719/stat : 335719 (Hybrid-LSMabSP+) S 335715 335719 332464 0 -1 4194304 270 93464 0 0 0 0 174700 4667 20 0 1 0 61956052 10170368 692 134679101440 94902535270400 94902536349720 140733108083952 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94902538448176 94902538495364 94902546317312 140733108085736 140733108085882 140733108085882 140733108092897 0
/proc/335719/statm: 2483 692 603 264 0 134 0
[pid=336726] ppid=335719 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/336726/stat : 336726 (timeout) S 335719 336726 332464 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62135853 8867840 257 134679101440 94188425048064 94188425083080 140726252390704 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94188427180496 94188427182628 94188457877504 140726252397556 140726252397725 140726252397725 140726252404711 0
/proc/336726/statm: 2165 257 233 9 0 87 0
[pid=336727] ppid=336726 vsize=223140 memory=209288 CPUtime=1793.52 cores=5,7
/proc/336727/stat : 336727 (Exact) R 336726 336726 332464 0 -1 4194304 31644 0 0 0 179341 11 0 0 20 0 1 0 62135853 228495360 52322 134679101440 4194304 7210733 140732891762640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 7850304 7914896 44244992 140732891767824 140732891767974 140732891767974 140732891774960 0
/proc/336727/statm: 55785 52322 748 737 0 54873 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 241732 KiB
Current children cumulated memory: 213084 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3587.26
CPU user time (s): 3540.44
CPU system time (s): 46.8148
CPU usage (%): 99.7557
Max. virtual memory (cumulated for all children) (KiB): 385196
Max. memory (cumulated for all children) (KiB): 354276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.44
system time used= 46.8148
maximum resident set size= 350632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138
involuntary context switches= 2094


# summary of solver processes directly reported to runsolver:
#   pid: 335719
#   total CPU time (s): 3587.26
#   total CPU user time (s): 3540.44
#   total CPU system time (s): 46.8148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0812 second user time and 36.6605 second system time

The end