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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100081 s]*
/proc/loadavg: 0.10 0.09 0.09 7/267 337222
/proc/meminfo: memFree=127736916/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=0.06 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2937 0 0 0 6 0 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+0.206148 s]*
/proc/loadavg: 0.10 0.09 0.09 7/267 337222
/proc/meminfo: memFree=127723428/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=0.17 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 15 2 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+0.304817 s]*
/proc/loadavg: 0.10 0.09 0.09 5/267 337222
/proc/meminfo: memFree=127704312/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=0.27 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 24 3 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+0.700244 s]
/proc/loadavg: 0.10 0.09 0.09 5/267 337222
/proc/meminfo: memFree=127649436/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=0.65 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 57 8 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+1.50027 s]
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127641512/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=1.45 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 125 20 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+3.10625 s]
/proc/loadavg: 0.42 0.15 0.11 6/267 337222
/proc/meminfo: memFree=127619060/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=3.06 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 260 46 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+6.30027 s]
/proc/loadavg: 0.42 0.15 0.11 6/267 337224
/proc/meminfo: memFree=127619044/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=6.24 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 530 94 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+12.7003 s]
/proc/loadavg: 0.70 0.22 0.13 6/267 337224
/proc/meminfo: memFree=127618900/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=12.62 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 1068 194 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.20 6/267 337227
/proc/meminfo: memFree=127618548/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=25.4 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 2139 401 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+51.1061 s]
/proc/loadavg: 2.31 0.69 0.30 6/267 337230
/proc/meminfo: memFree=127615464/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 674 596 264 0 134 0
[pid=337217] ppid=337211 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/337217/stat : 337217 (timeout) S 337211 337217 337135 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61416040 8867840 260 134679101440 94587102019584 94587102054600 140726819501776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 2 0 0 94587104152016 94587104154148 94587108134912 140726819509283 140726819509405 140726819509405 140726819516391 0
/proc/337217/statm: 2165 260 236 9 0 87 0
[pid=337221] ppid=337217 vsize=20692 memory=8800 CPUtime=50.94 cores=4,6
/proc/337221/stat : 337221 (LS-MabP) R 337217 337217 337135 0 -1 4194304 2968 0 0 0 4281 813 0 0 20 0 1 0 61416043 21188608 2200 134679101440 4194304 15467897 140723440632480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 47509504 140723440636983 140723440637092 140723440637092 140723440644078 0
/proc/337221/statm: 5173 2200 1169 2753 0 1826 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 12536 KiB

[startup+102.3 s]
/proc/loadavg: 3.31 1.22 0.50 6/267 337238
/proc/meminfo: memFree=127610724/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 236 104 0 0 0 0 0 0 20 0 1 0 61416039 10170368 674 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0

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

/proc/338127/statm: 48140 40921 804 745 0 47205 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 211152 KiB
Current children cumulated memory: 167340 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.10 6/267 339059
/proc/meminfo: memFree=125845408/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=192560 memory=163812 CPUtime=1659.56 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 23852 0 0 0 165947 9 0 0 20 0 1 0 61595843 197181440 40953 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 48140 40953 804 745 0 47205 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 211152 KiB
Current children cumulated memory: 167468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.10 6/267 339070
/proc/meminfo: memFree=125838624/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=192948 memory=164072 CPUtime=1719.42 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 23992 0 0 0 171933 9 0 0 20 0 1 0 61595843 197578752 41018 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 48237 41018 804 745 0 47302 0
Current children cumulated CPU time: 3513.59 s
Current children cumulated vsize: 211540 KiB
Current children cumulated memory: 167728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.10 6/267 339080
/proc/meminfo: memFree=125828064/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=195180 memory=167428 CPUtime=1779.29 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 24459 0 0 0 177920 9 0 0 20 0 1 0 61595843 199864320 41857 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 48795 41857 804 745 0 47860 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 213772 KiB
Current children cumulated memory: 171084 KiB

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

# cumulated CPU time of all completed processes:  user=3297.48 s, system=289.729 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.10 8/267 339082
/proc/meminfo: memFree=125827808/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=195436 memory=167692 CPUtime=1780.99 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 24492 0 0 0 178090 9 0 0 20 0 1 0 61595843 200126464 41923 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 48859 41923 804 745 0 47924 0
Current children cumulated CPU time: 3575.16 s
Current children cumulated vsize: 214028 KiB
Current children cumulated memory: 171348 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.17 4.10 6/267 339082
/proc/meminfo: memFree=125820696/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=196484 memory=174616 CPUtime=1787.37 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 24700 0 0 0 178728 9 0 0 20 0 1 0 61595843 201199616 43654 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 49121 43654 804 745 0 48186 0
Current children cumulated CPU time: 3581.54 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178272 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.17 4.10 6/267 339082
/proc/meminfo: memFree=125820700/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=196484 memory=174616 CPUtime=1790.56 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 24700 0 0 0 179047 9 0 0 20 0 1 0 61595843 201199616 43654 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 49121 43654 804 745 0 48186 0
Current children cumulated CPU time: 3584.73 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178272 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820444/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=196484 memory=174616 CPUtime=1792.16 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 24700 0 0 0 179207 9 0 0 20 0 1 0 61595843 201199616 43654 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 49121 43654 804 745 0 48186 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178272 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820444/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=196484 memory=174616 CPUtime=1792.55 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 24700 0 0 0 179246 9 0 0 20 0 1 0 61595843 201199616 43654 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 49121 43654 804 745 0 48186 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178272 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820420/131524600 swapFree=131071996/131071996
[pid=337211] ppid=337205 vsize=9932 memory=2740 CPUtime=1794.17 cores=4,6
/proc/337211/stat : 337211 (Hybrid-LSMabP+E) S 337205 337211 337135 0 -1 4194304 268 3224 0 0 0 0 150456 28961 20 0 1 0 61416039 10170368 685 134679101440 94429958688768 94429959768088 140734169929760 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94429961866544 94429961913732 94429981368320 140734169936874 140734169937019 140734169937019 140734169944034 0
/proc/337211/statm: 2483 685 596 264 0 134 0
[pid=338126] ppid=337211 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/338126/stat : 338126 (timeout) S 337211 338126 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 93926789754880 93926789789896 140722948451040 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93926791887312 93926791889444 93926807527424 140722948457460 140722948457629 140722948457629 140722948464615 0
/proc/338126/statm: 2165 229 205 9 0 87 0
[pid=338127] ppid=338126 vsize=196484 memory=174616 CPUtime=1792.96 cores=4,6
/proc/338127/stat : 338127 (Exact) R 338126 338126 337135 0 -1 4194304 24700 0 0 0 179287 9 0 0 20 0 1 0 61595843 201199616 43654 134679101440 4194304 7243121 140723570595808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 23298048 140723570603024 140723570603174 140723570603174 140723570610160 0
/proc/338127/statm: 49121 43654 804 745 0 48186 0
Current children cumulated CPU time: 3587.13 s
Current children cumulated vsize: 215076 KiB
Current children cumulated memory: 178272 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3587.2
CPU user time (s): 3297.48
CPU system time (s): 289.729
CPU usage (%): 99.7532
Max. virtual memory (cumulated for all children) (KiB): 215076
Max. memory (cumulated for all children) (KiB): 178272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3297.48
system time used= 289.729
maximum resident set size= 174616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31178
page faults= 2
swaps= 0
block input operations= 280
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 1845


# summary of solver processes directly reported to runsolver:
#   pid: 337211
#   total CPU time (s): 3587.2
#   total CPU user time (s): 3297.48
#   total CPU system time (s): 289.729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70603 second user time and 19.7515 second system time

The end