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: 63708 MiB (49130 MiB free)
  memory of node 1: 64465 MiB (54194 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509123-1751515013/watcher-4509123-1751515013 -o /tmp/evaluation-result-4509123-1751515013/solver-4509123-1751515013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751508901-69898 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4509123-1751515013.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71102, runsolver pid=71099
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.15 4.13 4.09 5/263 71103
/proc/meminfo: memFree=105771264/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=51480 memory=42048 CPUtime=0.09 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 8308 0 0 0 8 1 0 0 20 0 1 0 67179819 52715520 10512 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 12870 10512 2496 2593 0 9763 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51480 KiB
Current children cumulated memory: 42048 KiB

[startup+0.205593 s]*
/proc/loadavg: 4.15 4.13 4.09 5/263 71103
/proc/meminfo: memFree=105771264/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=59008 memory=48832 CPUtime=0.2 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 9968 0 0 0 19 1 0 0 20 0 1 0 67179819 60424192 12208 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 14752 12208 2528 2593 0 11645 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59008 KiB
Current children cumulated memory: 48832 KiB

[startup+0.305532 s]*
/proc/loadavg: 4.15 4.13 4.09 5/263 71103
/proc/meminfo: memFree=105771264/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=59480 memory=49344 CPUtime=0.3 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 10103 0 0 0 29 1 0 0 20 0 1 0 67179819 60907520 12336 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 14870 12336 2528 2593 0 11763 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59480 KiB
Current children cumulated memory: 49344 KiB

[startup+0.700181 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 71103
/proc/meminfo: memFree=105771264/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=96956 memory=83592 CPUtime=0.69 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 21661 0 0 0 65 4 0 0 20 0 1 0 67179819 99282944 20898 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 24239 20898 2624 2593 0 21132 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 96956 KiB
Current children cumulated memory: 83592 KiB

[startup+1.50019 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 71103
/proc/meminfo: memFree=105730988/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=97236 memory=85512 CPUtime=1.49 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 22173 0 0 0 145 4 0 0 20 0 1 0 67179819 99569664 21378 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 24309 21378 2624 2593 0 21202 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97236 KiB
Current children cumulated memory: 85512 KiB

[startup+3.10531 s]
/proc/loadavg: 4.22 4.14 4.10 5/263 71103
/proc/meminfo: memFree=105723176/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=115420 memory=102664 CPUtime=3.08 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 26461 0 0 0 304 4 0 0 20 0 1 0 67179819 118190080 25666 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 28855 25666 2624 2593 0 25748 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115420 KiB
Current children cumulated memory: 102664 KiB

[startup+6.30013 s]
/proc/loadavg: 4.22 4.14 4.10 5/263 71103
/proc/meminfo: memFree=105721672/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=115420 memory=102664 CPUtime=6.26 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 26466 0 0 0 622 4 0 0 20 0 1 0 67179819 118190080 25666 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 28855 25666 2624 2593 0 25748 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 115420 KiB
Current children cumulated memory: 102664 KiB

[startup+12.7001 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 71104
/proc/meminfo: memFree=105722428/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=115420 memory=102792 CPUtime=12.65 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 26484 0 0 0 1260 5 0 0 20 0 1 0 67179819 118190080 25698 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 28855 25698 2624 2593 0 25748 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 115420 KiB
Current children cumulated memory: 102792 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 71104
/proc/meminfo: memFree=105713616/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=140320 memory=110800 CPUtime=25.41 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 28873 0 0 0 2536 5 0 0 20 0 1 0 67179819 143687680 27700 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 35080 27700 2624 2593 0 31973 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 140320 KiB
Current children cumulated memory: 110800 KiB

[startup+51.1054 s]
/proc/loadavg: 4.17 4.14 4.10 5/263 71104
/proc/meminfo: memFree=105663428/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=196136 memory=147304 CPUtime=50.94 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 38813 0 0 0 5086 8 0 0 20 0 1 0 67179819 200843264 36826 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 49034 36826 2624 2593 0 45927 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 196136 KiB
Current children cumulated memory: 147304 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 71106
/proc/meminfo: memFree=105591600/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=272892 memory=191848 CPUtime=101.98 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 49978 0 0 0 10187 11 0 0 20 0 1 0 67179819 279441408 47962 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 68223 47962 2624 2593 0 65116 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 272892 KiB
Current children cumulated memory: 191848 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/263 71110
/proc/meminfo: memFree=105543116/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=322932 memory=229096 CPUtime=161.81 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 59275 0 0 0 16167 14 0 0 20 0 1 0 67179819 330682368 57274 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 80733 57274 2624 2593 0 77626 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 322932 KiB
Current children cumulated memory: 229096 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/263 71116
/proc/meminfo: memFree=105505744/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=370916 memory=263656 CPUtime=221.62 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 67931 0 0 0 22146 16 0 0 20 0 1 0 67179819 379817984 65914 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 92729 65914 2624 2593 0 89622 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 370916 KiB
Current children cumulated memory: 263656 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/262 71129
/proc/meminfo: memFree=105475640/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=390344 memory=283312 CPUtime=281.44 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 72330 0 0 0 28127 17 0 0 20 0 1 0 67179819 399712256 70828 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 97586 70828 2624 2593 0 94479 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 390344 KiB
Current children cumulated memory: 283312 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/262 71131
/proc/meminfo: memFree=105423804/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=420240 memory=305496 CPUtime=341.27 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 77343 0 0 0 34108 19 0 0 20 0 1 0 67179819 430325760 76374 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 105060 76374 2624 2593 0 101953 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 420240 KiB
Current children cumulated memory: 305496 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/262 71133
/proc/meminfo: memFree=105390708/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=440328 memory=320908 CPUtime=401.09 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 80689 0 0 0 40089 20 0 0 20 0 1 0 67179819 450895872 80227 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 110082 80227 2624 2593 0 106975 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 440328 KiB
Current children cumulated memory: 320908 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 71135
/proc/meminfo: memFree=105301464/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=461484 memory=338700 CPUtime=460.92 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 85149 0 0 0 46071 21 0 0 20 0 1 0 67179819 472559616 84675 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 115371 84675 2624 2593 0 112264 0

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

/proc/loadavg: 4.08 4.10 4.09 5/263 71154
/proc/meminfo: memFree=103500836/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=546680 memory=408216 CPUtime=819.85 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 100838 0 0 0 81961 24 0 0 20 0 1 0 67179819 559800320 102054 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 136670 102054 2624 2593 0 133563 0
Current children cumulated CPU time: 819.85 s
Current children cumulated vsize: 546680 KiB
Current children cumulated memory: 408216 KiB

[startup+882.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 71157
/proc/meminfo: memFree=103068388/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=566704 memory=423672 CPUtime=879.67 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 104201 0 0 0 87941 26 0 0 20 0 1 0 67179819 580304896 105918 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 141676 105918 2624 2593 0 138569 0
Current children cumulated CPU time: 879.67 s
Current children cumulated vsize: 566704 KiB
Current children cumulated memory: 423672 KiB

[startup+942.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 71159
/proc/meminfo: memFree=102660012/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=592976 memory=439464 CPUtime=939.5 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 107139 0 0 0 93923 27 0 0 20 0 1 0 67179819 607207424 109866 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 148244 109866 2624 2593 0 145137 0
Current children cumulated CPU time: 939.5 s
Current children cumulated vsize: 592976 KiB
Current children cumulated memory: 439464 KiB

[startup+1002.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 71161
/proc/meminfo: memFree=102221044/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=604840 memory=450216 CPUtime=999.31 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 109816 0 0 0 99904 27 0 0 20 0 1 0 67179819 619356160 112554 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 151210 112554 2624 2593 0 148103 0
Current children cumulated CPU time: 999.31 s
Current children cumulated vsize: 604840 KiB
Current children cumulated memory: 450216 KiB

[startup+1062.3 s]
/proc/loadavg: 4.21 4.11 4.10 5/263 71163
/proc/meminfo: memFree=101781536/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=620960 memory=466880 CPUtime=1059.14 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 113480 0 0 0 105886 28 0 0 20 0 1 0 67179819 635863040 116720 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 155240 116720 2624 2593 0 152133 0
Current children cumulated CPU time: 1059.14 s
Current children cumulated vsize: 620960 KiB
Current children cumulated memory: 466880 KiB

[startup+1122.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 71210
/proc/meminfo: memFree=104570548/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=625836 memory=473088 CPUtime=1118.96 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 115416 0 0 0 111867 29 0 0 20 0 1 0 67179819 640856064 118272 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 156459 118272 2624 2593 0 153352 0
Current children cumulated CPU time: 1118.96 s
Current children cumulated vsize: 625836 KiB
Current children cumulated memory: 473088 KiB

[startup+1182.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/263 71212
/proc/meminfo: memFree=91131080/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=635068 memory=480640 CPUtime=1178.79 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 117323 0 0 0 117849 30 0 0 20 0 1 0 67179819 650309632 120160 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 158767 120160 2624 2593 0 155660 0
Current children cumulated CPU time: 1178.79 s
Current children cumulated vsize: 635068 KiB
Current children cumulated memory: 480640 KiB

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

# cumulated CPU time of all completed processes:  user=1222.42 s, system=0.334732 s

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

[startup+1203.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 71212
/proc/meminfo: memFree=88555784/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=636224 memory=481904 CPUtime=1199.63 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 118289 0 0 0 119933 30 0 0 20 0 1 0 67179819 651493376 120476 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 159056 120476 2624 2593 0 155949 0
Current children cumulated CPU time: 1199.63 s
Current children cumulated vsize: 636224 KiB
Current children cumulated memory: 481904 KiB

[startup+1216 s]*
/proc/loadavg: 4.10 4.10 4.09 5/263 71212
/proc/meminfo: memFree=91449408/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=637760 memory=483312 CPUtime=1212.4 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 118650 0 0 0 121210 30 0 0 20 0 1 0 67179819 653066240 120828 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 159440 120828 2624 2593 0 156333 0
Current children cumulated CPU time: 1212.4 s
Current children cumulated vsize: 637760 KiB
Current children cumulated memory: 483312 KiB

[startup+1222.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 71212
/proc/meminfo: memFree=91446132/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=639076 memory=484688 CPUtime=1218.78 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 119405 0 0 0 121847 31 0 0 20 0 1 0 67179819 654413824 121172 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 159769 121172 2624 2593 0 156662 0
Current children cumulated CPU time: 1218.78 s
Current children cumulated vsize: 639076 KiB
Current children cumulated memory: 484688 KiB

[startup+1224 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 71212
/proc/meminfo: memFree=91437940/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=639076 memory=484688 CPUtime=1220.38 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 119405 0 0 0 122007 31 0 0 20 0 1 0 67179819 654413824 121172 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 159769 121172 2624 2593 0 156662 0
Current children cumulated CPU time: 1220.38 s
Current children cumulated vsize: 639076 KiB
Current children cumulated memory: 484688 KiB

[startup+1225.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 71212
/proc/meminfo: memFree=90909684/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=639076 memory=484688 CPUtime=1221.97 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 119405 0 0 0 122166 31 0 0 20 0 1 0 67179819 654413824 121172 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 159769 121172 2624 2593 0 156662 0
Current children cumulated CPU time: 1221.97 s
Current children cumulated vsize: 639076 KiB
Current children cumulated memory: 484688 KiB

[startup+1226 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 71212
/proc/meminfo: memFree=90770548/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=639076 memory=484688 CPUtime=1222.38 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 119405 0 0 0 122207 31 0 0 20 0 1 0 67179819 654413824 121172 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 159769 121172 2624 2593 0 156662 0
Current children cumulated CPU time: 1222.38 s
Current children cumulated vsize: 639076 KiB
Current children cumulated memory: 484688 KiB

[startup+1226.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 71212
/proc/meminfo: memFree=90770548/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=639076 memory=484688 CPUtime=1222.57 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 119405 0 0 0 122226 31 0 0 20 0 1 0 67179819 654413824 121172 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 159769 121172 2624 2593 0 156662 0
Current children cumulated CPU time: 1222.57 s
Current children cumulated vsize: 639076 KiB
Current children cumulated memory: 484688 KiB

[startup+1226.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 71212
/proc/meminfo: memFree=90770548/131249988 swapFree=33010416/33010684
[pid=71102] ppid=71099 vsize=639076 memory=484688 CPUtime=1222.67 cores=0,2
/proc/71102/stat : 71102 (CASHWMaxSAT-Dis) R 71099 71102 69888 0 -1 4194304 119405 0 0 0 122236 31 0 0 20 0 1 0 67179819 654413824 121172 18446744073709551615 4198400 14817773 140723104708000 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 25399296 140723104713066 140723104713181 140723104713181 140723104718783 0
/proc/71102/statm: 159769 121172 2624 2593 0 156662 0
Current children cumulated CPU time: 1222.67 s
Current children cumulated vsize: 639076 KiB
Current children cumulated memory: 484688 KiB

Child status: 30

Real time (s): 1226.39
CPU time (s): 1222.76
CPU user time (s): 1222.42
CPU system time (s): 0.334732
CPU usage (%): 99.7037
Max. virtual memory (cumulated for all children) (KiB): 639076
Max. memory (cumulated for all children) (KiB): 484688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1222.42
system time used= 0.334732
maximum resident set size= 486384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119405
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= 4
involuntary context switches= 2759


# summary of solver processes directly reported to runsolver:
#   pid: 71102
#   total CPU time (s): 1222.76
#   total CPU user time (s): 1222.42
#   total CPU system time (s): 0.334732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.21453 second user time and 5.25692 second system time

The end