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 (63826 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484881-1751296626/watcher-4484881-1751296626 -o /tmp/evaluation-result-4484881-1751296626/solver-4484881-1751296626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751293014-39275 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484881-1751296626.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=39650, runsolver pid=39640

[startup+0.100068 s]*
/proc/loadavg: 4.08 4.08 4.04 6/246 39652
/proc/meminfo: memFree=129982000/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=25008 memory=10496 CPUtime=0.09 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 1902 0 0 0 9 0 0 0 20 0 1 0 45342344 25608192 2624 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 6252 2624 864 2593 0 3145 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25008 KiB
Current children cumulated memory: 10496 KiB

[startup+0.214758 s]*
/proc/loadavg: 4.08 4.08 4.04 6/246 39652
/proc/meminfo: memFree=129982176/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=31400 memory=16896 CPUtime=0.2 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 3505 0 0 0 19 1 0 0 20 0 1 0 45342344 32153600 4224 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 7850 4224 864 2593 0 4743 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31400 KiB
Current children cumulated memory: 16896 KiB

[startup+0.317342 s]*
/proc/loadavg: 4.08 4.08 4.04 6/250 39658
/proc/meminfo: memFree=129958596/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=37400 memory=22912 CPUtime=0.28 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 4994 0 0 0 27 1 0 0 20 0 1 0 45342344 38297600 5728 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 9350 5728 864 2593 0 6243 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 37400 KiB
Current children cumulated memory: 22912 KiB

[startup+0.700233 s]
/proc/loadavg: 4.08 4.08 4.04 5/248 39664
/proc/meminfo: memFree=129918660/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=60356 memory=45824 CPUtime=0.66 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 10705 0 0 0 63 3 0 0 20 0 1 0 45342344 61804544 11424 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 15089 11456 864 2593 0 11982 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 60356 KiB
Current children cumulated memory: 45824 KiB

[startup+1.50036 s]
/proc/loadavg: 4.08 4.08 4.04 7/250 39689
/proc/meminfo: memFree=129772428/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=200620 memory=189784 CPUtime=1.46 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 45664 0 0 0 131 15 0 0 20 0 1 0 45342344 205434880 47446 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 50155 47446 2496 2593 0 47048 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 200620 KiB
Current children cumulated memory: 189784 KiB

[startup+3.11301 s]
/proc/loadavg: 4.07 4.08 4.04 8/250 39689
/proc/meminfo: memFree=128706832/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=477452 memory=435188 CPUtime=3.07 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 80111 0 0 0 282 25 0 0 20 0 1 0 45342344 488910848 108765 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 119363 108797 2560 2593 0 116256 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 477452 KiB
Current children cumulated memory: 435188 KiB

[startup+6.30027 s]
/proc/loadavg: 4.07 4.08 4.04 8/250 39689
/proc/meminfo: memFree=128088820/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=526240 memory=466968 CPUtime=6.24 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 89101 0 0 0 598 26 0 0 20 0 1 0 45342344 538869760 116742 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 131560 116742 2656 2593 0 128453 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 526240 KiB
Current children cumulated memory: 466968 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.04 8/250 39689
/proc/meminfo: memFree=128076224/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=543516 memory=469272 CPUtime=12.62 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 89662 0 0 0 1236 26 0 0 20 0 1 0 45342344 556560384 117318 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 135879 117318 2656 2593 0 132772 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 543516 KiB
Current children cumulated memory: 469272 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.04 8/250 39689
/proc/meminfo: memFree=128053080/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=604848 memory=479544 CPUtime=25.4 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 92732 0 0 0 2513 27 0 0 20 0 1 0 45342344 619364352 119886 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 151212 119886 2656 2593 0 148105 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 604848 KiB
Current children cumulated memory: 479544 KiB

[startup+51.1131 s]
/proc/loadavg: 4.07 4.08 4.04 8/250 39690
/proc/meminfo: memFree=127601972/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=761972 memory=563632 CPUtime=50.93 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 123636 0 0 0 5062 31 0 0 20 0 1 0 45342344 780259328 140908 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 190493 140908 2656 2593 0 187386 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 761972 KiB
Current children cumulated memory: 563632 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.04 8/251 39693
/proc/meminfo: memFree=127468768/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=863844 memory=649772 CPUtime=101.92 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 155298 0 0 0 10155 37 0 0 20 0 1 0 45342344 884576256 162443 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 215961 162443 2656 2593 0 212854 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 863844 KiB
Current children cumulated memory: 649772 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.04 8/250 39695
/proc/meminfo: memFree=127235416/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=910248 memory=696748 CPUtime=161.72 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 167092 0 0 0 16134 38 0 0 20 0 1 0 45342344 932093952 174187 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 227562 174187 2656 2593 0 224455 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 910248 KiB
Current children cumulated memory: 696748 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.04 8/250 39697
/proc/meminfo: memFree=127001880/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=965516 memory=729132 CPUtime=221.52 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 196005 0 0 0 22109 43 0 0 20 0 1 0 45342344 988688384 182283 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 241379 182283 2656 2593 0 238272 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 965516 KiB
Current children cumulated memory: 729132 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.04 8/250 39698
/proc/meminfo: memFree=126733636/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1023944 memory=779012 CPUtime=281.34 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 213469 0 0 0 28088 46 0 0 20 0 1 0 45342344 1048518656 194753 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 255986 194753 2656 2593 0 252879 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 1023944 KiB
Current children cumulated memory: 779012 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.04 8/252 39704
/proc/meminfo: memFree=126576888/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1058516 memory=810188 CPUtime=341.17 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 239811 0 0 0 34067 50 0 0 20 0 1 0 45342344 1083920384 202547 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 264629 202547 2656 2593 0 261522 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1058516 KiB
Current children cumulated memory: 810188 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.04 8/252 39706
/proc/meminfo: memFree=126371552/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1088956 memory=835560 CPUtime=400.99 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 241530 0 0 0 40049 50 0 0 20 0 1 0 45342344 1115090944 208890 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 272239 208890 2656 2593 0 269132 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1088956 KiB
Current children cumulated memory: 835560 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.04 8/251 39712
/proc/meminfo: memFree=126224040/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1172704 memory=902452 CPUtime=460.82 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 259475 0 0 0 46028 54 0 0 20 0 1 0 45342344 1200848896 225613 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 293176 225613 2656 2593 0 290069 0
Current children cumulated CPU time: 460.82 s

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

Current children cumulated memory: 1712656 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 8/251 39835
/proc/meminfo: memFree=123465896/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=2024780 memory=1715892 CPUtime=2853.68 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447097 0 0 0 285277 91 0 0 20 0 1 0 45342344 2073374720 428973 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 506195 428973 2912 2593 0 503088 0
Current children cumulated CPU time: 2853.68 s
Current children cumulated vsize: 2024780 KiB
Current children cumulated memory: 1715892 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.08 4.08 8/251 39837
/proc/meminfo: memFree=123394860/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=2078660 memory=1737996 CPUtime=2913.52 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447431 0 0 0 291260 92 0 0 20 0 1 0 45342344 2128547840 434499 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 519665 434499 2912 2593 0 516558 0
Current children cumulated CPU time: 2913.52 s
Current children cumulated vsize: 2078660 KiB
Current children cumulated memory: 1737996 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 8/251 39839
/proc/meminfo: memFree=123364516/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=2078660 memory=1737996 CPUtime=2973.36 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447431 0 0 0 297244 92 0 0 20 0 1 0 45342344 2128547840 434499 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 519665 434499 2912 2593 0 516558 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 2078660 KiB
Current children cumulated memory: 1737996 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 8/251 39841
/proc/meminfo: memFree=125414344/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3033.2 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447439 0 0 0 303226 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3033.2 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 8/254 39847
/proc/meminfo: memFree=125408764/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3093.05 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447519 0 0 0 309211 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 8/253 39849
/proc/meminfo: memFree=125399624/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3152.89 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447597 0 0 0 315195 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 8/253 39852
/proc/meminfo: memFree=125365036/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3212.73 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447644 0 0 0 321179 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 8/253 39854
/proc/meminfo: memFree=125355872/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3272.57 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447757 0 0 0 327163 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 8/252 39858
/proc/meminfo: memFree=125355652/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3332.42 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447832 0 0 0 333148 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 8/250 39861
/proc/meminfo: memFree=125353824/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3392.26 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447912 0 0 0 339132 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.14 4.11 8/250 39867
/proc/meminfo: memFree=125340992/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3452.1 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 447973 0 0 0 345116 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3522.3 s]
/proc/loadavg: 5.50 4.48 4.22 8/250 39869
/proc/meminfo: memFree=125316084/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3511.95 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 448064 0 0 0 351101 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

