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: 63665 MiB (58040 MiB free)
  memory of node 1: 64507 MiB (44998 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521053-1751569397/watcher-4521053-1751569397 -o /tmp/evaluation-result-4521053-1751569397/solver-4521053-1751569397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751565552-79536 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4521053-1751569397.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=80258, runsolver pid=80255

[startup+0.100138 s]*
/proc/loadavg: 4.15 4.11 4.03 5/265 80259
/proc/meminfo: memFree=105487500/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=36992 memory=22656 CPUtime=0.09 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 4919 0 0 0 9 0 0 0 20 0 1 0 72618534 37879808 5664 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 9248 5664 864 2593 0 6141 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36992 KiB
Current children cumulated memory: 22656 KiB

[startup+0.2054 s]*
/proc/loadavg: 4.15 4.11 4.03 5/265 80259
/proc/meminfo: memFree=105471624/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=55188 memory=40576 CPUtime=0.2 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 9422 0 0 0 19 1 0 0 20 0 1 0 72618534 56512512 10144 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 13797 10144 864 2593 0 10690 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55188 KiB
Current children cumulated memory: 40576 KiB

[startup+0.305343 s]*
/proc/loadavg: 4.15 4.11 4.03 5/265 80259
/proc/meminfo: memFree=105447432/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=72244 memory=57728 CPUtime=0.3 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 13694 0 0 0 29 1 0 0 20 0 1 0 72618534 73977856 14432 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 18061 14432 864 2593 0 14954 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72244 KiB
Current children cumulated memory: 57728 KiB

[startup+0.70014 s]
/proc/loadavg: 4.15 4.11 4.03 5/265 80259
/proc/meminfo: memFree=105415176/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=137836 memory=123008 CPUtime=0.69 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 30025 0 0 0 65 4 0 0 20 0 1 0 72618534 141144064 30752 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 34459 30752 864 2593 0 31352 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 137836 KiB
Current children cumulated memory: 123008 KiB

[startup+1.50015 s]
/proc/loadavg: 4.15 4.11 4.03 5/265 80259
/proc/meminfo: memFree=105334536/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=270100 memory=254592 CPUtime=1.48 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 62912 0 0 0 137 11 0 0 20 0 1 0 72618534 276582400 63648 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 67525 63648 864 2593 0 64418 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 254592 KiB

[startup+3.1053 s]
/proc/loadavg: 4.15 4.11 4.03 5/265 80259
/proc/meminfo: memFree=104709408/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=902176 memory=888148 CPUtime=3.08 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 219480 0 0 0 273 35 0 0 20 0 1 0 72618534 923828224 222037 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 225544 222037 2432 2593 0 222437 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 902176 KiB
Current children cumulated memory: 888148 KiB

[startup+6.30015 s]
/proc/loadavg: 4.14 4.11 4.03 5/265 80259
/proc/meminfo: memFree=104382428/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=1158636 memory=1140460 CPUtime=6.27 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 279923 0 0 0 584 43 0 0 20 0 1 0 72618534 1186443264 285115 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 289659 285115 2496 2593 0 286552 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1158636 KiB
Current children cumulated memory: 1140460 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.03 5/265 80259
/proc/meminfo: memFree=103378636/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2231196 memory=2080580 CPUtime=12.65 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 356980 0 0 0 1196 69 0 0 20 0 1 0 72618534 2284744704 520145 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 557799 520145 2624 2593 0 554692 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2231196 KiB
Current children cumulated memory: 2080580 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.03 5/265 80259
/proc/meminfo: memFree=103371172/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2231196 memory=2081220 CPUtime=25.42 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 357171 0 0 0 2472 70 0 0 20 0 1 0 72618534 2284744704 520305 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 557799 520305 2624 2593 0 554692 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2231196 KiB
Current children cumulated memory: 2081220 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.11 4.04 5/265 80259
/proc/meminfo: memFree=103386280/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2231196 memory=2085728 CPUtime=50.94 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 357309 0 0 0 5024 70 0 0 20 0 1 0 72618534 2284744704 521432 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 557799 521432 2624 2593 0 554692 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2231196 KiB
Current children cumulated memory: 2085728 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.03 5/266 80309
/proc/meminfo: memFree=102386108/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2241848 memory=2094596 CPUtime=101.97 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 358496 0 0 0 10126 71 0 0 20 0 1 0 72618534 2295652352 523649 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 560462 523649 2624 2593 0 557355 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2241848 KiB
Current children cumulated memory: 2094596 KiB

[startup+162.3 s]
/proc/loadavg: 4.46 4.18 4.07 5/265 80311
/proc/meminfo: memFree=102363816/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2241848 memory=2094596 CPUtime=161.75 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 358503 0 0 0 16103 72 0 0 20 0 1 0 72618534 2295652352 523649 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 560462 523649 2624 2593 0 557355 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2241848 KiB
Current children cumulated memory: 2094596 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.18 4.07 5/265 80314
/proc/meminfo: memFree=102317556/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2241848 memory=2094596 CPUtime=221.52 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 358533 0 0 0 22080 72 0 0 20 0 1 0 72618534 2295652352 523649 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 560462 523649 2624 2593 0 557355 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 2241848 KiB
Current children cumulated memory: 2094596 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.07 5/265 80316
/proc/meminfo: memFree=102351608/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2241848 memory=2094596 CPUtime=281.29 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 358533 0 0 0 28057 72 0 0 20 0 1 0 72618534 2295652352 523649 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 560462 523649 2624 2593 0 557355 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 2241848 KiB
Current children cumulated memory: 2094596 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.07 5/265 80318
/proc/meminfo: memFree=102343612/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2241848 memory=2094596 CPUtime=341.06 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 358577 0 0 0 34033 73 0 0 20 0 1 0 72618534 2295652352 523649 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 560462 523649 2624 2593 0 557355 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 2241848 KiB
Current children cumulated memory: 2094596 KiB

[startup+402.3 s]
/proc/loadavg: 4.30 4.21 4.10 5/264 80320
/proc/meminfo: memFree=102339924/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2241848 memory=2094852 CPUtime=400.83 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 358627 0 0 0 40010 73 0 0 20 0 1 0 72618534 2295652352 523713 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 560462 523713 2624 2593 0 557355 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 2241848 KiB
Current children cumulated memory: 2094852 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.18 4.09 5/265 80324
/proc/meminfo: memFree=102339312/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=2241848 memory=2094852 CPUtime=460.59 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 358641 0 0 0 45985 74 0 0 20 0 1 0 72618534 2295652352 523713 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 560462 523713 2624 2593 0 557355 0
Current children cumulated CPU time: 460.59 s

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

Current children cumulated memory: 957036 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/264 80445
/proc/meminfo: memFree=103671404/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=2852.29 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 375702 0 0 0 285130 99 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 2852.29 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/264 80447
/proc/meminfo: memFree=103695432/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=2912.07 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 375769 0 0 0 291108 99 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 2912.07 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 80454
/proc/meminfo: memFree=103666404/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=2971.85 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 375884 0 0 0 297086 99 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 2971.85 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 80456
/proc/meminfo: memFree=103716300/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3031.63 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 376028 0 0 0 303064 99 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3031.63 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/263 80460
/proc/meminfo: memFree=103710720/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3091.42 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 376164 0 0 0 309042 100 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3091.42 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 80464
/proc/meminfo: memFree=103716896/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3151.2 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 376289 0 0 0 315020 100 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3151.2 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 80466
/proc/meminfo: memFree=103605496/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3210.98 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 376449 0 0 0 320997 101 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3210.98 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 80469
/proc/meminfo: memFree=103508080/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3270.77 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 376562 0 0 0 326975 102 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3270.77 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 80471
/proc/meminfo: memFree=103636032/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3330.55 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 376650 0 0 0 332953 102 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3330.55 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 80518
/proc/meminfo: memFree=103822748/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3390.33 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 376844 0 0 0 338930 103 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3390.33 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.10 4.09 5/266 80700
/proc/meminfo: memFree=104737164/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3450.1 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 376998 0 0 0 344907 103 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3450.1 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 80713
/proc/meminfo: memFree=104653712/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3509.88 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 377101 0 0 0 350885 103 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3509.88 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 80760
/proc/meminfo: memFree=104681888/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3569.68 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 377290 0 0 0 356864 104 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3569.68 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 80766
/proc/meminfo: memFree=104641620/131249988 swapFree=33010160/33010684
[pid=80258] ppid=80255 vsize=964344 memory=957036 CPUtime=3600.07 cores=0,2
/proc/80258/stat : 80258 (CASHWMaxSAT-Dis) R 80255 80258 79526 0 -1 4194304 377318 0 0 0 359903 104 0 0 20 0 1 0 72618534 987488256 239259 18446744073709551615 4198400 14817773 140733003299584 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47464448 140733003303274 140733003303389 140733003303389 140733003308991 0
/proc/80258/statm: 241086 239259 2688 2593 0 237979 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 964344 KiB
Current children cumulated memory: 957036 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.8 s]
# the end of solver process 80258 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.04386 s

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

Child status: 10

Real time (s): 3612.8
CPU time (s): 3600.08
CPU user time (s): 3599.03
CPU system time (s): 1.04386
CPU usage (%): 99.6478
Max. virtual memory (cumulated for all children) (KiB): 2351620
Max. memory (cumulated for all children) (KiB): 2174560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.04386
maximum resident set size= 2174560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377324
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= 35
involuntary context switches= 7983


# summary of solver processes directly reported to runsolver:
#   pid: 80258
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.04386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68915 second user time and 15.9448 second system time

The end