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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438287-1722961817/watcher-4438287-1722961817 -o /tmp/evaluation-result-4438287-1722961817/solver-4438287-1722961817 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722960830-338983 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438287-1722961817.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=341174, runsolver pid=341171

[startup+0.100225 s]*
/proc/loadavg: 4.05 4.05 3.82 5/270 341178
/proc/meminfo: memFree=127946444/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=42748 memory=34156 CPUtime=0.08 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 6273 0 0 0 8 0 0 0 20 0 1 0 62782245 43773952 8539 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 10687 8539 2494 2417 0 7789 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61340 KiB
Current children cumulated memory: 37800 KiB

[startup+0.20597 s]*
/proc/loadavg: 4.05 4.05 3.82 5/270 341178
/proc/meminfo: memFree=127943636/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=44960 memory=36304 CPUtime=0.19 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 6823 0 0 0 19 0 0 0 20 0 1 0 62782245 46039040 9076 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 11240 9076 2510 2417 0 8342 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63552 KiB
Current children cumulated memory: 39948 KiB

[startup+0.305914 s]*
/proc/loadavg: 4.05 4.05 3.82 5/270 341178
/proc/meminfo: memFree=127943128/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=44960 memory=36304 CPUtime=0.29 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 6824 0 0 0 29 0 0 0 20 0 1 0 62782245 46039040 9076 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 11240 9076 2510 2417 0 8342 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63552 KiB
Current children cumulated memory: 39948 KiB

[startup+0.700251 s]
/proc/loadavg: 4.05 4.05 3.82 5/270 341178
/proc/meminfo: memFree=127939768/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=50280 memory=40832 CPUtime=0.68 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 7957 0 0 0 67 1 0 0 20 0 1 0 62782245 51486720 10208 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 12570 10208 2526 2417 0 9672 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68872 KiB
Current children cumulated memory: 44476 KiB

[startup+1.50025 s]
/proc/loadavg: 4.05 4.05 3.82 5/270 341178
/proc/meminfo: memFree=127938760/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=50704 memory=41096 CPUtime=1.48 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 8022 0 0 0 147 1 0 0 20 0 1 0 62782245 51920896 10274 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 12676 10274 2526 2417 0 9778 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69296 KiB
Current children cumulated memory: 44740 KiB

[startup+3.1058 s]
/proc/loadavg: 4.05 4.05 3.82 5/270 341178
/proc/meminfo: memFree=127917084/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=71052 memory=60368 CPUtime=3.08 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 12822 0 0 0 307 1 0 0 20 0 1 0 62782245 72757248 15092 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 17763 15092 2526 2417 0 14865 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89644 KiB
Current children cumulated memory: 64012 KiB

[startup+6.30024 s]
/proc/loadavg: 4.04 4.05 3.82 5/270 341178
/proc/meminfo: memFree=127921084/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=103544 memory=91784 CPUtime=6.26 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 20665 0 0 0 624 2 0 0 20 0 1 0 62782245 106029056 22946 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 25886 22946 2526 2417 0 22988 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122136 KiB
Current children cumulated memory: 95428 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.07 3.82 5/270 341180
/proc/meminfo: memFree=127866592/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=125576 memory=110000 CPUtime=12.65 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 25239 0 0 0 1262 3 0 0 20 0 1 0 62782245 128589824 27500 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 31394 27500 2526 2417 0 28496 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 144168 KiB
Current children cumulated memory: 113644 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.06 3.83 5/269 341181
/proc/meminfo: memFree=127863152/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=132456 memory=117128 CPUtime=25.41 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 26995 0 0 0 2538 3 0 0 20 0 1 0 62782245 135634944 29282 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 33114 29282 2526 2417 0 30216 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 151048 KiB
Current children cumulated memory: 120772 KiB

[startup+51.106 s]
/proc/loadavg: 4.06 4.06 3.83 5/269 341187
/proc/meminfo: memFree=127891536/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 683 606 264 0 134 0
[pid=341177] ppid=341174 vsize=8660 memory=912 CPUtime=0 cores=4,6
/proc/341177/stat : 341177 (timeout) S 341174 341177 338972 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62782245 8867840 228 134679101440 94044755128320 94044755163336 140727332918704 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94044757260752 94044757262884 94044763009024 140727332922380 140727332922525 140727332922525 140727332929511 0
/proc/341177/statm: 2165 228 204 9 0 87 0
[pid=341178] ppid=341177 vsize=184536 memory=166268 CPUtime=50.93 cores=4,6
/proc/341178/stat : 341178 (CASHWMaxSAT-Dis) R 341177 341177 338972 0 -1 4194304 39248 0 0 0 5088 5 0 0 20 0 1 0 62782245 188964864 41567 134679101440 4194304 14093885 140723803060640 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 21606400 140723803067410 140723803067542 140723803067542 140723803074528 0
/proc/341178/statm: 46134 41567 2542 2417 0 43236 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 203128 KiB
Current children cumulated memory: 169912 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.08 3.85 5/268 341195
/proc/meminfo: memFree=127839856/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62782245 10170368 683 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0

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

