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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=331167, runsolver pid=331155
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 0.38 0.14 0.11 8/265 331183
/proc/meminfo: memFree=129126360/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=27444 memory=14676 CPUtime=0.07 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 2146 0 0 0 7 0 0 0 20 0 1 0 61422328 28102656 3669 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 6861 3669 1073 2753 0 3514 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 46036 KiB
Current children cumulated memory: 18328 KiB

[startup+0.206629 s]*
/proc/loadavg: 0.38 0.14 0.11 7/265 331183
/proc/meminfo: memFree=129110824/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=29492 memory=16908 CPUtime=0.18 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 2711 0 0 0 18 0 0 0 20 0 1 0 61422328 30199808 4227 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 7373 4227 1073 2753 0 4026 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 48084 KiB
Current children cumulated memory: 20560 KiB

[startup+0.306532 s]*
/proc/loadavg: 0.38 0.14 0.11 6/265 331183
/proc/meminfo: memFree=129080744/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=33588 memory=19428 CPUtime=0.27 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 2826 0 0 0 27 0 0 0 20 0 1 0 61422328 34394112 4857 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 8397 4857 1073 2753 0 5050 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 52180 KiB
Current children cumulated memory: 23080 KiB

[startup+0.700272 s]
/proc/loadavg: 0.38 0.14 0.11 8/265 331183
/proc/meminfo: memFree=128940204/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=81240 memory=68500 CPUtime=0.66 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 11955 0 0 0 64 2 0 0 20 0 1 0 61422328 83189760 17125 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 20310 17125 1105 2753 0 16963 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 99832 KiB
Current children cumulated memory: 72152 KiB

[startup+1.50031 s]
/proc/loadavg: 0.38 0.14 0.11 8/265 331183
/proc/meminfo: memFree=128867520/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=81240 memory=68500 CPUtime=1.46 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 11955 0 0 0 144 2 0 0 20 0 1 0 61422328 83189760 17125 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 20310 17125 1105 2753 0 16963 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 99832 KiB
Current children cumulated memory: 72152 KiB

[startup+3.10676 s]
/proc/loadavg: 0.38 0.14 0.11 9/265 331183
/proc/meminfo: memFree=128622560/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=81240 memory=68500 CPUtime=3.06 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 11964 0 0 0 304 2 0 0 20 0 1 0 61422328 83189760 17125 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 20310 17125 1105 2753 0 16963 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 99832 KiB
Current children cumulated memory: 72152 KiB

[startup+6.30028 s]
/proc/loadavg: 0.75 0.23 0.13 9/265 331187
/proc/meminfo: memFree=127924112/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=685516 memory=619864 CPUtime=6.24 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 104966 0 0 0 606 18 0 0 20 0 1 0 61422328 701968384 154966 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 171379 154966 2801 2753 0 168032 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 704108 KiB
Current children cumulated memory: 623516 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.29 0.16 7/265 331187
/proc/meminfo: memFree=127834576/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=756448 memory=672316 CPUtime=12.62 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 115092 0 0 0 1242 20 0 0 20 0 1 0 61422328 774602752 168079 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 189112 168079 2833 2753 0 185765 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 775040 KiB
Current children cumulated memory: 675968 KiB

[startup+25.5002 s]
/proc/loadavg: 1.75 0.49 0.22 7/265 331190
/proc/meminfo: memFree=127822236/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=783200 memory=677572 CPUtime=25.37 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 115406 0 0 0 2517 20 0 0 20 0 1 0 61422328 801996800 169393 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 195800 169393 2833 2753 0 192453 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 801792 KiB
Current children cumulated memory: 681224 KiB

[startup+51.1068 s]
/proc/loadavg: 2.52 0.77 0.33 9/265 331193
/proc/meminfo: memFree=127711796/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 667 590 264 0 134 0
[pid=331176] ppid=331167 vsize=8660 memory=984 CPUtime=0 cores=0,2
/proc/331176/stat : 331176 (timeout) S 331167 331176 331095 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 61422327 8867840 246 134679101440 93941951307776 93941951342792 140727432576448 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93941953440208 93941953442340 93941978816512 140727432582189 140727432582305 140727432582305 140727432589287 0
/proc/331176/statm: 2165 246 221 9 0 87 0
[pid=331182] ppid=331176 vsize=818688 memory=677572 CPUtime=50.89 cores=0,2
/proc/331182/stat : 331182 (LS-MabSP) R 331176 331176 331095 0 -1 4194304 115444 0 0 0 5069 20 0 0 20 0 1 0 61422328 838336512 169393 134679101440 4194304 15467897 140733994545504 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 32686080 140733994550336 140733994550439 140733994550439 140733994557421 0
/proc/331182/statm: 204672 169393 2833 2753 0 201325 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 837280 KiB
Current children cumulated memory: 681224 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.29 0.53 8/265 331201
/proc/meminfo: memFree=127560092/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 61422326 10170368 667 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0

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

