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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100683 s]*
/proc/loadavg: 0.40 0.16 0.11 8/267 336259
/proc/meminfo: memFree=128800020/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=25884 memory=12856 CPUtime=0.06 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 2232 0 0 0 6 0 0 0 20 0 1 0 61417840 26505216 3214 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 6471 3214 1073 2753 0 3124 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 44476 KiB
Current children cumulated memory: 16600 KiB

[startup+0.206607 s]*
/proc/loadavg: 0.40 0.16 0.11 5/267 336259
/proc/meminfo: memFree=128781204/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=27932 memory=15112 CPUtime=0.17 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 2814 0 0 0 17 0 0 0 20 0 1 0 61417840 28602368 3778 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 6983 3778 1073 2753 0 3636 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46524 KiB
Current children cumulated memory: 18856 KiB

[startup+0.306796 s]*
/proc/loadavg: 0.40 0.16 0.11 6/267 336259
/proc/meminfo: memFree=128771092/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=38640 memory=20528 CPUtime=0.27 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 3639 0 0 0 27 0 0 0 20 0 1 0 61417840 39567360 5132 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 9660 5132 1073 2753 0 6313 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 57232 KiB
Current children cumulated memory: 24272 KiB

[startup+0.70032 s]
/proc/loadavg: 0.40 0.16 0.11 8/267 336259
/proc/meminfo: memFree=128722916/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=67652 memory=54504 CPUtime=0.65 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 9854 0 0 0 64 1 0 0 20 0 1 0 61417840 69275648 13626 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 16913 13626 1105 2753 0 13566 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 86244 KiB
Current children cumulated memory: 58248 KiB

[startup+1.50032 s]
/proc/loadavg: 0.40 0.16 0.11 6/267 336259
/proc/meminfo: memFree=128715988/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=67652 memory=54504 CPUtime=1.45 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 9854 0 0 0 144 1 0 0 20 0 1 0 61417840 69275648 13626 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 16913 13626 1105 2753 0 13566 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 86244 KiB
Current children cumulated memory: 58248 KiB

[startup+3.10672 s]
/proc/loadavg: 0.40 0.16 0.11 6/267 336259
/proc/meminfo: memFree=128703676/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=82208 memory=66912 CPUtime=3.05 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 107387 0 0 0 287 18 0 0 20 0 1 0 61417840 84180992 16728 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 20552 16728 1169 2753 0 17205 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 100800 KiB
Current children cumulated memory: 70656 KiB

[startup+6.30029 s]
/proc/loadavg: 0.69 0.22 0.13 6/267 336261
/proc/meminfo: memFree=128703636/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=82208 memory=66944 CPUtime=6.25 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 114734 0 0 0 598 27 0 0 20 0 1 0 61417840 84180992 16736 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 20552 16736 1169 2753 0 17205 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 100800 KiB
Current children cumulated memory: 70688 KiB

[startup+12.7003 s]
/proc/loadavg: 1.04 0.30 0.16 6/267 336261
/proc/meminfo: memFree=128703572/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=82208 memory=66944 CPUtime=12.64 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 114736 0 0 0 1223 41 0 0 20 0 1 0 61417840 84180992 16736 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 20552 16736 1169 2753 0 17205 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 100800 KiB
Current children cumulated memory: 70688 KiB

[startup+25.5003 s]
/proc/loadavg: 1.69 0.48 0.22 6/267 336264
/proc/meminfo: memFree=128703164/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=82208 memory=66944 CPUtime=25.41 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 119638 0 0 0 2474 67 0 0 20 0 1 0 61417840 84180992 16736 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 20552 16736 1169 2753 0 17205 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 100800 KiB
Current children cumulated memory: 70688 KiB

[startup+51.1067 s]
/proc/loadavg: 2.56 0.78 0.33 6/267 336267
/proc/meminfo: memFree=128702024/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 686 607 264 0 134 0
[pid=336254] ppid=336236 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/336254/stat : 336254 (timeout) S 336236 336254 336172 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 250 134679101440 93972185436160 93972185471176 140726810288576 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 1 0 0 93972187568592 93972187570724 93972195053568 140726810297379 140726810297501 140726810297501 140726810304487 0
/proc/336254/statm: 2165 250 225 9 0 87 0
[pid=336259] ppid=336254 vsize=82208 memory=66944 CPUtime=50.96 cores=1,3
/proc/336259/stat : 336259 (LS-MabP) R 336254 336254 336172 0 -1 4194304 119641 0 0 0 4984 112 0 0 20 0 1 0 61417840 84180992 16736 134679101440 4194304 15467897 140733988226496 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 51400704 140733988234295 140733988234404 140733988234404 140733988241390 0
/proc/336259/statm: 20552 16736 1169 2753 0 17205 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 100800 KiB
Current children cumulated memory: 70688 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 6/267 336276
/proc/meminfo: memFree=128701404/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417837 10170368 686 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0

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

