runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63024 MiB free)
  memory of node 1: 64473 MiB (63375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438345-1722959026/watcher-4438345-1722959026 -o /tmp/evaluation-result-4438345-1722959026/solver-4438345-1722959026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722959025-341130 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438345-1722959026.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
Current StackSize limit: 8192 KiB

solver pid=341194, runsolver pid=341191

[startup+0.100501 s]*
/proc/loadavg: 2.96 3.99 4.09 7/256 341207
/proc/meminfo: memFree=129413416/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=28512 memory=9924 CPUtime=0.09 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 1857 0 0 0 9 0 0 0 20 0 1 0 62499583 29196288 2481 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 7128 2481 750 2417 0 4230 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47104 KiB
Current children cumulated memory: 13604 KiB

[startup+0.213695 s]*
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129376152/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=35568 memory=17244 CPUtime=0.21 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 3639 0 0 0 20 1 0 0 20 0 1 0 62499583 36421632 4311 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 8892 4311 750 2417 0 5994 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54160 KiB
Current children cumulated memory: 20924 KiB

[startup+0.314806 s]*
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129332240/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=42036 memory=23580 CPUtime=0.3 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 5221 0 0 0 29 1 0 0 20 0 1 0 62499583 43044864 5895 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 10509 5895 750 2417 0 7611 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60628 KiB
Current children cumulated memory: 27260 KiB

[startup+0.700523 s]
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129293704/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=65396 memory=46736 CPUtime=0.68 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 11037 0 0 0 64 4 0 0 20 0 1 0 62499583 66965504 11684 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 16349 11684 750 2417 0 13451 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83988 KiB
Current children cumulated memory: 50416 KiB

[startup+1.50054 s]
/proc/loadavg: 2.96 3.99 4.09 5/256 341207
/proc/meminfo: memFree=129145036/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=209512 memory=198136 CPUtime=1.47 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 47956 0 0 0 134 13 0 0 20 0 1 0 62499583 214540288 49534 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 52378 49534 2350 2417 0 49480 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 228104 KiB
Current children cumulated memory: 201816 KiB

[startup+3.11386 s]
/proc/loadavg: 2.96 3.99 4.09 6/256 341207
/proc/meminfo: memFree=127864308/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=473700 memory=423700 CPUtime=3.08 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 64952 0 0 0 288 20 0 0 20 0 1 0 62499583 485068800 105925 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 118425 105925 2414 2417 0 115527 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 492292 KiB
Current children cumulated memory: 427380 KiB

[startup+6.30051 s]
/proc/loadavg: 3.04 3.99 4.09 5/256 341207
/proc/meminfo: memFree=126620788/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=574324 memory=513584 CPUtime=6.26 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 86893 0 0 0 603 23 0 0 20 0 1 0 62499583 588107776 128396 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 143581 128396 2526 2417 0 140683 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 592916 KiB
Current children cumulated memory: 517264 KiB

[startup+12.7005 s]
/proc/loadavg: 3.20 4.01 4.10 5/256 341209
/proc/meminfo: memFree=126023580/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=611236 memory=527184 CPUtime=12.64 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 89309 0 0 0 1240 24 0 0 20 0 1 0 62499583 625905664 131796 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 152809 131796 2526 2417 0 149911 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 629828 KiB
Current children cumulated memory: 530864 KiB

[startup+25.5005 s]
/proc/loadavg: 3.38 4.00 4.09 5/256 341210
/proc/meminfo: memFree=125902376/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=652720 memory=533960 CPUtime=25.39 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 90532 0 0 0 2514 25 0 0 20 0 1 0 62499583 668385280 133490 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 163180 133490 2526 2417 0 160282 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 671312 KiB
Current children cumulated memory: 537640 KiB

[startup+51.1142 s]
/proc/loadavg: 3.59 4.00 4.09 5/256 341215
/proc/meminfo: memFree=125730004/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 692 614 264 0 134 0
[pid=341197] ppid=341194 vsize=8660 memory=912 CPUtime=0 cores=0,2
/proc/341197/stat : 341197 (timeout) S 341194 341197 341120 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499583 8867840 228 134679101440 94562937167872 94562937202888 140725414747040 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94562939300304 94562939302436 94562970034176 140725414749196 140725414749341 140725414749341 140725414756327 0
/proc/341197/statm: 2165 228 204 9 0 87 0
[pid=341198] ppid=341197 vsize=899188 memory=673012 CPUtime=50.9 cores=0,2
/proc/341198/stat : 341198 (CASHWMaxSAT-Dis) R 341197 341197 341120 0 -1 4194304 124770 0 0 0 5060 30 0 0 20 0 1 0 62499583 920768512 168253 134679101440 4194304 14093885 140723733751504 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50884608 140723733758994 140723733759126 140723733759126 140723733766112 0
/proc/341198/statm: 224797 168253 2542 2417 0 221899 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 917780 KiB
Current children cumulated memory: 676692 KiB

[startup+102.301 s]
/proc/loadavg: 3.94 4.03 4.09 5/256 341224
/proc/meminfo: memFree=125687300/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2768 CPUtime=0 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62499582 10170368 692 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0

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

/proc/342113/statm: 39673 35499 748 737 0 38761 0
Current children cumulated CPU time: 3389.83 s
Current children cumulated vsize: 177284 KiB
Current children cumulated memory: 145800 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 343031
/proc/meminfo: memFree=125952712/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=158692 memory=141996 CPUtime=1658.7 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 18489 0 0 0 165864 6 0 0 20 0 1 0 62679386 162500608 35499 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 39673 35499 748 737 0 38761 0
Current children cumulated CPU time: 3449.63 s
Current children cumulated vsize: 177284 KiB
Current children cumulated memory: 145800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 343042
/proc/meminfo: memFree=125947680/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=160176 memory=144024 CPUtime=1718.52 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 19070 0 0 0 171846 6 0 0 20 0 1 0 62679386 164020224 36006 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 40044 36006 748 737 0 39132 0
Current children cumulated CPU time: 3509.45 s
Current children cumulated vsize: 178768 KiB
Current children cumulated memory: 147828 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 343055
/proc/meminfo: memFree=125941828/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=163180 memory=146980 CPUtime=1778.33 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 19901 0 0 0 177827 6 0 0 20 0 1 0 62679386 167096320 36745 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 40795 36745 748 737 0 39883 0
Current children cumulated CPU time: 3569.26 s
Current children cumulated vsize: 181772 KiB
Current children cumulated memory: 150784 KiB

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

# cumulated CPU time of all completed processes:  user=3581.88 s, system=1.16459 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 343055
/proc/meminfo: memFree=125941800/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=163180 memory=146980 CPUtime=1780.04 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 19901 0 0 0 177998 6 0 0 20 0 1 0 62679386 167096320 36745 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 40795 36745 748 737 0 39883 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 181772 KiB
Current children cumulated memory: 150784 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 343056
/proc/meminfo: memFree=125940596/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=163180 memory=146980 CPUtime=1786.41 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 19901 0 0 0 178635 6 0 0 20 0 1 0 62679386 167096320 36745 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 40795 36745 748 737 0 39883 0
Current children cumulated CPU time: 3577.34 s
Current children cumulated vsize: 181772 KiB
Current children cumulated memory: 150784 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 343056
/proc/meminfo: memFree=125940568/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=163180 memory=146980 CPUtime=1789.6 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 19901 0 0 0 178954 6 0 0 20 0 1 0 62679386 167096320 36745 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 40795 36745 748 737 0 39883 0
Current children cumulated CPU time: 3580.53 s
Current children cumulated vsize: 181772 KiB
Current children cumulated memory: 150784 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 343056
/proc/meminfo: memFree=125940560/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=163180 memory=146980 CPUtime=1791.2 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 19901 0 0 0 179114 6 0 0 20 0 1 0 62679386 167096320 36745 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 40795 36745 748 737 0 39883 0
Current children cumulated CPU time: 3582.13 s
Current children cumulated vsize: 181772 KiB
Current children cumulated memory: 150784 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 343056
/proc/meminfo: memFree=125940560/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=163180 memory=146980 CPUtime=1791.59 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 19901 0 0 0 179153 6 0 0 20 0 1 0 62679386 167096320 36745 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 40795 36745 748 737 0 39883 0
Current children cumulated CPU time: 3582.52 s
Current children cumulated vsize: 181772 KiB
Current children cumulated memory: 150784 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.11 4.09 3/244 343101
/proc/meminfo: memFree=129149472/131655788 swapFree=131071996/131071996
[pid=341194] ppid=341191 vsize=9932 memory=2828 CPUtime=1790.93 cores=0,2
/proc/341194/stat : 341194 (Hybrid-CASHWMax) S 341191 341194 341120 0 -1 4194304 276 445356 0 0 0 0 178986 107 20 0 1 0 62499582 10170368 707 134679101440 94535002910720 94535003990040 140720770152352 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94535006088496 94535006135684 94535008600064 140720770159568 140720770159726 140720770159726 140720770166741 0
/proc/341194/statm: 2483 707 614 264 0 134 0
[pid=342112] ppid=341194 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/342112/stat : 342112 (timeout) S 341194 342112 341120 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62679386 8867840 244 134679101440 94168828624896 94168828659912 140737284274544 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94168830757328 94168830759460 94168836304896 140737284277236 140737284277405 140737284277405 140737284284391 0
/proc/342112/statm: 2165 244 220 9 0 87 0
[pid=342113] ppid=342112 vsize=163180 memory=146980 CPUtime=1792 cores=0,2
/proc/342113/stat : 342113 (Exact) R 342112 342112 341120 0 -1 4194304 19901 0 0 0 179194 6 0 0 20 0 1 0 62679386 167096320 36745 134679101440 4194304 7210733 140724609756576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 40964096 140724609758224 140724609758374 140724609758374 140724609765360 0
/proc/342113/statm: 40795 36745 748 737 0 39883 0
Current children cumulated CPU time: 3582.93 s
Current children cumulated vsize: 181772 KiB
Current children cumulated memory: 150784 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3583.05
CPU user time (s): 3581.88
CPU system time (s): 1.16459
CPU usage (%): 99.6374
Max. virtual memory (cumulated for all children) (KiB): 1937620
Max. memory (cumulated for all children) (KiB): 1629496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.88
system time used= 1.16459
maximum resident set size= 1625816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138
involuntary context switches= 25268


# summary of solver processes directly reported to runsolver:
#   pid: 341194
#   total CPU time (s): 3583.05
#   total CPU user time (s): 3581.88
#   total CPU system time (s): 1.16459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7963 second user time and 42.7906 second system time

The end