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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=343437, runsolver pid=343434

[startup+0.100979 s]*
/proc/loadavg: 3.62 2.46 2.39 5/265 343441
/proc/meminfo: memFree=120804524/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=43900 memory=34988 CPUtime=0.09 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 6498 0 0 0 9 0 0 0 20 0 1 0 62713061 44953600 8747 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 10975 8747 2510 2417 0 8077 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62492 KiB
Current children cumulated memory: 38728 KiB

[startup+0.205758 s]*
/proc/loadavg: 3.62 2.46 2.39 5/265 343441
/proc/meminfo: memFree=120802732/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=44788 memory=35776 CPUtime=0.19 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 6701 0 0 0 19 0 0 0 20 0 1 0 62713061 45862912 8944 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 11197 8944 2510 2417 0 8299 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63380 KiB
Current children cumulated memory: 39516 KiB

[startup+0.305816 s]*
/proc/loadavg: 3.62 2.46 2.39 5/265 343441
/proc/meminfo: memFree=120802256/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=45100 memory=36364 CPUtime=0.29 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 6796 0 0 0 29 0 0 0 20 0 1 0 62713061 46182400 9091 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 11275 9091 2526 2417 0 8377 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63692 KiB
Current children cumulated memory: 40104 KiB

[startup+0.700286 s]
/proc/loadavg: 3.62 2.46 2.39 5/265 343441
/proc/meminfo: memFree=120798728/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=49004 memory=39768 CPUtime=0.68 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 7685 0 0 0 68 0 0 0 20 0 1 0 62713061 50180096 9942 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 12251 9942 2526 2417 0 9353 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67596 KiB
Current children cumulated memory: 43508 KiB

[startup+1.50027 s]
/proc/loadavg: 3.62 2.46 2.39 5/265 343441
/proc/meminfo: memFree=120797384/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=53436 memory=43464 CPUtime=1.48 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 8559 0 0 0 147 1 0 0 20 0 1 0 62713061 54718464 10866 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 13359 10866 2526 2417 0 10461 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72028 KiB
Current children cumulated memory: 47204 KiB

[startup+3.10554 s]
/proc/loadavg: 3.62 2.46 2.39 5/265 343441
/proc/meminfo: memFree=120783120/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=66092 memory=55344 CPUtime=3.08 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 11588 0 0 0 307 1 0 0 20 0 1 0 62713061 67678208 13836 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 16523 13836 2526 2417 0 13625 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84684 KiB
Current children cumulated memory: 59084 KiB

[startup+6.30027 s]
/proc/loadavg: 3.65 2.48 2.40 5/265 343441
/proc/meminfo: memFree=120731712/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=95688 memory=82536 CPUtime=6.27 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 18334 0 0 0 625 2 0 0 20 0 1 0 62713061 97984512 20634 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 23922 20634 2526 2417 0 21024 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 114280 KiB
Current children cumulated memory: 86276 KiB

[startup+12.7003 s]
/proc/loadavg: 3.68 2.51 2.41 5/265 343443
/proc/meminfo: memFree=120712280/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=106172 memory=91776 CPUtime=12.65 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 20670 0 0 0 1263 2 0 0 20 0 1 0 62713061 108720128 22944 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 26543 22944 2526 2417 0 23645 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 124764 KiB
Current children cumulated memory: 95516 KiB

[startup+25.5002 s]
/proc/loadavg: 3.75 2.58 2.44 5/265 343445
/proc/meminfo: memFree=120685064/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=116996 memory=101544 CPUtime=25.42 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 23120 0 0 0 2539 3 0 0 20 0 1 0 62713061 119803904 25386 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 29249 25386 2526 2417 0 26351 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 135588 KiB
Current children cumulated memory: 105284 KiB

[startup+51.1055 s]
/proc/loadavg: 3.89 2.71 2.48 5/265 343450
/proc/meminfo: memFree=120583448/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 673 593 264 0 134 0
[pid=343440] ppid=343437 vsize=8660 memory=1048 CPUtime=0 cores=1,3
/proc/343440/stat : 343440 (timeout) S 343437 343440 343080 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62713060 8867840 262 134679101440 94184819630080 94184819665096 140730689618768 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94184821762512 94184821764644 94184830042112 140730689623052 140730689623197 140730689623197 140730689630183 0
/proc/343440/statm: 2165 262 238 9 0 87 0
[pid=343441] ppid=343440 vsize=191872 memory=170708 CPUtime=50.96 cores=1,3
/proc/343441/stat : 343441 (CASHWMaxSAT-Dis) R 343440 343440 343080 0 -1 4194304 40399 0 0 0 5090 6 0 0 20 0 1 0 62713061 196476928 42677 134679101440 4194304 14093885 140731303449616 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 49201152 140731303453714 140731303453846 140731303453846 140731303460832 0
/proc/343441/statm: 47968 42677 2526 2417 0 45070 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 210464 KiB
Current children cumulated memory: 174448 KiB