/proc/337163/statm: 58821 42065 820 745 0 57886 0
Current children cumulated CPU time: 3395.17 s
Current children cumulated vsize: 253876 KiB
Current children cumulated memory: 172072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.15 6/265 338076
/proc/meminfo: memFree=125962972/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=237252 memory=170088 CPUtime=1660.1 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 21541 0 0 0 166001 9 0 0 20 0 1 0 61597643 242946048 42522 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 59313 42522 820 745 0 58378 0
Current children cumulated CPU time: 3454.99 s
Current children cumulated vsize: 255844 KiB
Current children cumulated memory: 173900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.14 6/265 338086
/proc/meminfo: memFree=125958260/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=238024 memory=170972 CPUtime=1719.92 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 21824 0 0 0 171983 9 0 0 20 0 1 0 61597643 243736576 42743 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 59506 42743 820 745 0 58571 0
Current children cumulated CPU time: 3514.81 s
Current children cumulated vsize: 256616 KiB
Current children cumulated memory: 174784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.14 6/265 338096
/proc/meminfo: memFree=125955848/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=238764 memory=171476 CPUtime=1779.75 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 22083 0 0 0 177966 9 0 0 20 0 1 0 61597643 244494336 42869 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 59691 42869 820 745 0 58756 0
Current children cumulated CPU time: 3574.64 s
Current children cumulated vsize: 257356 KiB
Current children cumulated memory: 175288 KiB

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

# cumulated CPU time of all completed processes:  user=3558.41 s, system=29.9952 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.16 4.14 6/265 338096
/proc/meminfo: memFree=125955512/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=238764 memory=171476 CPUtime=1781.45 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 22083 0 0 0 178136 9 0 0 20 0 1 0 61597643 244494336 42869 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 59691 42869 820 745 0 58756 0
Current children cumulated CPU time: 3576.34 s
Current children cumulated vsize: 257356 KiB
Current children cumulated memory: 175288 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.16 4.14 6/265 338098
/proc/meminfo: memFree=125954300/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=238764 memory=171740 CPUtime=1787.82 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 22093 0 0 0 178773 9 0 0 20 0 1 0 61597643 244494336 42935 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 59691 42935 820 745 0 58756 0
Current children cumulated CPU time: 3582.71 s
Current children cumulated vsize: 257356 KiB
Current children cumulated memory: 175552 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.16 4.14 6/265 338098
/proc/meminfo: memFree=125953768/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=238764 memory=171740 CPUtime=1791.01 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 22095 0 0 0 179092 9 0 0 20 0 1 0 61597643 244494336 42935 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 59691 42935 820 745 0 58756 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 257356 KiB
Current children cumulated memory: 175552 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.16 4.14 6/265 338099
/proc/meminfo: memFree=125950952/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=241300 memory=174116 CPUtime=1792.62 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 22717 0 0 0 179252 10 0 0 20 0 1 0 61597643 247091200 43529 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 60325 43529 820 745 0 59390 0
Current children cumulated CPU time: 3587.51 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 177928 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.16 4.14 6/265 338099
/proc/meminfo: memFree=125950952/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=241300 memory=174116 CPUtime=1793.02 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 22717 0 0 0 179292 10 0 0 20 0 1 0 61597643 247091200 43529 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 60325 43529 820 745 0 59390 0
Current children cumulated CPU time: 3587.91 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 177928 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.15 4.14 6/265 338099
/proc/meminfo: memFree=125950840/131524600 swapFree=131071996/131071996
[pid=336236] ppid=336228 vsize=9932 memory=2788 CPUtime=1794.89 cores=1,3
/proc/336236/stat : 336236 (Hybrid-LSMabP+E) S 336228 336236 336172 0 -1 4194304 271 122812 0 0 0 0 176501 2988 20 0 1 0 61417837 10170368 697 134679101440 94278776807424 94278777886744 140720620542848 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94278779985200 94278780032388 94278793531392 140720620545002 140720620545147 140720620545147 140720620552162 0
/proc/336236/statm: 2483 697 607 264 0 134 0
[pid=337162] ppid=336236 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337162/stat : 337162 (timeout) S 336236 337162 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597643 8867840 256 134679101440 93998062329856 93998062364872 140726497467408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998064462288 93998064464420 93998092779520 140726497473524 140726497473693 140726497473693 140726497480679 0
/proc/337162/statm: 2165 256 231 9 0 87 0
[pid=337163] ppid=337162 vsize=241300 memory=174116 CPUtime=1793.42 cores=1,3
/proc/337163/stat : 337163 (Exact) R 337162 337162 336172 0 -1 4194304 22717 0 0 0 179332 10 0 0 20 0 1 0 61597643 247091200 43529 134679101440 4194304 7243121 140725913843104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 43892736 140725913846800 140725913846950 140725913846950 140725913853936 0
/proc/337163/statm: 60325 43529 820 745 0 59390 0
Current children cumulated CPU time: 3588.31 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 177928 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3588.4
CPU user time (s): 3558.41
CPU system time (s): 29.9952
CPU usage (%): 99.7867
Max. virtual memory (cumulated for all children) (KiB): 341516
Max. memory (cumulated for all children) (KiB): 214380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.41
system time used= 29.9952
maximum resident set size= 249480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148823
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124
involuntary context switches= 1463


# summary of solver processes directly reported to runsolver:
#   pid: 336236
#   total CPU time (s): 3588.4
#   total CPU user time (s): 3558.41
#   total CPU system time (s): 29.9952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05046 second user time and 22.6972 second system time

The end