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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437195-1722973017/watcher-4437195-1722973017 -o /tmp/evaluation-result-4437195-1722973017/solver-4437195-1722973017 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722971201-336736 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437195-1722973017.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=337928, runsolver pid=337925

[startup+0.100096 s]*
/proc/loadavg: 4.11 4.11 3.83 5/247 337932
/proc/meminfo: memFree=129039300/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=24988 memory=11068 CPUtime=0.1 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 1795 0 0 0 10 0 0 0 20 0 1 0 63672461 25587712 2767 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 6247 2767 1153 2753 0 2900 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43580 KiB
Current children cumulated memory: 14824 KiB

[startup+0.213047 s]*
/proc/loadavg: 4.11 4.11 3.83 5/247 337932
/proc/meminfo: memFree=129028752/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=37024 memory=22584 CPUtime=0.21 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 3626 0 0 0 21 0 0 0 20 0 1 0 63672461 37912576 5646 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 9256 5646 1153 2753 0 5909 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55616 KiB
Current children cumulated memory: 26340 KiB

[startup+0.312954 s]*
/proc/loadavg: 4.11 4.11 3.83 5/247 337932
/proc/meminfo: memFree=129027240/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29492 CPUtime=0.3 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4007 0 0 0 29 1 0 0 20 0 1 0 63672461 42029056 7373 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7373 2769 2753 0 6914 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33248 KiB

[startup+0.700396 s]
/proc/loadavg: 4.11 4.11 3.83 5/247 337932
/proc/meminfo: memFree=129027072/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29492 CPUtime=0.69 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4007 0 0 0 58 11 0 0 20 0 1 0 63672461 42029056 7373 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7373 2769 2753 0 6914 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33248 KiB

[startup+1.5004 s]
/proc/loadavg: 4.11 4.11 3.83 5/247 337932
/proc/meminfo: memFree=129027088/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29492 CPUtime=1.48 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4007 0 0 0 117 31 0 0 20 0 1 0 63672461 42029056 7373 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7373 2769 2753 0 6914 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33248 KiB

[startup+3.11198 s]
/proc/loadavg: 4.10 4.11 3.83 5/247 337932
/proc/meminfo: memFree=129027004/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29492 CPUtime=3.09 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4007 0 0 0 241 68 0 0 20 0 1 0 63672461 42029056 7373 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7373 2769 2753 0 6914 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33248 KiB

[startup+6.30038 s]
/proc/loadavg: 4.10 4.11 3.83 5/247 337934
/proc/meminfo: memFree=129026856/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29492 CPUtime=6.27 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4007 0 0 0 489 138 0 0 20 0 1 0 63672461 42029056 7373 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7373 2769 2753 0 6914 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33248 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.11 3.83 5/247 337934
/proc/meminfo: memFree=129026240/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29492 CPUtime=12.66 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4007 0 0 0 974 292 0 0 20 0 1 0 63672461 42029056 7373 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7373 2769 2753 0 6914 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33248 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 3.84 5/248 337997
/proc/meminfo: memFree=128965192/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29492 CPUtime=25.44 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4007 0 0 0 1942 602 0 0 20 0 1 0 63672461 42029056 7373 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7373 2769 2753 0 6914 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33248 KiB

[startup+51.1122 s]
/proc/loadavg: 4.10 4.11 3.85 5/248 338051
/proc/meminfo: memFree=128980700/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29492 CPUtime=51.01 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4007 0 0 0 3877 1224 0 0 20 0 1 0 63672461 42029056 7373 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7373 2769 2753 0 6914 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33248 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 3.86 5/248 338059
/proc/meminfo: memFree=128960204/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0

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

/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29784 CPUtime=1659.83 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4070 0 0 0 126116 39867 0 0 20 0 1 0 63672461 42029056 7446 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7446 2817 2753 0 6914 0
Current children cumulated CPU time: 1659.83 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33540 KiB

[startup+1722.3 s]
/proc/loadavg: 4.07 4.21 4.16 5/246 338968
/proc/meminfo: memFree=128836904/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29784 CPUtime=1719.74 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4071 0 0 0 130658 41316 0 0 20 0 1 0 63672461 42029056 7446 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7446 2817 2753 0 6914 0
Current children cumulated CPU time: 1719.74 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33540 KiB

