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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440028-1721230133/watcher-4440028-1721230133 -o /tmp/evaluation-result-4440028-1721230133/solver-4440028-1721230133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721230146-906874 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440028-1721230133.opb -total-t=3600 -no-par -v0 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=906921, runsolver pid=906917

[startup+0.100817 s]*
/proc/loadavg: 1.97 2.11 2.42 5/243 906931
/proc/meminfo: memFree=125299340/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=28124 memory=9660 CPUtime=0.09 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 1807 0 0 0 8 1 0 0 20 0 1 0 175169194 28798976 2415 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 7031 2415 750 2417 0 4133 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28124 KiB
Current children cumulated memory: 9660 KiB

[startup+0.213923 s]*
/proc/loadavg: 1.97 2.11 2.42 5/246 906937
/proc/meminfo: memFree=125273516/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=34524 memory=16260 CPUtime=0.2 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 3415 0 0 0 19 1 0 0 20 0 1 0 175169194 35352576 4065 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 8631 4065 750 2417 0 5733 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34524 KiB
Current children cumulated memory: 16260 KiB

[startup+0.313164 s]*
/proc/loadavg: 1.97 2.11 2.42 5/246 906937
/proc/meminfo: memFree=125248088/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=40308 memory=21876 CPUtime=0.3 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 4842 0 0 0 28 2 0 0 20 0 1 0 175169194 41275392 5469 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 10077 5469 750 2417 0 7179 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 21876 KiB

[startup+0.700373 s]
/proc/loadavg: 1.97 2.11 2.42 5/246 906937
/proc/meminfo: memFree=125187560/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=83124 memory=72856 CPUtime=0.68 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 16783 0 0 0 62 6 0 0 20 0 1 0 175169194 85118976 18214 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 20781 18214 2302 2417 0 17883 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83124 KiB
Current children cumulated memory: 72856 KiB

[startup+1.50037 s]
/proc/loadavg: 1.97 2.11 2.42 5/246 906937
/proc/meminfo: memFree=125048464/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=123564 memory=113168 CPUtime=1.47 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 26240 0 0 0 138 9 0 0 20 0 1 0 175169194 126529536 28292 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 30891 28292 2446 2417 0 27993 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 123564 KiB
Current children cumulated memory: 113168 KiB

[startup+3.11275 s]
/proc/loadavg: 1.97 2.11 2.42 5/246 906937
/proc/meminfo: memFree=124600616/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=130912 memory=117924 CPUtime=3.07 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 27325 0 0 0 298 9 0 0 20 0 1 0 175169194 134053888 29481 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 32728 29481 2526 2417 0 29830 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 130912 KiB
Current children cumulated memory: 117924 KiB

[startup+6.30024 s]
/proc/loadavg: 2.13 2.14 2.43 5/246 906939
/proc/meminfo: memFree=124396916/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=141136 memory=123328 CPUtime=6.25 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 27673 0 0 0 616 9 0 0 20 0 1 0 175169194 144523264 30832 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 35284 30832 2526 2417 0 32386 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 141136 KiB
Current children cumulated memory: 123328 KiB

[startup+12.7003 s]
/proc/loadavg: 2.28 2.18 2.43 5/246 906939
/proc/meminfo: memFree=123307812/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=169436 memory=136240 CPUtime=12.63 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 30926 0 0 0 1254 9 0 0 20 0 1 0 175169194 173502464 34060 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 42359 34060 2526 2417 0 39461 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 169436 KiB
Current children cumulated memory: 136240 KiB

[startup+25.5003 s]
/proc/loadavg: 2.66 2.27 2.46 5/246 906940
/proc/meminfo: memFree=123266352/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=220500 memory=165248 CPUtime=25.38 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 38201 0 0 0 2528 10 0 0 20 0 1 0 175169194 225792000 41312 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 55125 41312 2526 2417 0 52227 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 220500 KiB
Current children cumulated memory: 165248 KiB

[startup+51.1128 s]
/proc/loadavg: 3.18 2.42 2.51 5/246 906945
/proc/meminfo: memFree=123238896/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=220500 memory=165512 CPUtime=50.9 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 38246 0 0 0 5080 10 0 0 20 0 1 0 175169194 225792000 41378 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 55125 41378 2526 2417 0 52227 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 220500 KiB
Current children cumulated memory: 165512 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 2.70 2.60 5/247 907012
/proc/meminfo: memFree=123139972/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=224144 memory=167464 CPUtime=101.92 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 38770 0 0 0 10181 11 0 0 20 0 1 0 175169194 229523456 41866 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 56036 41866 2526 2417 0 53138 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 224144 KiB
Current children cumulated memory: 167464 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.95 2.69 5/247 907069
/proc/meminfo: memFree=122752648/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=281520 memory=205664 CPUtime=161.69 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 49486 0 0 0 16157 12 0 0 20 0 1 0 175169194 288276480 51416 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 70380 51416 2526 2417 0 67482 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 281520 KiB
Current children cumulated memory: 205664 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.16 2.78 5/247 907079
/proc/meminfo: memFree=122689232/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=326104 memory=259956 CPUtime=221.46 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 54723 0 0 0 22132 14 0 0 20 0 1 0 175169194 333930496 64989 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 81526 64989 2526 2417 0 78628 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 326104 KiB
Current children cumulated memory: 259956 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.33 2.87 5/244 907089
/proc/meminfo: memFree=122623696/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=342172 memory=313168 CPUtime=281.25 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 56729 0 0 0 28110 15 0 0 20 0 1 0 175169194 350384128 78292 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 85543 78292 2526 2417 0 82645 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 342172 KiB
Current children cumulated memory: 313168 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 3.50 2.96 5/244 907100
/proc/meminfo: memFree=121686416/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=351340 memory=340944 CPUtime=341.03 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 57719 0 0 0 34088 15 0 0 20 0 1 0 175169194 359772160 85236 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 87835 85236 2526 2417 0 84937 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 351340 KiB
Current children cumulated memory: 340944 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.61 3.03 5/241 907111
/proc/meminfo: memFree=121612248/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390100 CPUtime=400.83 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67066 0 0 0 40066 17 0 0 20 0 1 0 175169194 413020160 97525 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97525 2526 2417 0 97937 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390100 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.71 3.11 5/241 907121
/proc/meminfo: memFree=121524952/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390532 CPUtime=460.63 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67314 0 0 0 46046 17 0 0 20 0 1 0 175169194 413020160 97633 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97633 2526 2417 0 97937 0
Current children cumulated CPU time: 460.63 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390532 KiB

