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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436649-1722951806/watcher-4436649-1722951806 -o /tmp/evaluation-result-4436649-1722951806/solver-4436649-1722951806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722948202-331997 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436649-1722951806.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
solver pid=334195, runsolver pid=334192
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.35 4.31 4.13 5/266 334199
/proc/meminfo: memFree=128662108/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=36544 memory=18064 CPUtime=0.09 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 3872 0 0 0 9 0 0 0 20 0 1 0 61779868 37421056 4516 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 9136 4516 750 2417 0 6238 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55136 KiB
Current children cumulated memory: 21760 KiB

[startup+0.204849 s]*
/proc/loadavg: 4.35 4.31 4.13 5/266 334199
/proc/meminfo: memFree=128605736/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=51384 memory=32428 CPUtime=0.2 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 7999 0 0 0 19 1 0 0 20 0 1 0 61779868 52617216 8107 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 12846 8107 782 2417 0 9948 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69976 KiB
Current children cumulated memory: 36124 KiB

[startup+0.305292 s]*
/proc/loadavg: 4.35 4.31 4.13 5/266 334199
/proc/meminfo: memFree=128553036/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=77472 memory=50756 CPUtime=0.3 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 11209 0 0 0 29 1 0 0 20 0 1 0 61779868 79331328 12689 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 19368 12689 782 2417 0 16470 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96064 KiB
Current children cumulated memory: 54452 KiB

[startup+0.700312 s]
/proc/loadavg: 4.35 4.31 4.13 5/266 334199
/proc/meminfo: memFree=128427872/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=83476 memory=65412 CPUtime=0.68 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 15348 0 0 0 66 2 0 0 20 0 1 0 61779868 85479424 16353 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 20869 16353 814 2417 0 17971 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 102068 KiB
Current children cumulated memory: 69108 KiB

[startup+1.50032 s]
/proc/loadavg: 4.35 4.31 4.13 5/266 334199
/proc/meminfo: memFree=128261232/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=87872 memory=70360 CPUtime=1.49 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 16084 0 0 0 146 3 0 0 20 0 1 0 61779868 89980928 17590 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 21968 17590 814 2417 0 19070 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106464 KiB
Current children cumulated memory: 74056 KiB

[startup+3.10592 s]
/proc/loadavg: 4.35 4.31 4.13 5/266 334199
/proc/meminfo: memFree=128176664/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=92292 memory=75832 CPUtime=3.08 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 16968 0 0 0 305 3 0 0 20 0 1 0 61779868 94507008 18958 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 23073 18958 814 2417 0 20175 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110884 KiB
Current children cumulated memory: 79528 KiB

[startup+6.3003 s]
/proc/loadavg: 4.49 4.34 4.14 5/266 334201
/proc/meminfo: memFree=128167156/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=115396 memory=94768 CPUtime=6.27 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 17103 0 0 0 623 4 0 0 20 0 1 0 61779868 118165504 23692 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 28849 23692 814 2417 0 25951 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 133988 KiB
Current children cumulated memory: 98464 KiB

[startup+12.7003 s]
/proc/loadavg: 4.45 4.33 4.13 5/266 334201
/proc/meminfo: memFree=128160400/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=108320 memory=92116 CPUtime=12.65 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 18361 0 0 0 1260 5 0 0 20 0 1 0 61779868 110919680 23029 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 27080 23029 814 2417 0 24182 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 126912 KiB
Current children cumulated memory: 95812 KiB

[startup+25.5003 s]
/proc/loadavg: 4.43 4.33 4.14 5/266 334204
/proc/meminfo: memFree=128124128/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=138668 memory=118368 CPUtime=25.4 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 18826 0 0 0 2535 5 0 0 20 0 1 0 61779868 141996032 29592 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 34667 29592 814 2417 0 31769 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 157260 KiB
Current children cumulated memory: 122064 KiB