[startup+102.3 s]
/proc/loadavg: 4.01 2.93 2.57 5/267 343463
/proc/meminfo: memFree=120535036/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2692 CPUtime=0 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 238 101 0 0 0 0 0 0 20 0 1 0 62713060 10170368 673 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0

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

/proc/344398/statm: 69383 51435 748 737 0 68471 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 296124 KiB
Current children cumulated memory: 209436 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/262 345267
/proc/meminfo: memFree=120738212/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=279388 memory=207316 CPUtime=1659.51 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 28996 0 0 0 165939 12 0 0 20 0 1 0 62892861 286093312 51829 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 69847 51829 748 737 0 68935 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 297980 KiB
Current children cumulated memory: 211012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/263 345494
/proc/meminfo: memFree=117967852/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=280028 memory=208040 CPUtime=1719.35 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 29241 0 0 0 171923 12 0 0 20 0 1 0 62892861 286748672 52010 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 70007 52010 748 737 0 69095 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 298620 KiB
Current children cumulated memory: 211736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/264 345606
/proc/meminfo: memFree=112585916/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=281180 memory=210016 CPUtime=1779.19 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 29534 0 0 0 177907 12 0 0 20 0 1 0 62892861 287928320 52504 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 70295 52504 748 737 0 69383 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213712 KiB

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

# cumulated CPU time of all completed processes:  user=3585.75 s, system=0.391334 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.16 4.10 5/264 345606
/proc/meminfo: memFree=112481668/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=281180 memory=210016 CPUtime=1780.89 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 29534 0 0 0 178077 12 0 0 20 0 1 0 62892861 287928320 52504 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 70295 52504 748 737 0 69383 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213712 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.16 4.09 6/264 345608
/proc/meminfo: memFree=112363584/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=281180 memory=210016 CPUtime=1787.26 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 29534 0 0 0 178714 12 0 0 20 0 1 0 62892861 287928320 52504 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 70295 52504 748 737 0 69383 0
Current children cumulated CPU time: 3580.49 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213712 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.09 5/264 345608
/proc/meminfo: memFree=112363592/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=281180 memory=210016 CPUtime=1790.46 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 29534 0 0 0 179034 12 0 0 20 0 1 0 62892861 287928320 52504 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 70295 52504 748 737 0 69383 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213712 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.15 4.09 5/264 345608
/proc/meminfo: memFree=112363592/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=281180 memory=210016 CPUtime=1792.05 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 29534 0 0 0 179193 12 0 0 20 0 1 0 62892861 287928320 52504 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 70295 52504 748 737 0 69383 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213712 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.15 4.09 5/264 345608
/proc/meminfo: memFree=112363592/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=281180 memory=210016 CPUtime=1792.45 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 29534 0 0 0 179233 12 0 0 20 0 1 0 62892861 287928320 52504 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 70295 52504 748 737 0 69383 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213712 KiB

[startup+3596 s]*
/proc/loadavg: 4.30 4.18 4.10 5/264 345608
/proc/meminfo: memFree=112363612/131524600 swapFree=131071472/131071996
[pid=343437] ppid=343434 vsize=9932 memory=2748 CPUtime=1793.23 cores=1,3
/proc/343437/stat : 343437 (Hybrid-CASHWMax) S 343434 343437 343080 0 -1 4194304 270 112041 0 0 0 0 179298 25 20 0 1 0 62713060 10170368 687 134679101440 93868732174336 93868733253656 140733158227760 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93868735352112 93868735399300 93868754788352 140733158233040 140733158233198 140733158233198 140733158240213 0
/proc/343437/statm: 2483 687 593 264 0 134 0
[pid=344397] ppid=343437 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/344397/stat : 344397 (timeout) S 343437 344397 343080 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62892861 8867840 237 134679101440 94149999644672 94149999679688 140730120076816 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94150001777104 94150001779236 94150011604992 140730120082420 140730120082589 140730120082589 140730120089575 0
/proc/344397/statm: 2165 237 212 9 0 87 0
[pid=344398] ppid=344397 vsize=281180 memory=210016 CPUtime=1792.85 cores=1,3
/proc/344398/stat : 344398 (Exact) R 344397 344397 343080 0 -1 4194304 29534 0 0 0 179273 12 0 0 20 0 1 0 62892861 287928320 52504 134679101440 4194304 7210733 140734003585840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 7850304 7914896 22929408 140734003590160 140734003590310 140734003590310 140734003597296 0
/proc/344398/statm: 70295 52504 748 737 0 69383 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 299772 KiB
Current children cumulated memory: 213712 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.14
CPU user time (s): 3585.75
CPU system time (s): 0.391334
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 509312
Max. memory (cumulated for all children) (KiB): 484912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.75
system time used= 0.391334
maximum resident set size= 481184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203
involuntary context switches= 3484


# summary of solver processes directly reported to runsolver:
#   pid: 343437
#   total CPU time (s): 3586.14
#   total CPU user time (s): 3585.75
#   total CPU system time (s): 0.391334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36074 second user time and 17.4336 second system time

The end