/proc/332081/statm: 41470 38725 748 737 0 40558 0
Current children cumulated CPU time: 3391.14 s
Current children cumulated vsize: 184472 KiB
Current children cumulated memory: 158640 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.03 8/261 332989
/proc/meminfo: memFree=127889184/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=166544 memory=155396 CPUtime=1658.99 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 19539 0 0 0 165887 12 0 0 20 0 1 0 61602131 170541056 38849 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 41636 38849 748 737 0 40724 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 185136 KiB
Current children cumulated memory: 159136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.03 8/262 333001
/proc/meminfo: memFree=127873348/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=238628 memory=170356 CPUtime=1718.81 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 20943 0 0 0 171866 15 0 0 20 0 1 0 61602131 244355072 42589 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 59657 42589 748 737 0 58745 0
Current children cumulated CPU time: 3510.77 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174096 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.03 8/262 333011
/proc/meminfo: memFree=127858252/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=238628 memory=170572 CPUtime=1778.62 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 21030 0 0 0 177847 15 0 0 20 0 1 0 61602131 244355072 42643 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 59657 42643 748 737 0 58745 0
Current children cumulated CPU time: 3570.58 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174312 KiB

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

# cumulated CPU time of all completed processes:  user=3570.85 s, system=13.5056 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.03 8/262 333013
/proc/meminfo: memFree=127855816/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=238628 memory=170572 CPUtime=1780.32 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 21030 0 0 0 178017 15 0 0 20 0 1 0 61602131 244355072 42643 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 59657 42643 748 737 0 58745 0
Current children cumulated CPU time: 3572.28 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174312 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.03 8/262 333013
/proc/meminfo: memFree=127855484/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=238628 memory=170572 CPUtime=1786.69 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 21033 0 0 0 178654 15 0 0 20 0 1 0 61602131 244355072 42643 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 59657 42643 748 737 0 58745 0
Current children cumulated CPU time: 3578.65 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174312 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.09 4.03 8/262 333013
/proc/meminfo: memFree=127855368/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=238628 memory=170572 CPUtime=1789.88 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 21035 0 0 0 178973 15 0 0 20 0 1 0 61602131 244355072 42643 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 59657 42643 748 737 0 58745 0
Current children cumulated CPU time: 3581.84 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174312 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.09 4.03 8/262 333014
/proc/meminfo: memFree=127855304/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=238628 memory=170572 CPUtime=1791.48 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 21036 0 0 0 179133 15 0 0 20 0 1 0 61602131 244355072 42643 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 59657 42643 748 737 0 58745 0
Current children cumulated CPU time: 3583.44 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174312 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.09 4.03 8/262 333014
/proc/meminfo: memFree=127855304/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=238628 memory=170572 CPUtime=1791.87 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 21036 0 0 0 179172 15 0 0 20 0 1 0 61602131 244355072 42643 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 59657 42643 748 737 0 58745 0
Current children cumulated CPU time: 3583.83 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174312 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.09 4.03 8/262 333014
/proc/meminfo: memFree=127855256/131524600 swapFree=131071996/131071996
[pid=331167] ppid=331155 vsize=9932 memory=2716 CPUtime=1791.96 cores=0,2
/proc/331167/stat : 331167 (Hybrid-LSMabSP+) S 331155 331167 331095 0 -1 4194304 268 250891 0 0 0 0 177863 1333 20 0 1 0 61422326 10170368 679 134679101440 93990786076672 93990787155992 140733047766192 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93990789254448 93990789301636 93990804324352 140733047768044 140733047768190 140733047768190 140733047775201 0
/proc/331167/statm: 2483 679 590 264 0 134 0
[pid=332080] ppid=331167 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/332080/stat : 332080 (timeout) S 331167 332080 331095 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61602131 8867840 256 134679101440 94684596920320 94684596955336 140733436176048 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94684599052752 94684599054884 94684609462272 140733436179448 140733436179617 140733436179617 140733436186599 0
/proc/332080/statm: 2165 256 232 9 0 87 0
[pid=332081] ppid=332080 vsize=238628 memory=170572 CPUtime=1792.28 cores=0,2
/proc/332081/stat : 332081 (Exact) R 332080 332080 331095 0 -1 4194304 21036 0 0 0 179213 15 0 0 20 0 1 0 61602131 244355072 42643 134679101440 4194304 7210733 140721674958832 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 12980224 140721674961940 140721674962090 140721674962090 140721674969072 0
/proc/332081/statm: 59657 42643 748 737 0 58745 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 174312 KiB

Child status: 0

Real time (s): 3596.1
CPU time (s): 3584.36
CPU user time (s): 3570.85
CPU system time (s): 13.5056
CPU usage (%): 99.6736
Max. virtual memory (cumulated for all children) (KiB): 1932740
Max. memory (cumulated for all children) (KiB): 1428704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.85
system time used= 13.5056
maximum resident set size= 1425052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275212
page faults= 0
swaps= 0
block input operations= 32
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161
involuntary context switches= 25301


# summary of solver processes directly reported to runsolver:
#   pid: 331167
#   total CPU time (s): 3584.36
#   total CPU user time (s): 3570.85
#   total CPU system time (s): 13.5056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91686 second user time and 21.896 second system time

The end