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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=336797, runsolver pid=336794

[startup+0.101011 s]*
/proc/loadavg: 4.12 4.11 4.09 5/265 336801
/proc/meminfo: memFree=128154352/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=23492 memory=10164 CPUtime=0.09 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 1529 0 0 0 9 0 0 0 20 0 1 0 62320634 24055808 2541 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 5873 2541 1073 2753 0 2526 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42084 KiB
Current children cumulated memory: 13912 KiB

[startup+0.205724 s]*
/proc/loadavg: 4.12 4.11 4.09 5/265 336803
/proc/meminfo: memFree=129303416/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=34700 memory=21368 CPUtime=0.19 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 4334 0 0 0 19 0 0 0 20 0 1 0 62320634 35532800 5342 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 8675 5342 1105 2753 0 5328 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53292 KiB
Current children cumulated memory: 25116 KiB

[startup+0.305763 s]*
/proc/loadavg: 4.12 4.11 4.09 5/265 336803
/proc/meminfo: memFree=129302940/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=34700 memory=21368 CPUtime=0.29 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 4334 0 0 0 29 0 0 0 20 0 1 0 62320634 35532800 5342 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 8675 5342 1105 2753 0 5328 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53292 KiB
Current children cumulated memory: 25116 KiB

[startup+0.700296 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 336803
/proc/meminfo: memFree=129278496/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=105816 memory=90740 CPUtime=0.68 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 19242 0 0 0 66 2 0 0 20 0 1 0 62320634 108355584 22685 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 26454 22685 2817 2753 0 23107 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124408 KiB
Current children cumulated memory: 94488 KiB

[startup+1.5003 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 336803
/proc/meminfo: memFree=129207392/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=138232 memory=122052 CPUtime=1.48 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 27224 0 0 0 145 3 0 0 20 0 1 0 62320634 141549568 30513 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 34558 30513 2833 2753 0 31211 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156824 KiB
Current children cumulated memory: 125800 KiB

[startup+3.10567 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 336805
/proc/meminfo: memFree=129154444/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=163656 memory=147100 CPUtime=3.07 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 33492 0 0 0 304 3 0 0 20 0 1 0 62320634 167583744 36775 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 40914 36775 2833 2753 0 37567 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 182248 KiB
Current children cumulated memory: 150848 KiB

[startup+6.3003 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 336830
/proc/meminfo: memFree=129168408/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=172884 memory=157104 CPUtime=6.27 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 36003 0 0 0 623 4 0 0 20 0 1 0 62320634 177033216 39276 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 43221 39276 2833 2753 0 39874 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 191476 KiB
Current children cumulated memory: 160852 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 336852
/proc/meminfo: memFree=129212028/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=180332 memory=164992 CPUtime=12.65 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 37986 0 0 0 1261 4 0 0 20 0 1 0 62320634 184659968 41248 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 45083 41248 2833 2753 0 41736 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 198924 KiB
Current children cumulated memory: 168740 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 336868
/proc/meminfo: memFree=128966720/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=187804 memory=172612 CPUtime=25.4 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 39922 0 0 0 2536 4 0 0 20 0 1 0 62320634 192311296 43153 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 46951 43153 2833 2753 0 43604 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 206396 KiB
Current children cumulated memory: 176360 KiB

[startup+51.1058 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 336871
/proc/meminfo: memFree=128873320/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 692 615 264 0 134 0
[pid=336800] ppid=336797 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/336800/stat : 336800 (timeout) S 336797 336800 331427 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62320634 8867840 245 134679101440 93866447896576 93866447931592 140720870690448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93866450029008 93866450031140 93866469216256 140720870695977 140720870696093 140720870696093 140720870703079 0
/proc/336800/statm: 2165 245 220 9 0 87 0
[pid=336801] ppid=336800 vsize=210048 memory=195456 CPUtime=50.91 cores=1,3
/proc/336801/stat : 336801 (LS-MabSP) R 336800 336800 331427 0 -1 4194304 46442 0 0 0 5086 5 0 0 20 0 1 0 62320634 215089152 48864 134679101440 4194304 15467897 140735951483712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51290112 140735951492156 140735951492259 140735951492259 140735951499245 0
/proc/336801/statm: 52512 48864 2833 2753 0 49165 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 228640 KiB
Current children cumulated memory: 199204 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 336952
/proc/meminfo: memFree=128834236/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2768 CPUtime=0 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 235 101 0 0 0 0 0 0 20 0 1 0 62320634 10170368 692 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0

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

/proc/337883/statm: 10181 6554 748 737 0 9269 0
Current children cumulated CPU time: 3394.02 s
Current children cumulated vsize: 59316 KiB
Current children cumulated memory: 30044 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.14 3.29 4/256 338801
/proc/meminfo: memFree=129444964/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=40724 memory=26216 CPUtime=1660.08 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 47815 0 0 0 166000 8 0 0 20 0 1 0 62500434 41701376 6554 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10181 6554 748 737 0 9269 0
Current children cumulated CPU time: 3453.83 s
Current children cumulated vsize: 59316 KiB
Current children cumulated memory: 30044 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.14 3.27 4/256 338813
/proc/meminfo: memFree=129444064/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=40916 memory=26408 CPUtime=1719.89 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 49236 0 0 0 171981 8 0 0 20 0 1 0 62500434 41897984 6602 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10229 6602 748 737 0 9317 0
Current children cumulated CPU time: 3513.64 s
Current children cumulated vsize: 59508 KiB
Current children cumulated memory: 30236 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.13 3.26 4/256 338823
/proc/meminfo: memFree=129443436/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=41044 memory=26536 CPUtime=1779.71 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 51130 0 0 0 177962 9 0 0 20 0 1 0 62500434 42029056 6634 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10261 6634 748 737 0 9349 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 30364 KiB

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

# cumulated CPU time of all completed processes:  user=3584.68 s, system=2.48453 s

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

[startup+3584 s]*
/proc/loadavg: 3.09 3.13 3.26 4/256 338824
/proc/meminfo: memFree=129443372/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=41044 memory=26536 CPUtime=1781.41 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 51130 0 0 0 178132 9 0 0 20 0 1 0 62500434 42029056 6634 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10261 6634 748 737 0 9349 0
Current children cumulated CPU time: 3575.16 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 30364 KiB

[startup+3590.4 s]
/proc/loadavg: 3.08 3.13 3.26 4/256 338824
/proc/meminfo: memFree=129443404/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=41044 memory=26536 CPUtime=1787.79 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 51284 0 0 0 178770 9 0 0 20 0 1 0 62500434 42029056 6634 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10261 6634 748 737 0 9349 0
Current children cumulated CPU time: 3581.54 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 30364 KiB

[startup+3593.6 s]
/proc/loadavg: 3.08 3.13 3.26 4/256 338826
/proc/meminfo: memFree=129443428/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=41044 memory=26536 CPUtime=1790.98 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 51436 0 0 0 179089 9 0 0 20 0 1 0 62500434 42029056 6634 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10261 6634 748 737 0 9349 0
Current children cumulated CPU time: 3584.73 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 30364 KiB

[startup+3595.2 s]
/proc/loadavg: 3.16 3.14 3.26 4/256 338826
/proc/meminfo: memFree=129443364/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=41044 memory=26536 CPUtime=1792.57 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 51436 0 0 0 179248 9 0 0 20 0 1 0 62500434 42029056 6634 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10261 6634 748 737 0 9349 0
Current children cumulated CPU time: 3586.32 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 30364 KiB

[startup+3595.6 s]
/proc/loadavg: 3.16 3.14 3.26 4/256 338826
/proc/meminfo: memFree=129443364/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=41044 memory=26536 CPUtime=1792.97 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 51541 0 0 0 179288 9 0 0 20 0 1 0 62500434 42029056 6634 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10261 6634 748 737 0 9349 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 30364 KiB

[startup+3596 s]*
/proc/loadavg: 3.16 3.14 3.26 3/247 338879
/proc/meminfo: memFree=129494184/131524600 swapFree=131071996/131071996
[pid=336797] ppid=336794 vsize=9932 memory=2816 CPUtime=1793.75 cores=1,3
/proc/336797/stat : 336797 (Hybrid-LSMabSP+) S 336794 336797 331427 0 -1 4194304 268 187139 0 0 0 0 179137 238 20 0 1 0 62320634 10170368 704 134679101440 93924131274752 93924132354072 140730873092272 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93924134452528 93924134499716 93924156440576 140730873099240 140730873099386 140730873099386 140730873106401 0
/proc/336797/statm: 2483 704 615 264 0 134 0
[pid=337882] ppid=336797 vsize=8660 memory=1012 CPUtime=0 cores=1,3
/proc/337882/stat : 337882 (timeout) S 336797 337882 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62500434 8867840 253 134679101440 94902274682880 94902274717896 140731427524160 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94902276815312 94902276817444 94902286409728 140731427525620 140731427525789 140731427525789 140731427532775 0
/proc/337882/statm: 2165 253 229 9 0 87 0
[pid=337883] ppid=337882 vsize=41044 memory=26536 CPUtime=1793.37 cores=1,3
/proc/337883/stat : 337883 (Exact) R 337882 337882 331427 0 -1 4194304 51541 0 0 0 179328 9 0 0 20 0 1 0 62500434 42029056 6634 134679101440 4194304 7210733 140724011427696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 43798528 140724011430928 140724011431078 140724011431078 140724011438064 0
/proc/337883/statm: 10261 6634 748 737 0 9349 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 30364 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3587.17
CPU user time (s): 3584.68
CPU system time (s): 2.48453
CPU usage (%): 99.7538
Max. virtual memory (cumulated for all children) (KiB): 685532
Max. memory (cumulated for all children) (KiB): 648444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.68
system time used= 2.48453
maximum resident set size= 644696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 2705


# summary of solver processes directly reported to runsolver:
#   pid: 336797
#   total CPU time (s): 3587.17
#   total CPU user time (s): 3584.68
#   total CPU system time (s): 2.48453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88655 second user time and 14.2594 second system time

The end