[startup+522.3 s]
/proc/loadavg: 4.15 3.80 3.17 5/241 907132
/proc/meminfo: memFree=121497716/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390616 CPUtime=520.43 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67505 0 0 0 52026 17 0 0 20 0 1 0 175169194 413020160 97654 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97654 2526 2417 0 97937 0
Current children cumulated CPU time: 520.43 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390616 KiB

[startup+582.3 s]
/proc/loadavg: 4.11 3.85 3.23 5/241 907142
/proc/meminfo: memFree=121485508/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390832 CPUtime=580.23 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67666 0 0 0 58006 17 0 0 20 0 1 0 175169194 413020160 97708 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97708 2526 2417 0 97937 0
Current children cumulated CPU time: 580.23 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390832 KiB

[startup+600.179 s]
# the end of solver process 906921 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=597.867 s, system=0.174235 s

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

[startup+588.8 s]
/proc/loadavg: 4.10 3.86 3.24 5/241 907144
/proc/meminfo: memFree=121491620/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390832 CPUtime=586.71 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67673 0 0 0 58654 17 0 0 20 0 1 0 175169194 413020160 97708 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97708 2526 2417 0 97937 0
Current children cumulated CPU time: 586.71 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390832 KiB

[startup+595.2 s]
/proc/loadavg: 4.08 3.86 3.25 5/241 907144
/proc/meminfo: memFree=121479012/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390832 CPUtime=593.08 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67674 0 0 0 59291 17 0 0 20 0 1 0 175169194 413020160 97708 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97708 2526 2417 0 97937 0
Current children cumulated CPU time: 593.08 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390832 KiB

[startup+598.4 s]
/proc/loadavg: 4.08 3.86 3.25 5/241 907145
/proc/meminfo: memFree=121476972/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390832 CPUtime=596.27 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67674 0 0 0 59610 17 0 0 20 0 1 0 175169194 413020160 97708 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97708 2526 2417 0 97937 0
Current children cumulated CPU time: 596.27 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390832 KiB

[startup+599.2 s]
/proc/loadavg: 4.16 3.88 3.26 5/241 907145
/proc/meminfo: memFree=121468116/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390832 CPUtime=597.07 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67674 0 0 0 59690 17 0 0 20 0 1 0 175169194 413020160 97708 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97708 2526 2417 0 97937 0
Current children cumulated CPU time: 597.07 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390832 KiB

[startup+599.6 s]
/proc/loadavg: 4.16 3.88 3.26 5/241 907145
/proc/meminfo: memFree=121468116/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390832 CPUtime=597.47 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67674 0 0 0 59730 17 0 0 20 0 1 0 175169194 413020160 97708 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97708 2526 2417 0 97937 0
Current children cumulated CPU time: 597.47 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390832 KiB

[startup+600 s]*
/proc/loadavg: 4.16 3.88 3.26 5/241 907145
/proc/meminfo: memFree=121468108/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390832 CPUtime=597.88 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67674 0 0 0 59771 17 0 0 20 0 1 0 175169194 413020160 97708 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97708 2526 2417 0 97937 0
Current children cumulated CPU time: 597.88 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390832 KiB

[startup+600.112 s]
/proc/loadavg: 4.16 3.88 3.26 5/241 907145
/proc/meminfo: memFree=121468108/131655788 swapFree=131071996/131071996
[pid=906921] ppid=906917 vsize=403340 memory=390832 CPUtime=597.98 cores=0,2
/proc/906921/stat : 906921 (CASHWMaxSAT-Dis) R 906917 906921 906864 0 -1 4194304 67674 0 0 0 59781 17 0 0 20 0 1 0 175169194 413020160 97708 134679101440 4194304 14093885 140729613519184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35229696 140729613525988 140729613526103 140729613526103 140729613533119 0
/proc/906921/statm: 100835 97708 2526 2417 0 97937 0
Current children cumulated CPU time: 597.98 s
Current children cumulated vsize: 403340 KiB
Current children cumulated memory: 390832 KiB

Child status: 30

Real time (s): 600.179
CPU time (s): 598.041
CPU user time (s): 597.867
CPU system time (s): 0.174235
CPU usage (%): 99.6438
Max. virtual memory (cumulated for all children) (KiB): 403340
Max. memory (cumulated for all children) (KiB): 390832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 597.867
system time used= 0.174235
maximum resident set size= 390844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 4224


# summary of solver processes directly reported to runsolver:
#   pid: 906921
#   total CPU time (s): 598.041
#   total CPU user time (s): 597.867
#   total CPU system time (s): 0.174235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.74943 second user time and 5.87788 second system time

The end