[startup+3582.3 s]
/proc/loadavg: 5.75 4.78 4.35 8/250 39871
/proc/meminfo: memFree=125281508/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3571.79 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 448142 0 0 0 357085 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 5.06 4.70 4.34 8/250 39873
/proc/meminfo: memFree=125284312/131382112 swapFree=33010684/33010684
[pid=39650] ppid=39640 vsize=1310448 memory=1054428 CPUtime=3600.02 cores=4,6
/proc/39650/stat : 39650 (CASHWMaxSAT-Dis) R 39640 39650 39264 0 -1 4194304 448170 0 0 0 359908 94 0 0 20 0 1 0 45342344 1341898752 263607 18446744073709551615 4198400 14817773 140727561399952 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52948992 140727561402730 140727561402845 140727561402845 140727561408447 0
/proc/39650/statm: 327612 263607 2944 2593 0 324505 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1310448 KiB
Current children cumulated memory: 1054428 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.08 s, system=0.949841 s

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

Child status: 10

Real time (s): 3610.6
CPU time (s): 3600.03
CPU user time (s): 3599.08
CPU system time (s): 0.949841
CPU usage (%): 99.7073
Max. virtual memory (cumulated for all children) (KiB): 2078660
Max. memory (cumulated for all children) (KiB): 1737996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 0.949841
maximum resident set size= 1737996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448172
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= 80
involuntary context switches= 1831


# summary of solver processes directly reported to runsolver:
#   pid: 39650
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.08
#   total CPU system time (s): 0.949841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7096 second user time and 34.6006 second system time

The end