/proc/342075/statm: 52848 50331 748 737 0 51936 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 229984 KiB
Current children cumulated memory: 205056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 342977
/proc/meminfo: memFree=127819908/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=211712 memory=201884 CPUtime=1660.25 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29094 0 0 0 166016 9 0 0 20 0 1 0 62962046 216793088 50471 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 52928 50471 748 737 0 52016 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 230304 KiB
Current children cumulated memory: 205616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 343208
/proc/meminfo: memFree=128175920/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=214272 memory=204116 CPUtime=1720.11 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29731 0 0 0 172002 9 0 0 20 0 1 0 62962046 219414528 51029 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 53568 51029 748 737 0 52656 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 232864 KiB
Current children cumulated memory: 207848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 343218
/proc/meminfo: memFree=128108576/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=214464 memory=204352 CPUtime=1779.97 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29872 0 0 0 177988 9 0 0 20 0 1 0 62962046 219611136 51088 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 53616 51088 748 737 0 52704 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 208084 KiB

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

# cumulated CPU time of all completed processes:  user=3586.25 s, system=0.632414 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.09 5/267 343218
/proc/meminfo: memFree=128108584/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=214464 memory=204352 CPUtime=1781.67 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29872 0 0 0 178158 9 0 0 20 0 1 0 62962046 219611136 51088 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 53616 51088 748 737 0 52704 0
Current children cumulated CPU time: 3574.85 s
Current children cumulated vsize: 233056 KiB
Current children cumulated memory: 208084 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 343220
/proc/meminfo: memFree=128105324/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=214720 memory=204352 CPUtime=1788.05 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29919 0 0 0 178796 9 0 0 20 0 1 0 62962046 219873280 51088 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 53680 51088 748 737 0 52768 0
Current children cumulated CPU time: 3581.23 s
Current children cumulated vsize: 233312 KiB
Current children cumulated memory: 208084 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 343220
/proc/meminfo: memFree=128104316/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=214720 memory=204352 CPUtime=1791.24 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29919 0 0 0 179115 9 0 0 20 0 1 0 62962046 219873280 51088 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 53680 51088 748 737 0 52768 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 233312 KiB
Current children cumulated memory: 208084 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 343220
/proc/meminfo: memFree=128103988/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=214720 memory=204352 CPUtime=1792.84 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29919 0 0 0 179275 9 0 0 20 0 1 0 62962046 219873280 51088 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 53680 51088 748 737 0 52768 0
Current children cumulated CPU time: 3586.02 s
Current children cumulated vsize: 233312 KiB
Current children cumulated memory: 208084 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 343220
/proc/meminfo: memFree=128103988/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=214720 memory=204352 CPUtime=1793.24 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29919 0 0 0 179315 9 0 0 20 0 1 0 62962046 219873280 51088 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 53680 51088 748 737 0 52768 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 233312 KiB
Current children cumulated memory: 208084 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.10 4.09 7/269 343229
/proc/meminfo: memFree=128102416/131524600 swapFree=131071996/131071996
[pid=341174] ppid=341171 vsize=9932 memory=2800 CPUtime=1793.18 cores=4,6
/proc/341174/stat : 341174 (Hybrid-CASHWMax) S 341171 341174 338972 0 -1 4194304 277 137686 0 0 0 0 179266 52 20 0 1 0 62782245 10170368 700 134679101440 94231751958528 94231753037848 140733643322864 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94231755136304 94231755183492 94231760396288 140733643330512 140733643330670 140733643330670 140733643337685 0
/proc/341174/statm: 2483 700 606 264 0 134 0
[pid=342074] ppid=341174 vsize=8660 memory=932 CPUtime=0 cores=4,6
/proc/342074/stat : 342074 (timeout) S 341174 342074 338972 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62962046 8867840 233 134679101440 94898832445440 94898832480456 140720629073408 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94898834577872 94898834580004 94898865930240 140720629081076 140720629081245 140720629081245 140720629088231 0
/proc/342074/statm: 2165 233 209 9 0 87 0
[pid=342075] ppid=342074 vsize=214720 memory=204352 CPUtime=1793.64 cores=4,6
/proc/342075/stat : 342075 (Exact) R 342074 342074 338972 0 -1 4194304 29919 0 0 0 179355 9 0 0 20 0 1 0 62962046 219873280 51088 134679101440 4194304 7210733 140727136347296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8 0 0 7850304 7914896 17199104 140727136351248 140727136351398 140727136351398 140727136358384 0
/proc/342075/statm: 53680 51088 748 737 0 52768 0
Current children cumulated CPU time: 3586.82 s
Current children cumulated vsize: 233312 KiB
Current children cumulated memory: 208084 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3586.88
CPU user time (s): 3586.25
CPU system time (s): 0.632414
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 612680
Max. memory (cumulated for all children) (KiB): 580116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.25
system time used= 0.632414
maximum resident set size= 576484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 5985


# summary of solver processes directly reported to runsolver:
#   pid: 341174
#   total CPU time (s): 3586.88
#   total CPU user time (s): 3586.25
#   total CPU system time (s): 0.632414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.50023 second user time and 17.0032 second system time

The end