[startup+1782.3 s]
/proc/loadavg: 4.07 4.19 4.16 5/246 338982
/proc/meminfo: memFree=128861572/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29784 CPUtime=1779.67 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4072 0 0 0 135206 42761 0 0 20 0 1 0 63672461 42029056 7446 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7446 2817 2753 0 6914 0
Current children cumulated CPU time: 1779.67 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33540 KiB

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

# cumulated CPU time of all completed processes:  user=1366.03 s, system=431.462 s

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

[startup+1792 s]*
/proc/loadavg: 4.13 4.20 4.16 4/240 339005
/proc/meminfo: memFree=128834568/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29784 CPUtime=1789.35 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4072 0 0 0 135937 42998 0 0 20 0 1 0 63672461 42029056 7446 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7446 2817 2753 0 6914 0
Current children cumulated CPU time: 1789.35 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33540 KiB

[startup+1795.2 s]
/proc/loadavg: 4.12 4.19 4.16 5/247 339047
/proc/meminfo: memFree=128655624/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 63672460 10170368 696 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 696 618 264 0 134 0
[pid=337931] ppid=337928 vsize=8660 memory=972 CPUtime=0 cores=1,3
/proc/337931/stat : 337931 (timeout) S 337928 337931 336724 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 63672461 8867840 243 134679101440 94021649055744 94021649090760 140722774289568 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94021651188176 94021651190308 94021660569600 140722774291501 140722774291617 140722774291617 140722774298599 0
/proc/337931/statm: 2165 243 219 9 0 87 0
[pid=337932] ppid=337931 vsize=41044 memory=29784 CPUtime=1792.55 cores=1,3
/proc/337932/stat : 337932 (LS-MabSP) R 337931 337931 336724 0 -1 4194304 4072 0 0 0 136178 43077 0 0 20 0 1 0 63672461 42029056 7446 134679101440 4194304 15467897 140731712631168 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55533568 140731712640064 140731712640167 140731712640167 140731712647149 0
/proc/337932/statm: 10261 7446 2817 2753 0 6914 0
Current children cumulated CPU time: 1792.55 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33540 KiB

[startup+1798.4 s]
/proc/loadavg: 4.12 4.19 4.16 5/247 339047
/proc/meminfo: memFree=128557980/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2832 CPUtime=1795.35 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 270 4384 0 0 0 0 136392 43143 20 0 1 0 63672460 10170368 708 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 708 618 264 0 134 0
Current children cumulated CPU time: 1795.35 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2832 KiB

[startup+1799.2 s]
/proc/loadavg: 4.19 4.21 4.16 5/247 339049
/proc/meminfo: memFree=128608516/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2832 CPUtime=1795.35 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 270 4384 0 0 0 0 136392 43143 20 0 1 0 63672460 10170368 708 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 708 618 264 0 134 0
[pid=339048] ppid=337928 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/339048/stat : 339048 (timeout) S 337928 339048 336724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63852262 8867840 244 134679101440 94580646699008 94580646734024 140736219677584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94580648831440 94580648833572 94580666687488 140736219685880 140736219686049 140736219686049 140736219693031 0
/proc/339048/statm: 2165 244 220 9 0 87 0
[pid=339049] ppid=339048 vsize=39060 memory=27072 CPUtime=1.17 cores=1,3
/proc/339049/stat : 339049 (Exact) R 339048 339048 336724 0 -1 4194304 4164 0 0 0 117 0 0 0 20 0 1 0 63852262 39997440 6768 134679101440 4194304 7210733 140727830850784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12992512 140727830852628 140727830852778 140727830852778 140727830859760 0
/proc/339049/statm: 9765 6768 748 737 0 8853 0
Current children cumulated CPU time: 1796.52 s
Current children cumulated vsize: 57652 KiB
Current children cumulated memory: 30880 KiB

