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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (62002 MiB free)
  memory of node 1: 64473 MiB (63427 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100097 s]*
/proc/loadavg: 0.12 0.10 0.09 5/253 333723
/proc/meminfo: memFree=128414576/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=25908 memory=13388 CPUtime=0.07 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 1491 0 0 0 7 0 0 0 20 0 1 0 61191560 26529792 3347 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 6477 3347 1073 2753 0 3130 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44500 KiB
Current children cumulated memory: 17164 KiB

[startup+0.215902 s]*
/proc/loadavg: 0.12 0.10 0.09 6/253 333723
/proc/meminfo: memFree=128402976/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=27444 memory=14156 CPUtime=0.19 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 2077 0 0 0 19 0 0 0 20 0 1 0 61191560 28102656 3539 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 6861 3539 1073 2753 0 3514 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46036 KiB
Current children cumulated memory: 17932 KiB

[startup+0.315035 s]*
/proc/loadavg: 0.12 0.10 0.09 7/253 333723
/proc/meminfo: memFree=128393460/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=29492 memory=16488 CPUtime=0.29 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 2599 0 0 0 28 1 0 0 20 0 1 0 61191560 30199808 4122 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 7373 4122 1073 2753 0 4026 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48084 KiB
Current children cumulated memory: 20264 KiB

[startup+0.700451 s]
/proc/loadavg: 0.12 0.10 0.09 5/253 333723
/proc/meminfo: memFree=128376236/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=33588 memory=18540 CPUtime=0.66 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 3115 0 0 0 65 1 0 0 20 0 1 0 61191560 34394112 4635 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 8397 4635 1073 2753 0 5050 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 52180 KiB
Current children cumulated memory: 22316 KiB

[startup+1.50054 s]
/proc/loadavg: 0.12 0.10 0.09 7/253 333723
/proc/meminfo: memFree=128348912/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=81240 memory=68500 CPUtime=1.45 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 10933 0 0 0 142 3 0 0 20 0 1 0 61191560 83189760 17125 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 20310 17125 1105 2753 0 16963 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 99832 KiB
Current children cumulated memory: 72276 KiB

[startup+3.11446 s]
/proc/loadavg: 0.43 0.17 0.11 7/253 333725
/proc/meminfo: memFree=128315964/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=81240 memory=68500 CPUtime=3.06 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 10944 0 0 0 303 3 0 0 20 0 1 0 61191560 83189760 17125 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 20310 17125 1105 2753 0 16963 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 99832 KiB
Current children cumulated memory: 72276 KiB

[startup+6.30049 s]
/proc/loadavg: 0.43 0.17 0.11 7/253 333725
/proc/meminfo: memFree=128299752/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=100644 memory=85024 CPUtime=6.25 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 152421 0 0 0 594 31 0 0 20 0 1 0 61191560 103059456 21256 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 25161 21256 1169 2753 0 21814 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 119236 KiB
Current children cumulated memory: 88800 KiB

[startup+12.7005 s]
/proc/loadavg: 0.98 0.29 0.15 7/253 333725
/proc/meminfo: memFree=128299744/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=100644 memory=85024 CPUtime=12.64 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 158323 0 0 0 1221 43 0 0 20 0 1 0 61191560 103059456 21256 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 25161 21256 1169 2753 0 21814 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 119236 KiB
Current children cumulated memory: 88800 KiB

[startup+25.5005 s]
/proc/loadavg: 1.52 0.43 0.20 7/253 333728
/proc/meminfo: memFree=128298932/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=100644 memory=85024 CPUtime=25.41 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 158333 0 0 0 2476 65 0 0 20 0 1 0 61191560 103059456 21256 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 25161 21256 1169 2753 0 21814 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 119236 KiB
Current children cumulated memory: 88800 KiB

[startup+51.1144 s]
/proc/loadavg: 2.49 0.75 0.31 7/253 333731
/proc/meminfo: memFree=128298144/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 688 609 264 0 134 0
[pid=333716] ppid=333704 vsize=8660 memory=1024 CPUtime=0 cores=4,6
/proc/333716/stat : 333716 (timeout) S 333704 333716 333636 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61191558 8867840 256 134679101440 93901278367744 93901278402760 140721785376864 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 1 0 0 93901280500176 93901280502308 93901301030912 140721785381923 140721785382045 140721785382045 140721785389031 0
/proc/333716/statm: 2165 256 231 9 0 87 0
[pid=333721] ppid=333716 vsize=100644 memory=85024 CPUtime=50.98 cores=4,6
/proc/333721/stat : 333721 (LS-MabP) R 333716 333716 333636 0 -1 4194304 158348 0 0 0 4990 108 0 0 20 0 1 0 61191560 103059456 21256 134679101440 4194304 15467897 140731362347984 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55939072 140731362354231 140731362354340 140731362354340 140731362361326 0
/proc/333721/statm: 25161 21256 1169 2753 0 21814 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 119236 KiB
Current children cumulated memory: 88800 KiB

[startup+102.301 s]
/proc/loadavg: 3.45 1.32 0.53 7/253 333740
/proc/meminfo: memFree=128297248/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61191558 10170368 688 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0

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

