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: 63794 MiB (63124 MiB free)
  memory of node 1: 64507 MiB (63830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484835-1751296626/watcher-4484835-1751296626 -o /tmp/evaluation-result-4484835-1751296626/solver-4484835-1751296626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751293014-39276 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484835-1751296626.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=39648, runsolver pid=39638

[startup+0.100065 s]*
/proc/loadavg: 4.08 4.08 4.04 6/246 39652
/proc/meminfo: memFree=129982000/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=25476 memory=11136 CPUtime=0.1 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 2043 0 0 0 9 1 0 0 20 0 1 0 45342344 26087424 2784 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 6369 2784 864 2593 0 3262 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25476 KiB
Current children cumulated memory: 11136 KiB

[startup+0.212456 s]*
/proc/loadavg: 4.08 4.08 4.04 5/246 39652
/proc/meminfo: memFree=129982176/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=32312 memory=17792 CPUtime=0.21 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 3728 0 0 0 19 2 0 0 20 0 1 0 45342344 33087488 4448 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 8078 4448 864 2593 0 4971 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32312 KiB
Current children cumulated memory: 17792 KiB

[startup+0.313319 s]*
/proc/loadavg: 4.08 4.08 4.04 5/250 39658
/proc/meminfo: memFree=129958260/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=38108 memory=23680 CPUtime=0.3 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 5192 0 0 0 27 3 0 0 20 0 1 0 45342344 39022592 5920 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 9527 5920 864 2593 0 6420 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38108 KiB
Current children cumulated memory: 23680 KiB

[startup+0.700244 s]
/proc/loadavg: 4.08 4.08 4.04 6/248 39664
/proc/meminfo: memFree=129918660/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=63812 memory=49152 CPUtime=0.67 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 11567 0 0 0 61 6 0 0 20 0 1 0 45342344 65343488 12288 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 15953 12288 864 2593 0 12846 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63812 KiB
Current children cumulated memory: 49152 KiB

[startup+1.50032 s]
/proc/loadavg: 4.08 4.08 4.04 6/250 39689
/proc/meminfo: memFree=129772428/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=214304 memory=202896 CPUtime=1.47 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 48688 0 0 0 132 15 0 0 20 0 1 0 45342344 219447296 50724 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 53576 50724 2496 2593 0 50469 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 214304 KiB
Current children cumulated memory: 202896 KiB

[startup+3.1123 s]
/proc/loadavg: 4.07 4.08 4.04 7/250 39689
/proc/meminfo: memFree=128706832/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=450052 memory=417244 CPUtime=3.08 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 72316 0 0 0 285 23 0 0 20 0 1 0 45342344 460853248 104311 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 112513 104311 2528 2593 0 109406 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 450052 KiB
Current children cumulated memory: 417244 KiB

[startup+6.30024 s]
/proc/loadavg: 4.07 4.08 4.04 7/250 39689
/proc/meminfo: memFree=128088820/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=577120 memory=522404 CPUtime=6.25 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 102023 0 0 0 597 28 0 0 20 0 1 0 45342344 590970880 130601 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 144280 130601 2656 2593 0 141173 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 577120 KiB
Current children cumulated memory: 522404 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.04 7/250 39689
/proc/meminfo: memFree=128076224/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=594788 memory=523044 CPUtime=12.63 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 102460 0 0 0 1235 28 0 0 20 0 1 0 45342344 609062912 130761 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 148697 130761 2656 2593 0 145590 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 594788 KiB
Current children cumulated memory: 523044 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.04 7/250 39689
/proc/meminfo: memFree=128053080/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=682324 memory=534224 CPUtime=25.4 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 106009 0 0 0 2511 29 0 0 20 0 1 0 45342344 698699776 133556 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 170581 133556 2656 2593 0 167474 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 682324 KiB
Current children cumulated memory: 534224 KiB

[startup+51.113 s]
/proc/loadavg: 4.07 4.08 4.04 7/250 39690
/proc/meminfo: memFree=127601972/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=864332 memory=652636 CPUtime=50.91 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 135113 0 0 0 5058 33 0 0 20 0 1 0 45342344 885075968 163159 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 216083 163159 2656 2593 0 212976 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 864332 KiB
Current children cumulated memory: 652636 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.04 7/251 39693
/proc/meminfo: memFree=127468768/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=864332 memory=654300 CPUtime=101.86 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 135266 0 0 0 10153 33 0 0 20 0 1 0 45342344 885075968 163575 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 216083 163575 2656 2593 0 212976 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 864332 KiB
Current children cumulated memory: 654300 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.04 7/250 39695
/proc/meminfo: memFree=127235416/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=944944 memory=738652 CPUtime=161.62 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 155454 0 0 0 16125 37 0 0 20 0 1 0 45342344 967622656 184663 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 236236 184663 2656 2593 0 233129 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 944944 KiB
Current children cumulated memory: 738652 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.04 7/250 39697
/proc/meminfo: memFree=127001880/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1062832 memory=793024 CPUtime=221.44 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 159515 0 0 0 22106 38 0 0 20 0 1 0 45342344 1088339968 198256 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 265708 198256 2656 2593 0 262601 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 1062832 KiB
Current children cumulated memory: 793024 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.04 7/250 39698
/proc/meminfo: memFree=126733636/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1187228 memory=949184 CPUtime=281.26 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 190162 0 0 0 28084 42 0 0 20 0 1 0 45342344 1215721472 237296 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 296807 237296 2656 2593 0 293700 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 1187228 KiB
Current children cumulated memory: 949184 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.04 7/252 39704
/proc/meminfo: memFree=126576888/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1225296 memory=982064 CPUtime=341.09 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 192087 0 0 0 34066 43 0 0 20 0 1 0 45342344 1254703104 245516 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 306324 245516 2656 2593 0 303217 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 1225296 KiB
Current children cumulated memory: 982064 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.04 7/252 39706
/proc/meminfo: memFree=126371552/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1261324 memory=1019216 CPUtime=400.9 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 208135 0 0 0 40044 46 0 0 20 0 1 0 45342344 1291595776 254804 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 315331 254804 2656 2593 0 312224 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1261324 KiB
Current children cumulated memory: 1019216 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.04 7/251 39712
/proc/meminfo: memFree=126224040/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1282152 memory=1047400 CPUtime=460.73 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 209117 0 0 0 46027 46 0 0 20 0 1 0 45342344 1312923648 261850 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 320538 261850 2656 2593 0 317431 0
Current children cumulated CPU time: 460.73 s

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

Current children cumulated memory: 1105064 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 7/251 39835
/proc/meminfo: memFree=123465896/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=2854.28 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 405870 0 0 0 285338 90 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 2854.28 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.08 4.08 7/251 39837
/proc/meminfo: memFree=123394860/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=2914.13 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 405947 0 0 0 291323 90 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 2914.13 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 7/251 39839
/proc/meminfo: memFree=123364516/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=2973.97 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406014 0 0 0 297307 90 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 2973.97 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/251 39841
/proc/meminfo: memFree=125414344/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3033.8 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406022 0 0 0 303290 90 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/254 39847
/proc/meminfo: memFree=125408764/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3093.62 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406098 0 0 0 309272 90 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 7/253 39849
/proc/meminfo: memFree=125399624/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3153.44 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406102 0 0 0 315254 90 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/253 39852
/proc/meminfo: memFree=125365036/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3213.25 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406176 0 0 0 321235 90 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 7/253 39854
/proc/meminfo: memFree=125355872/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3273.06 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406176 0 0 0 327216 90 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 7/252 39858
/proc/meminfo: memFree=125355652/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3332.87 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406250 0 0 0 333196 91 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 7/250 39861
/proc/meminfo: memFree=125353824/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3392.67 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406302 0 0 0 339176 91 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.14 4.11 7/250 39867
/proc/meminfo: memFree=125340992/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3452.47 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406326 0 0 0 345156 91 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3522.3 s]
/proc/loadavg: 5.50 4.48 4.22 7/250 39869
/proc/meminfo: memFree=125316084/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3512.27 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406403 0 0 0 351136 91 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