[startup+1799.6 s]
/proc/loadavg: 4.19 4.21 4.16 5/247 339049
/proc/meminfo: memFree=128608516/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2832 CPUtime=1795.35 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 270 4384 0 0 0 0 136392 43143 20 0 1 0 63672460 10170368 708 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 708 618 264 0 134 0
[pid=339048] ppid=337928 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/339048/stat : 339048 (timeout) S 337928 339048 336724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63852262 8867840 244 134679101440 94580646699008 94580646734024 140736219677584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94580648831440 94580648833572 94580666687488 140736219685880 140736219686049 140736219686049 140736219693031 0
/proc/339048/statm: 2165 244 220 9 0 87 0
[pid=339049] ppid=339048 vsize=40684 memory=30700 CPUtime=1.57 cores=1,3
/proc/339049/stat : 339049 (Exact) R 339048 339048 336724 0 -1 4194304 4577 0 0 0 156 1 0 0 20 0 1 0 63852262 41660416 7675 134679101440 4194304 7210733 140727830850784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12992512 140727830852628 140727830852778 140727830852778 140727830859760 0
/proc/339049/statm: 10171 7675 748 737 0 9259 0
Current children cumulated CPU time: 1796.92 s
Current children cumulated vsize: 59276 KiB
Current children cumulated memory: 34508 KiB

[startup+1800 s]*
/proc/loadavg: 4.19 4.21 4.16 5/247 339049
/proc/meminfo: memFree=128571920/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2832 CPUtime=1795.35 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 270 4384 0 0 0 0 136392 43143 20 0 1 0 63672460 10170368 708 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 708 618 264 0 134 0
[pid=339048] ppid=337928 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/339048/stat : 339048 (timeout) S 337928 339048 336724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63852262 8867840 244 134679101440 94580646699008 94580646734024 140736219677584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94580648831440 94580648833572 94580666687488 140736219685880 140736219686049 140736219686049 140736219693031 0
/proc/339048/statm: 2165 244 220 9 0 87 0
[pid=339049] ppid=339048 vsize=45872 memory=37232 CPUtime=1.98 cores=1,3
/proc/339049/stat : 339049 (Exact) R 339048 339048 336724 0 -1 4194304 5725 0 0 0 197 1 0 0 20 0 1 0 63852262 46972928 9308 134679101440 4194304 7210733 140727830850784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12992512 140727830852628 140727830852778 140727830852778 140727830859760 0
/proc/339049/statm: 11468 9308 748 737 0 10556 0
Current children cumulated CPU time: 1797.33 s
Current children cumulated vsize: 64464 KiB
Current children cumulated memory: 41040 KiB

[startup+1800.11 s]
/proc/loadavg: 4.19 4.21 4.16 5/247 339049
/proc/meminfo: memFree=128571920/131655788 swapFree=131071472/131071996
[pid=337928] ppid=337925 vsize=9932 memory=2832 CPUtime=1795.35 cores=1,3
/proc/337928/stat : 337928 (Hybrid-LSMabSP+) S 337925 337928 336724 0 -1 4194304 270 4384 0 0 0 0 136392 43143 20 0 1 0 63672460 10170368 708 134679101440 94294412443648 94294413522968 140737305584192 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94294415621424 94294415668612 94294442373120 140737305592812 140737305592958 140737305592958 140737305599969 0
/proc/337928/statm: 2483 708 618 264 0 134 0
[pid=339048] ppid=337928 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/339048/stat : 339048 (timeout) S 337928 339048 336724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63852262 8867840 244 134679101440 94580646699008 94580646734024 140736219677584 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94580648831440 94580648833572 94580666687488 140736219685880 140736219686049 140736219686049 140736219693031 0
/proc/339048/statm: 2165 244 220 9 0 87 0
[pid=339049] ppid=339048 vsize=45872 memory=37232 CPUtime=2.08 cores=1,3
/proc/339049/stat : 339049 (Exact) R 339048 339048 336724 0 -1 4194304 5734 0 0 0 207 1 0 0 20 0 1 0 63852262 46972928 9308 134679101440 4194304 7210733 140727830850784 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 12992512 140727830852628 140727830852778 140727830852778 140727830859760 0
/proc/339049/statm: 11468 9308 748 737 0 10556 0
Current children cumulated CPU time: 1797.43 s
Current children cumulated vsize: 64464 KiB
Current children cumulated memory: 41040 KiB

Child status: 0

Real time (s): 1800.16
CPU time (s): 1797.49
CPU user time (s): 1366.03
CPU system time (s): 431.462
CPU usage (%): 99.8522
Max. virtual memory (cumulated for all children) (KiB): 64464
Max. memory (cumulated for all children) (KiB): 41040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1366.03
system time used= 431.462
maximum resident set size= 37820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 476


# summary of solver processes directly reported to runsolver:
#   pid: 337928
#   total CPU time (s): 1797.49
#   total CPU user time (s): 1366.03
#   total CPU system time (s): 431.462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.98945 second user time and 18.0433 second system time

The end