[startup+51.106 s]
/proc/loadavg: 4.36 4.32 4.14 5/266 334207
/proc/meminfo: memFree=128075292/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 668 589 264 0 134 0
[pid=334198] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/334198/stat : 334198 (timeout) S 334195 334198 331984 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61779868 8867840 256 134679101440 94553634598912 94553634633928 140724881459888 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94553636731344 94553636733476 94553646637056 140724881466393 140724881466525 140724881466525 140724881473511 0
/proc/334198/statm: 2165 256 232 9 0 87 0
[pid=334199] ppid=334198 vsize=138668 memory=122464 CPUtime=50.92 cores=5,7
/proc/334199/stat : 334199 (CASHWMaxSAT-Dis) R 334198 334198 331984 0 -1 4194304 18889 0 0 0 5087 5 0 0 20 0 1 0 61779868 141996032 30616 134679101440 4194304 14093885 140727978709920 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140727978714143 140727978714262 140727978714262 140727978721248 0
/proc/334199/statm: 34667 30616 814 2417 0 31769 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 157260 KiB
Current children cumulated memory: 126160 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.30 4.14 5/266 334216
/proc/meminfo: memFree=128034520/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61779868 10170368 668 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0

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

/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 336007
/proc/meminfo: memFree=127221392/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1660.77 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74301 0 0 0 164381 1696 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/266 336018
/proc/meminfo: memFree=127221076/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1720.67 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74309 0 0 0 170239 1828 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 336029
/proc/meminfo: memFree=127220772/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1780.57 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74317 0 0 0 176098 1959 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

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

# cumulated CPU time of all completed processes:  user=3566.02 s, system=21.0495 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.12 4.09 5/266 336030
/proc/meminfo: memFree=127220704/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1782.26 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74317 0 0 0 176264 1962 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3575.03 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 336030
/proc/meminfo: memFree=127220684/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1788.66 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74317 0 0 0 176889 1977 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3581.43 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 336030
/proc/meminfo: memFree=127220692/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1791.85 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74317 0 0 0 177201 1984 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3584.62 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 336032
/proc/meminfo: memFree=127220616/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1793.44 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74317 0 0 0 177356 1988 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 336032
/proc/meminfo: memFree=127220616/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1793.84 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74317 0 0 0 177395 1989 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.11 4.09 4/248 336130
/proc/meminfo: memFree=128516540/131524600 swapFree=131071996/131071996
[pid=334195] ppid=334192 vsize=9932 memory=2716 CPUtime=1792.77 cores=5,7
/proc/334195/stat : 334195 (Hybrid-LSMabSP+) S 334192 334195 331984 0 -1 4194304 264 31418 0 0 0 0 179164 113 20 0 1 0 61779868 10170368 679 134679101440 94048150499328 94048151578648 140726206327920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94048153677104 94048153724292 94048184754176 140726206333902 140726206334061 140726206334061 140726206341076 0
/proc/334195/statm: 2483 679 589 264 0 134 0
[pid=335092] ppid=334195 vsize=8660 memory=1024 CPUtime=0 cores=5,7
/proc/335092/stat : 335092 (timeout) S 334195 335092 331984 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61959669 8867840 256 134679101440 94735581360128 94735581395144 140733584720160 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94735583492560 94735583494692 94735604445184 140733584729129 140733584729245 140733584729245 140733584736231 0
/proc/335092/statm: 2165 256 231 9 0 87 0
[pid=335093] ppid=335092 vsize=317780 memory=311420 CPUtime=1794.25 cores=5,7
/proc/335093/stat : 335093 (LS-MabSP) R 335092 335092 331984 0 -1 4194304 74317 0 0 0 177435 1990 0 0 20 0 1 0 61959669 325406720 77855 134679101440 4194304 15467897 140737486069136 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40611840 140737486070844 140737486070947 140737486070947 140737486077933 0
/proc/335093/statm: 79445 77855 2849 2753 0 76098 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 336372 KiB
Current children cumulated memory: 315160 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3587.07
CPU user time (s): 3566.02
CPU system time (s): 21.0495
CPU usage (%): 99.7508
Max. virtual memory (cumulated for all children) (KiB): 387852
Max. memory (cumulated for all children) (KiB): 342520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.02
system time used= 21.0495
maximum resident set size= 338780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104
involuntary context switches= 1724


# summary of solver processes directly reported to runsolver:
#   pid: 334195
#   total CPU time (s): 3587.07
#   total CPU user time (s): 3566.02
#   total CPU system time (s): 21.0495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95729 second user time and 17.2478 second system time

The end