[startup+3582.3 s]
/proc/loadavg: 5.75 4.78 4.35 7/250 39871
/proc/meminfo: memFree=125281508/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3572.07 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406467 0 0 0 357116 91 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 5.06 4.70 4.34 7/250 39873
/proc/meminfo: memFree=125284312/131382112 swapFree=33010684/33010684
[pid=39648] ppid=39638 vsize=1318216 memory=1105064 CPUtime=3600.07 cores=1,3
/proc/39648/stat : 39648 (CASHWMaxSAT-Dis) R 39638 39648 39264 0 -1 4194304 406490 0 0 0 359916 91 0 0 20 0 1 0 45342344 1349853184 276266 18446744073709551615 4198400 14817773 140737244175248 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 43278336 140737244182890 140737244183005 140737244183005 140737244188607 0
/proc/39648/statm: 329554 276266 2688 2593 0 326447 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1318216 KiB
Current children cumulated memory: 1105064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.17 s, system=0.931723 s

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

Child status: 10

Real time (s): 3610.42
CPU time (s): 3600.1
CPU user time (s): 3599.17
CPU system time (s): 0.931723
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 2043836
Max. memory (cumulated for all children) (KiB): 1781168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.17
system time used= 0.931723
maximum resident set size= 1781168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406492
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= 65
involuntary context switches= 1987


# summary of solver processes directly reported to runsolver:
#   pid: 39648
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.17
#   total CPU system time (s): 0.931723

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4381 second user time and 32.1624 second system time

The end