/proc/334632/statm: 60554 44398 852 745 0 59619 0
Current children cumulated CPU time: 3395.49 s
Current children cumulated vsize: 260808 KiB
Current children cumulated memory: 181400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.18 6/252 335603
/proc/meminfo: memFree=128002068/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243112 memory=178484 CPUtime=1660.38 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23520 0 0 0 166027 11 0 0 20 0 1 0 61371364 248946688 44621 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60778 44621 852 745 0 59843 0
Current children cumulated CPU time: 3455.36 s
Current children cumulated vsize: 261704 KiB
Current children cumulated memory: 182292 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.19 4.18 6/252 335613
/proc/meminfo: memFree=128000544/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243336 memory=178688 CPUtime=1720.24 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23660 0 0 0 172013 11 0 0 20 0 1 0 61371364 249176064 44672 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60834 44672 852 745 0 59899 0
Current children cumulated CPU time: 3515.22 s
Current children cumulated vsize: 261928 KiB
Current children cumulated memory: 182496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.17 6/252 335624
/proc/meminfo: memFree=127998804/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243548 memory=178908 CPUtime=1780.1 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23802 0 0 0 177999 11 0 0 20 0 1 0 61371364 249393152 44727 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60887 44727 852 745 0 59952 0
Current children cumulated CPU time: 3575.08 s
Current children cumulated vsize: 262140 KiB
Current children cumulated memory: 182716 KiB

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

# cumulated CPU time of all completed processes:  user=3560.75 s, system=28.1246 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.17 4.17 6/252 335626
/proc/meminfo: memFree=127998636/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243548 memory=178908 CPUtime=1781.81 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23802 0 0 0 178170 11 0 0 20 0 1 0 61371364 249393152 44727 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60887 44727 852 745 0 59952 0
Current children cumulated CPU time: 3576.79 s
Current children cumulated vsize: 262140 KiB
Current children cumulated memory: 182716 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.16 4.17 6/252 335626
/proc/meminfo: memFree=127998560/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243548 memory=178908 CPUtime=1788.18 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23811 0 0 0 178807 11 0 0 20 0 1 0 61371364 249393152 44727 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60887 44727 852 745 0 59952 0
Current children cumulated CPU time: 3583.16 s
Current children cumulated vsize: 262140 KiB
Current children cumulated memory: 182716 KiB

[startup+3593.6 s]
/proc/loadavg: 4.17 4.18 4.17 7/252 335627
/proc/meminfo: memFree=127998536/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243548 memory=178908 CPUtime=1791.38 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23811 0 0 0 179127 11 0 0 20 0 1 0 61371364 249393152 44727 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60887 44727 852 745 0 59952 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 262140 KiB
Current children cumulated memory: 182716 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.18 4.17 6/252 335627
/proc/meminfo: memFree=127998412/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243548 memory=178908 CPUtime=1792.97 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23818 0 0 0 179286 11 0 0 20 0 1 0 61371364 249393152 44727 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60887 44727 852 745 0 59952 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 262140 KiB
Current children cumulated memory: 182716 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.18 4.17 6/252 335627
/proc/meminfo: memFree=127998412/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243548 memory=178908 CPUtime=1793.37 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23818 0 0 0 179326 11 0 0 20 0 1 0 61371364 249393152 44727 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60887 44727 852 745 0 59952 0
Current children cumulated CPU time: 3588.35 s
Current children cumulated vsize: 262140 KiB
Current children cumulated memory: 182716 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.18 4.17 7/252 335627
/proc/meminfo: memFree=127998412/131655788 swapFree=131071996/131071996
[pid=333704] ppid=333692 vsize=9932 memory=2796 CPUtime=1794.98 cores=4,6
/proc/333704/stat : 333704 (Hybrid-LSMabP+E) S 333692 333704 333636 0 -1 4194304 270 162191 0 0 0 0 176701 2797 20 0 1 0 61191558 10170368 699 134679101440 94138072809472 94138073888792 140736821153520 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94138075987248 94138076034436 94138095939584 140736821154794 140736821154939 140736821154939 140736821161954 0
/proc/333704/statm: 2483 699 609 264 0 134 0
[pid=334631] ppid=333704 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/334631/stat : 334631 (timeout) S 333704 334631 333636 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61371363 8867840 253 134679101440 94314977845248 94314977880264 140723354970128 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94314979977680 94314979979812 94314990592000 140723354977268 140723354977437 140723354977437 140723354984423 0
/proc/334631/statm: 2165 253 229 9 0 87 0
[pid=334632] ppid=334631 vsize=243548 memory=178908 CPUtime=1793.78 cores=4,6
/proc/334632/stat : 334632 (Exact) R 334631 334631 333636 0 -1 4194304 23818 0 0 0 179367 11 0 0 20 0 1 0 61371364 249393152 44727 134679101440 4194304 7243121 140731400210912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 32616448 140731400213520 140731400213670 140731400213670 140731400220656 0
/proc/334632/statm: 60887 44727 852 745 0 59952 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 262140 KiB
Current children cumulated memory: 182716 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3588.87
CPU user time (s): 3560.75
CPU system time (s): 28.1246
CPU usage (%): 99.7987
Max. virtual memory (cumulated for all children) (KiB): 262140
Max. memory (cumulated for all children) (KiB): 182716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.75
system time used= 28.1246
maximum resident set size= 246712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189304
page faults= 1
swaps= 0
block input operations= 360
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129
involuntary context switches= 2224


# summary of solver processes directly reported to runsolver:
#   pid: 333704
#   total CPU time (s): 3588.87
#   total CPU user time (s): 3560.75
#   total CPU system time (s): 28.1246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0219 second user time and 42.6032 second system time

The end