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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458855-1722989112/watcher-4458855-1722989112 -o /tmp/evaluation-result-4458855-1722989112/solver-4458855-1722989112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722981917-352361 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4458855-1722989112.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=357236, runsolver pid=357233

[startup+0.100059 s]*
/proc/loadavg: 4.04 4.09 4.08 6/265 357240
/proc/meminfo: memFree=127367484/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=40108 memory=21724 CPUtime=0.09 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 4773 0 0 0 9 0 0 0 20 0 1 0 65510163 41070592 5431 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 10027 5431 750 2417 0 7129 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58700 KiB
Current children cumulated memory: 25560 KiB

[startup+0.205703 s]*
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127331084/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=58768 memory=40232 CPUtime=0.2 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 9383 0 0 0 19 1 0 0 20 0 1 0 65510163 60178432 10058 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 14692 10058 750 2417 0 11794 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77360 KiB
Current children cumulated memory: 44068 KiB

[startup+0.305764 s]*
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127297316/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=75560 memory=56864 CPUtime=0.29 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 13589 0 0 0 28 1 0 0 20 0 1 0 65510163 77373440 14216 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 18890 14216 750 2417 0 15992 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94152 KiB
Current children cumulated memory: 60700 KiB

[startup+0.700295 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127228932/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=141284 memory=122376 CPUtime=0.68 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 29952 0 0 0 65 3 0 0 20 0 1 0 65510163 144674816 30594 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 35321 30594 750 2417 0 32423 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 159876 KiB
Current children cumulated memory: 126212 KiB

[startup+1.50032 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127096348/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=174680 memory=160144 CPUtime=1.49 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 40587 0 0 0 143 6 0 0 20 0 1 0 65510163 178872320 40036 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 43670 40036 782 2417 0 40772 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 193272 KiB
Current children cumulated memory: 163980 KiB

[startup+3.10583 s]
/proc/loadavg: 4.04 4.09 4.08 5/265 357240
/proc/meminfo: memFree=127094148/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=175228 memory=160400 CPUtime=3.09 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 40657 0 0 0 303 6 0 0 20 0 1 0 65510163 179433472 40100 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 43807 40100 782 2417 0 40909 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 193820 KiB
Current children cumulated memory: 164236 KiB

[startup+6.30029 s]
/proc/loadavg: 4.03 4.08 4.08 5/265 357240
/proc/meminfo: memFree=127081772/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=182696 memory=168068 CPUtime=6.27 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 42071 0 0 0 621 6 0 0 20 0 1 0 65510163 187080704 42017 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 45674 42017 798 2417 0 42776 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201288 KiB
Current children cumulated memory: 171904 KiB

[startup+12.7003 s]
/proc/loadavg: 4.03 4.08 4.08 5/265 357242
/proc/meminfo: memFree=127061272/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=189084 memory=172320 CPUtime=12.66 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 43105 0 0 0 1259 7 0 0 20 0 1 0 65510163 193622016 43080 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 47271 43080 798 2417 0 44373 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 207676 KiB
Current children cumulated memory: 176156 KiB

[startup+25.5003 s]
/proc/loadavg: 4.02 4.08 4.08 5/266 357244
/proc/meminfo: memFree=127043492/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=200572 memory=183684 CPUtime=25.41 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 43726 0 0 0 2534 7 0 0 20 0 1 0 65510163 205385728 45921 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 50143 45921 798 2417 0 47245 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 219164 KiB
Current children cumulated memory: 187520 KiB

[startup+51.1061 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 357494
/proc/meminfo: memFree=127432272/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 704 626 264 0 134 0
[pid=357239] ppid=357236 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/357239/stat : 357239 (timeout) S 357236 357239 352348 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65510163 8867840 255 134679101440 94345685704704 94345685739720 140720974546256 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94345687837136 94345687839268 94345713897472 140720974550041 140720974550173 140720974550173 140720974557159 0
/proc/357239/statm: 2165 255 231 9 0 87 0
[pid=357240] ppid=357239 vsize=212360 memory=195156 CPUtime=50.95 cores=5,7
/proc/357240/stat : 357240 (CASHWMaxSAT-Dis) R 357239 357239 352348 0 -1 4194304 44091 0 0 0 5087 8 0 0 20 0 1 0 65510163 217456640 48789 134679101440 4194304 14093885 140727950952656 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22048768 140727950955551 140727950955670 140727950955670 140727950962656 0
/proc/357240/statm: 53090 48789 798 2417 0 50192 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 230952 KiB
Current children cumulated memory: 198992 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 357559
/proc/meminfo: memFree=127376252/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 241 102 0 0 0 0 0 0 20 0 1 0 65510162 10170368 704 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0

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

/proc/358545/statm: 155215 150302 2817 2753 0 151868 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 604980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.21 4.13 5/269 359416
/proc/meminfo: memFree=119776236/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1659.55 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151612 0 0 0 165642 313 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/267 359426
/proc/meminfo: memFree=119775900/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1719.43 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151651 0 0 0 171612 331 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/266 359438
/proc/meminfo: memFree=119775564/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1779.32 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151727 0 0 0 177582 350 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

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

# cumulated CPU time of all completed processes:  user=3582.22 s, system=3.67851 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.18 4.12 5/266 359438
/proc/meminfo: memFree=119775576/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1781.01 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151727 0 0 0 177751 350 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.18 4.12 5/266 359439
/proc/meminfo: memFree=119775588/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1787.4 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151727 0 0 0 178388 352 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1790.59 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151727 0 0 0 178707 352 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1792.18 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151727 0 0 0 178866 352 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 359439
/proc/meminfo: memFree=119775604/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1792.59 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151727 0 0 0 178906 353 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.17 4.12 5/258 359511
/proc/meminfo: memFree=121295752/131524600 swapFree=131071728/131071996
[pid=357236] ppid=357233 vsize=9932 memory=2860 CPUtime=1792.82 cores=5,7
/proc/357236/stat : 357236 (Hybrid-LSMabSP+) S 357233 357236 352348 0 -1 4194304 269 50123 0 0 0 0 179270 12 20 0 1 0 65510162 10170368 715 134679101440 94281341243392 94281342322712 140723371142704 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94281344421168 94281344468356 94281357586432 140723371144142 140723371144301 140723371144301 140723371151316 0
/proc/357236/statm: 2483 715 626 264 0 134 0
[pid=358544] ppid=357236 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/358544/stat : 358544 (timeout) S 357236 358544 352348 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65689963 8867840 228 134679101440 94669241831424 94669241866440 140725355255984 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94669243963856 94669243965988 94669260484608 140725355263017 140725355263133 140725355263133 140725355270119 0
/proc/358544/statm: 2165 228 204 9 0 87 0
[pid=358545] ppid=358544 vsize=620860 memory=602012 CPUtime=1792.99 cores=5,7
/proc/358545/stat : 358545 (LS-MabSP) R 358544 358544 352348 0 -1 4194304 151727 0 0 0 178946 353 0 0 20 0 1 0 65689963 635760640 150503 134679101440 4194304 15467897 140736078363856 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 48799744 140736078369852 140736078369955 140736078369955 140736078376941 0
/proc/358545/statm: 155215 150503 2817 2753 0 151868 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 639452 KiB
Current children cumulated memory: 605784 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3585.9
CPU user time (s): 3582.22
CPU system time (s): 3.67851
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 1090280
Max. memory (cumulated for all children) (KiB): 1018384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.22
system time used= 3.67851
maximum resident set size= 1032588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205189
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 1140


# summary of solver processes directly reported to runsolver:
#   pid: 357236
#   total CPU time (s): 3585.9
#   total CPU user time (s): 3582.22
#   total CPU system time (s): 3.67851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.35456 second user time and 18.3392 second system time

The end