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 (62695 MiB free)
  memory of node 1: 64473 MiB (63360 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=354215, runsolver pid=354212

[startup+0.100089 s]*
/proc/loadavg: 4.14 4.18 3.87 5/249 354219
/proc/meminfo: memFree=129065220/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=31424 memory=18880 CPUtime=0.09 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 1850 0 0 0 9 0 0 0 20 0 1 0 65952537 32178176 4720 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 7856 4720 1073 2753 0 4509 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50016 KiB
Current children cumulated memory: 22568 KiB

[startup+0.213217 s]*
/proc/loadavg: 4.14 4.18 3.87 5/249 354219
/proc/meminfo: memFree=129063836/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=32960 memory=19908 CPUtime=0.2 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 2438 0 0 0 20 0 0 0 20 0 1 0 65952537 33751040 4977 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 8240 4977 1073 2753 0 4893 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51552 KiB
Current children cumulated memory: 23596 KiB

[startup+0.310407 s]*
/proc/loadavg: 4.14 4.18 3.87 5/249 354219
/proc/meminfo: memFree=129063036/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=37060 memory=23536 CPUtime=0.29 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 2868 0 0 0 29 0 0 0 20 0 1 0 65952537 37949440 5884 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 9265 5884 1073 2753 0 5918 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55652 KiB
Current children cumulated memory: 27224 KiB

[startup+0.700429 s]
/proc/loadavg: 4.14 4.18 3.87 5/249 354219
/proc/meminfo: memFree=129056728/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=39104 memory=23840 CPUtime=0.67 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 3419 0 0 0 66 1 0 0 20 0 1 0 65952537 40042496 5960 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 9776 5960 1073 2753 0 6429 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 57696 KiB
Current children cumulated memory: 27528 KiB

[startup+1.50044 s]
/proc/loadavg: 4.14 4.18 3.87 5/249 354219
/proc/meminfo: memFree=129049324/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=47296 memory=34084 CPUtime=1.48 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 3941 0 0 0 146 2 0 0 20 0 1 0 65952537 48431104 8521 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 11824 8521 1073 2753 0 8477 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65888 KiB
Current children cumulated memory: 37772 KiB

[startup+3.11287 s]
/proc/loadavg: 4.13 4.17 3.87 5/249 354220
/proc/meminfo: memFree=128900640/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=178564 memory=157140 CPUtime=3.09 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 14317 0 0 0 303 6 0 0 20 0 1 0 65952537 182849536 39285 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 44641 39285 1105 2753 0 41294 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 197156 KiB
Current children cumulated memory: 160828 KiB

[startup+6.30047 s]
/proc/loadavg: 4.13 4.17 3.87 5/249 354220
/proc/meminfo: memFree=128864960/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=178564 memory=157140 CPUtime=6.27 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 14342 0 0 0 621 6 0 0 20 0 1 0 65952537 182849536 39285 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 44641 39285 1105 2753 0 41294 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 197156 KiB
Current children cumulated memory: 160828 KiB

[startup+12.7005 s]
/proc/loadavg: 4.11 4.17 3.88 5/249 354220
/proc/meminfo: memFree=128743048/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=249804 memory=226792 CPUtime=12.64 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 33347 0 0 0 1254 10 0 0 20 0 1 0 65952537 255799296 56698 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 62451 56698 1169 2753 0 59104 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 268396 KiB
Current children cumulated memory: 230480 KiB

[startup+25.5005 s]
/proc/loadavg: 4.17 4.18 3.88 5/249 354223
/proc/meminfo: memFree=128676996/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=249804 memory=226792 CPUtime=25.42 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 33376 0 0 0 2526 16 0 0 20 0 1 0 65952537 255799296 56698 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 62451 56698 1169 2753 0 59104 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 268396 KiB
Current children cumulated memory: 230480 KiB

[startup+51.113 s]
/proc/loadavg: 4.19 4.18 3.89 5/249 354226
/proc/meminfo: memFree=128599788/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 668 589 264 0 134 0
[pid=354218] ppid=354215 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/354218/stat : 354218 (timeout) S 354215 354218 353128 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65952537 8867840 254 134679101440 94462250389504 94462250424520 140721895339168 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94462252521936 94462252524068 94462274392064 140721895347239 140721895347361 140721895347361 140721895354343 0
/proc/354218/statm: 2165 254 230 9 0 87 0
[pid=354219] ppid=354218 vsize=249804 memory=226824 CPUtime=50.98 cores=5,7
/proc/354219/stat : 354219 (LS-MabP) R 354218 354218 353128 0 -1 4194304 33420 0 0 0 5074 24 0 0 20 0 1 0 65952537 255799296 56706 134679101440 4194304 15467897 140724669624896 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51228672 140724669629499 140724669629608 140724669629608 140724669636590 0
/proc/354219/statm: 62451 56706 1169 2753 0 59104 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 268396 KiB
Current children cumulated memory: 230512 KiB

[startup+102.301 s]
/proc/loadavg: 4.17 4.18 3.91 5/251 354405
/proc/meminfo: memFree=128503804/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 65952536 10170368 668 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0

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

/proc/355312/statm: 40320 32453 852 745 0 39385 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 179872 KiB
Current children cumulated memory: 133440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/248 355840
/proc/meminfo: memFree=126899792/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=161456 memory=129920 CPUtime=1659.93 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19160 0 0 0 165987 6 0 0 20 0 1 0 66132342 165330944 32480 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40364 32480 852 745 0 39429 0
Current children cumulated CPU time: 3453.97 s
Current children cumulated vsize: 180048 KiB
Current children cumulated memory: 133548 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/248 356234
/proc/meminfo: memFree=126898732/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=162344 memory=130800 CPUtime=1719.79 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19425 0 0 0 171973 6 0 0 20 0 1 0 66132342 166240256 32700 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40586 32700 852 745 0 39651 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 180936 KiB
Current children cumulated memory: 134428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/248 356246
/proc/meminfo: memFree=126897472/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=162880 memory=131432 CPUtime=1779.65 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19622 0 0 0 177959 6 0 0 20 0 1 0 66132342 166789120 32858 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40720 32858 852 745 0 39785 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 181472 KiB
Current children cumulated memory: 135060 KiB

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

# cumulated CPU time of all completed processes:  user=3582.41 s, system=5.07467 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.16 4.17 5/248 356248
/proc/meminfo: memFree=126897444/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=162880 memory=131432 CPUtime=1781.36 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19624 0 0 0 178130 6 0 0 20 0 1 0 66132342 166789120 32858 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40720 32858 852 745 0 39785 0
Current children cumulated CPU time: 3575.4 s
Current children cumulated vsize: 181472 KiB
Current children cumulated memory: 135060 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.16 4.17 5/248 356252
/proc/meminfo: memFree=127327312/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=162880 memory=131432 CPUtime=1787.73 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19629 0 0 0 178767 6 0 0 20 0 1 0 66132342 166789120 32858 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40720 32858 852 745 0 39785 0
Current children cumulated CPU time: 3581.77 s
Current children cumulated vsize: 181472 KiB
Current children cumulated memory: 135060 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.16 4.17 5/248 356254
/proc/meminfo: memFree=127256020/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=162880 memory=131432 CPUtime=1790.93 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19634 0 0 0 179087 6 0 0 20 0 1 0 66132342 166789120 32858 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40720 32858 852 745 0 39785 0
Current children cumulated CPU time: 3584.97 s
Current children cumulated vsize: 181472 KiB
Current children cumulated memory: 135060 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.16 4.17 5/248 356254
/proc/meminfo: memFree=127227180/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=162880 memory=131432 CPUtime=1792.52 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19634 0 0 0 179246 6 0 0 20 0 1 0 66132342 166789120 32858 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40720 32858 852 745 0 39785 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 181472 KiB
Current children cumulated memory: 135060 KiB

[startup+3595.6 s]
/proc/loadavg: 4.08 4.16 4.17 5/248 356254
/proc/meminfo: memFree=127227180/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=162880 memory=131432 CPUtime=1792.92 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19634 0 0 0 179286 6 0 0 20 0 1 0 66132342 166789120 32858 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40720 32858 852 745 0 39785 0
Current children cumulated CPU time: 3586.96 s
Current children cumulated vsize: 181472 KiB
Current children cumulated memory: 135060 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.16 4.17 5/248 356254
/proc/meminfo: memFree=127127888/131655788 swapFree=131071216/131071996
[pid=354215] ppid=354212 vsize=9932 memory=2716 CPUtime=1794.04 cores=5,7
/proc/354215/stat : 354215 (Hybrid-LSMabP+E) S 354212 354215 353128 0 -1 4194304 266 34829 0 0 0 0 178906 498 20 0 1 0 65952536 10170368 679 134679101440 93875568717824 93875569797144 140726209544448 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93875571895600 93875571942788 93875602264064 140726209553390 140726209553535 140726209553535 140726209560546 0
/proc/354215/statm: 2483 679 589 264 0 134 0
[pid=355311] ppid=354215 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/355311/stat : 355311 (timeout) S 354215 355311 353128 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 66132342 8867840 228 134679101440 94738592931840 94738592966856 140734801683776 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94738595064272 94738595066404 94738608181248 140734801691640 140734801691809 140734801691809 140734801698791 0
/proc/355311/statm: 2165 228 204 9 0 87 0
[pid=355312] ppid=355311 vsize=162880 memory=131432 CPUtime=1793.33 cores=5,7
/proc/355312/stat : 355312 (Exact) R 355311 355311 353128 0 -1 4194304 19634 0 0 0 179327 6 0 0 20 0 1 0 66132342 166789120 32858 134679101440 4194304 7243121 140736515059296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 20910080 140736515064852 140736515065002 140736515065002 140736515071984 0
/proc/355312/statm: 40720 32858 852 745 0 39785 0
Current children cumulated CPU time: 3587.37 s
Current children cumulated vsize: 181472 KiB
Current children cumulated memory: 135060 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3587.48
CPU user time (s): 3582.41
CPU system time (s): 5.07467
CPU usage (%): 99.7608
Max. virtual memory (cumulated for all children) (KiB): 268396
Max. memory (cumulated for all children) (KiB): 232376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.41
system time used= 5.07467
maximum resident set size= 228688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113
involuntary context switches= 4967


# summary of solver processes directly reported to runsolver:
#   pid: 354215
#   total CPU time (s): 3587.48
#   total CPU user time (s): 3582.41
#   total CPU system time (s): 5.07467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0111 second user time and 37.072 second system time

The end