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: 63837 MiB (62777 MiB free)
  memory of node 1: 64465 MiB (62616 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499693-1751415035/watcher-4499693-1751415035 -o /tmp/evaluation-result-4499693-1751415035/solver-4499693-1751415035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751405727-57151 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4499693-1751415035.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=58481, runsolver pid=58478

[startup+0.100072 s]*
/proc/loadavg: 4.07 4.10 4.13 5/252 58482
/proc/meminfo: memFree=128391676/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=24488 memory=10112 CPUtime=0.09 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 1793 0 0 0 9 0 0 0 20 0 1 0 57182940 25075712 2528 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 6122 2528 864 2593 0 3015 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24488 KiB
Current children cumulated memory: 10112 KiB

[startup+0.214494 s]*
/proc/loadavg: 4.07 4.10 4.13 6/252 58482
/proc/meminfo: memFree=128383612/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=30168 memory=15744 CPUtime=0.19 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 3198 0 0 0 18 1 0 0 20 0 1 0 57182940 30892032 3936 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 7542 3936 864 2593 0 4435 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30168 KiB
Current children cumulated memory: 15744 KiB

[startup+0.313159 s]*
/proc/loadavg: 4.07 4.10 4.13 5/252 58482
/proc/meminfo: memFree=128380084/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=35888 memory=21504 CPUtime=0.28 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 4648 0 0 0 27 1 0 0 20 0 1 0 57182940 36749312 5376 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 8972 5376 864 2593 0 5865 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 35888 KiB
Current children cumulated memory: 21504 KiB

[startup+0.700246 s]
/proc/loadavg: 4.07 4.10 4.13 5/252 58482
/proc/meminfo: memFree=128352416/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=88880 memory=79104 CPUtime=0.63 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 17550 0 0 0 58 5 0 0 20 0 1 0 57182940 91013120 19776 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 22220 19776 2496 2593 0 19113 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 88880 KiB
Current children cumulated memory: 79104 KiB

[startup+1.50026 s]
/proc/loadavg: 4.07 4.10 4.13 5/252 58482
/proc/meminfo: memFree=128320160/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=125352 memory=114260 CPUtime=1.42 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 27580 0 0 0 135 7 0 0 20 0 1 0 57182940 128360448 28565 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 31338 28565 2624 2593 0 28231 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 125352 KiB
Current children cumulated memory: 114260 KiB

[startup+3.1058 s]
/proc/loadavg: 4.07 4.10 4.13 5/252 58482
/proc/meminfo: memFree=128294800/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=126908 memory=115284 CPUtime=3 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 27815 0 0 0 293 7 0 0 20 0 1 0 57182940 129953792 28821 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 31727 28821 2624 2593 0 28620 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 126908 KiB
Current children cumulated memory: 115284 KiB

[startup+6.30021 s]
/proc/loadavg: 4.06 4.10 4.13 5/252 58482
/proc/meminfo: memFree=128295032/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=126908 memory=115668 CPUtime=6.17 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 27918 0 0 0 610 7 0 0 20 0 1 0 57182940 129953792 28917 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 31727 28917 2624 2593 0 28620 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 126908 KiB
Current children cumulated memory: 115668 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.13 5/252 58483
/proc/meminfo: memFree=128278980/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=142604 memory=128172 CPUtime=12.51 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 31319 0 0 0 1243 8 0 0 20 0 1 0 57182940 146026496 32043 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 35651 32043 2624 2593 0 32544 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 142604 KiB
Current children cumulated memory: 128172 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.13 5/252 58484
/proc/meminfo: memFree=128255600/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=173628 memory=151852 CPUtime=25.19 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 37232 0 0 0 2510 9 0 0 20 0 1 0 57182940 177795072 37963 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 43407 37963 2624 2593 0 40300 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 173628 KiB
Current children cumulated memory: 151852 KiB

[startup+51.1129 s]
/proc/loadavg: 4.09 4.10 4.13 5/252 58484
/proc/meminfo: memFree=128204412/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=233428 memory=200552 CPUtime=50.66 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 48696 0 0 0 5055 11 0 0 20 0 1 0 57182940 239030272 50138 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 58357 50138 2624 2593 0 55250 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 233428 KiB
Current children cumulated memory: 200552 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/253 58487
/proc/meminfo: memFree=128204144/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=256388 memory=201448 CPUtime=101.71 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 48939 0 0 0 10160 11 0 0 20 0 1 0 57182940 262541312 50362 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 64097 50362 2624 2593 0 60990 0
Current children cumulated CPU time: 101.71 s
Current children cumulated vsize: 256388 KiB
Current children cumulated memory: 201448 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/253 58489
/proc/meminfo: memFree=128149476/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=264620 memory=210760 CPUtime=161.54 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 55346 0 0 0 16142 12 0 0 20 0 1 0 57182940 270970880 52690 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 66155 52690 2624 2593 0 63048 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 264620 KiB
Current children cumulated memory: 210760 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.12 5/252 58491
/proc/meminfo: memFree=128134684/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=264620 memory=210760 CPUtime=221.38 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 55355 0 0 0 22126 12 0 0 20 0 1 0 57182940 270970880 52690 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 66155 52690 2624 2593 0 63048 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 264620 KiB
Current children cumulated memory: 210760 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/251 58493
/proc/meminfo: memFree=128136968/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=270640 memory=213192 CPUtime=281.22 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 55960 0 0 0 28110 12 0 0 20 0 1 0 57182940 277135360 53298 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 67660 53298 2624 2593 0 64553 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 270640 KiB
Current children cumulated memory: 213192 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/251 58495
/proc/meminfo: memFree=128135660/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=305136 memory=229912 CPUtime=341.06 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 59123 0 0 0 34093 13 0 0 20 0 1 0 57182940 312459264 57478 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 76284 57478 2624 2593 0 73177 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 305136 KiB
Current children cumulated memory: 229912 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/251 58497
/proc/meminfo: memFree=128133184/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=320352 memory=237848 CPUtime=400.9 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 60609 0 0 0 40076 14 0 0 20 0 1 0 57182940 328040448 59462 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 80088 59462 2624 2593 0 76981 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 320352 KiB
Current children cumulated memory: 237848 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/249 58499
/proc/meminfo: memFree=128095520/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=336996 memory=247192 CPUtime=460.72 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 62916 0 0 0 46058 14 0 0 20 0 1 0 57182940 345083904 61798 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 84249 61798 2624 2593 0 81142 0
Current children cumulated CPU time: 460.72 s

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

/proc/loadavg: 1.09 1.14 1.65 2/234 58739
/proc/meminfo: memFree=128770264/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=498616 memory=479304 CPUtime=3154.02 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104284 0 0 0 315379 23 0 0 20 0 1 0 57182940 510582784 119826 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 124654 119826 2624 2593 0 121547 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 498616 KiB
Current children cumulated memory: 479304 KiB

[startup+3222.3 s]
/proc/loadavg: 1.07 1.13 1.61 2/234 58741
/proc/meminfo: memFree=128766672/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=499636 memory=482760 CPUtime=3213.89 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104421 0 0 0 321366 23 0 0 20 0 1 0 57182940 511627264 120690 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 124909 120690 2624 2593 0 121802 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 499636 KiB
Current children cumulated memory: 482760 KiB

[startup+3282.3 s]
/proc/loadavg: 1.06 1.12 1.58 2/234 58743
/proc/meminfo: memFree=128767428/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=499636 memory=482760 CPUtime=3273.76 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104426 0 0 0 327353 23 0 0 20 0 1 0 57182940 511627264 120690 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 124909 120690 2624 2593 0 121802 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 499636 KiB
Current children cumulated memory: 482760 KiB

[startup+3342.3 s]
/proc/loadavg: 1.06 1.11 1.54 2/233 58745
/proc/meminfo: memFree=128767932/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=499636 memory=482760 CPUtime=3333.63 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104429 0 0 0 333340 23 0 0 20 0 1 0 57182940 511627264 120690 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 124909 120690 2624 2593 0 121802 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 499636 KiB
Current children cumulated memory: 482760 KiB

[startup+3402.3 s]
/proc/loadavg: 1.13 1.12 1.52 2/233 58747
/proc/meminfo: memFree=128769192/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=499636 memory=482760 CPUtime=3393.5 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104431 0 0 0 339327 23 0 0 20 0 1 0 57182940 511627264 120690 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 124909 120690 2624 2593 0 121802 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 499636 KiB
Current children cumulated memory: 482760 KiB

[startup+3462.3 s]
/proc/loadavg: 1.16 1.13 1.49 2/233 58749
/proc/meminfo: memFree=128769964/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=501888 memory=483912 CPUtime=3453.37 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104717 0 0 0 345314 23 0 0 20 0 1 0 57182940 513933312 120978 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 125472 120978 2624 2593 0 122365 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 501888 KiB
Current children cumulated memory: 483912 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 1.12 1.46 2/233 58751
/proc/meminfo: memFree=128770468/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=501888 memory=483912 CPUtime=3513.23 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104880 0 0 0 351300 23 0 0 20 0 1 0 57182940 513933312 120978 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 125472 120978 2624 2593 0 122365 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 501888 KiB
Current children cumulated memory: 483912 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.11 1.44 2/233 58755
/proc/meminfo: memFree=128767648/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=501888 memory=484808 CPUtime=3573.1 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104907 0 0 0 357287 23 0 0 20 0 1 0 57182940 513933312 121202 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 125472 121202 2624 2593 0 122365 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 501888 KiB
Current children cumulated memory: 484808 KiB

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

# cumulated CPU time of all completed processes:  user=3592.39 s, system=0.245057 s

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

[startup+3584 s]*
/proc/loadavg: 1.11 1.11 1.44 2/233 58755
/proc/meminfo: memFree=128767648/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=501888 memory=484808 CPUtime=3574.81 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104907 0 0 0 357458 23 0 0 20 0 1 0 57182940 513933312 121202 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 125472 121202 2624 2593 0 122365 0
Current children cumulated CPU time: 3574.81 s
Current children cumulated vsize: 501888 KiB
Current children cumulated memory: 484808 KiB

[startup+3590.4 s]
/proc/loadavg: 1.10 1.11 1.44 2/233 58755
/proc/meminfo: memFree=128767648/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=501888 memory=484808 CPUtime=3581.18 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104908 0 0 0 358095 23 0 0 20 0 1 0 57182940 513933312 121202 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 125472 121202 2624 2593 0 122365 0
Current children cumulated CPU time: 3581.18 s
Current children cumulated vsize: 501888 KiB
Current children cumulated memory: 484808 KiB

[startup+3596.8 s]
/proc/loadavg: 1.09 1.10 1.43 2/233 58755
/proc/meminfo: memFree=128767648/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=501888 memory=484808 CPUtime=3587.57 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104908 0 0 0 358734 23 0 0 20 0 1 0 57182940 513933312 121202 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 125472 121202 2624 2593 0 122365 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 501888 KiB
Current children cumulated memory: 484808 KiB

[startup+3600 s]*
/proc/loadavg: 1.09 1.10 1.43 2/233 58755
/proc/meminfo: memFree=128767648/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=501888 memory=484808 CPUtime=3590.78 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104908 0 0 0 359055 23 0 0 20 0 1 0 57182940 513933312 121202 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 125472 121202 2624 2593 0 122365 0
Current children cumulated CPU time: 3590.78 s
Current children cumulated vsize: 501888 KiB
Current children cumulated memory: 484808 KiB

[startup+3600.8 s]
/proc/loadavg: 1.09 1.10 1.43 2/233 58755
/proc/meminfo: memFree=128767648/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=385020 memory=371540 CPUtime=3591.57 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104938 0 0 0 359133 24 0 0 20 0 1 0 57182940 394260480 92885 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 96255 92885 2656 2593 0 93148 0
Current children cumulated CPU time: 3591.57 s
Current children cumulated vsize: 385020 KiB
Current children cumulated memory: 371540 KiB

[startup+3601.6 s]
/proc/loadavg: 1.08 1.10 1.43 2/233 58755
/proc/meminfo: memFree=128886440/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=365448 memory=352096 CPUtime=3592.36 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104939 0 0 0 359212 24 0 0 20 0 1 0 57182940 374218752 88024 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 91362 88024 2688 2593 0 88255 0
Current children cumulated CPU time: 3592.36 s
Current children cumulated vsize: 365448 KiB
Current children cumulated memory: 352096 KiB

[startup+3601.8 s]
/proc/loadavg: 1.08 1.10 1.43 2/233 58755
/proc/meminfo: memFree=128886440/131382116 swapFree=33010684/33010684
[pid=58481] ppid=58478 vsize=365448 memory=352096 CPUtime=3592.56 cores=4,6
/proc/58481/stat : 58481 (CASHWMaxSAT-Dis) R 58478 58481 57137 0 -1 4194304 104939 0 0 0 359232 24 0 0 20 0 1 0 57182940 374218752 88024 18446744073709551615 4198400 14817773 140731537651616 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36843520 140731537656170 140731537656285 140731537656285 140731537661887 0
/proc/58481/statm: 91362 88024 2688 2593 0 88255 0
Current children cumulated CPU time: 3592.56 s
Current children cumulated vsize: 365448 KiB
Current children cumulated memory: 352096 KiB

Child status: 30

Real time (s): 3601.86
CPU time (s): 3592.63
CPU user time (s): 3592.39
CPU system time (s): 0.245057
CPU usage (%): 99.7438
Max. virtual memory (cumulated for all children) (KiB): 501888
Max. memory (cumulated for all children) (KiB): 484808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.39
system time used= 0.245057
maximum resident set size= 484808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104939
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= 32
involuntary context switches= 3174


# summary of solver processes directly reported to runsolver:
#   pid: 58481
#   total CPU time (s): 3592.63
#   total CPU user time (s): 3592.39
#   total CPU system time (s): 0.245057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7564 second user time and 29.4942 second system time

The end