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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486307-1751323162/watcher-4486307-1751323162 -o /tmp/evaluation-result-4486307-1751323162/solver-4486307-1751323162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46552 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486307-1751323162.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
solver pid=47594, runsolver pid=47591
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.05 4.12 4.14 4/246 47595
/proc/meminfo: memFree=123998716/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=24676 memory=10368 CPUtime=0.1 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 1842 0 0 0 10 0 0 0 20 0 1 0 47995371 25268224 2560 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 6169 2560 864 2593 0 3062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24676 KiB
Current children cumulated memory: 10368 KiB

[startup+0.213001 s]*
/proc/loadavg: 4.05 4.12 4.14 4/246 47595
/proc/meminfo: memFree=123991412/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=29700 memory=15360 CPUtime=0.22 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 3107 0 0 0 21 1 0 0 20 0 1 0 47995371 30412800 3840 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 7425 3840 864 2593 0 4318 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 29700 KiB
Current children cumulated memory: 15360 KiB

[startup+0.31296 s]*
/proc/loadavg: 4.05 4.12 4.14 4/246 47595
/proc/meminfo: memFree=123983348/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=33808 memory=19456 CPUtime=0.32 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 4138 0 0 0 31 1 0 0 20 0 1 0 47995371 34619392 4864 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 8452 4864 864 2593 0 5345 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 33808 KiB
Current children cumulated memory: 19456 KiB

[startup+0.70033 s]
/proc/loadavg: 4.05 4.12 4.14 4/246 47595
/proc/meminfo: memFree=123975284/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=57712 memory=42180 CPUtime=0.69 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 9988 0 0 0 66 3 0 0 20 0 1 0 47995371 59097088 10545 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 14428 10545 896 2593 0 11321 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 42180 KiB

[startup+1.50038 s]
/proc/loadavg: 4.05 4.12 4.14 4/248 47613
/proc/meminfo: memFree=123939964/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=239352 memory=226636 CPUtime=1.48 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 53488 0 0 0 136 12 0 0 20 0 1 0 47995371 245096448 56659 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 59838 56659 2496 2593 0 56731 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 239352 KiB
Current children cumulated memory: 226636 KiB

[startup+3.11299 s]
/proc/loadavg: 4.13 4.13 4.15 5/250 47632
/proc/meminfo: memFree=123597064/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=383420 memory=346184 CPUtime=3.09 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 68829 0 0 0 293 16 0 0 20 0 1 0 47995371 392622080 86546 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 95855 86546 2528 2593 0 92748 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 383420 KiB
Current children cumulated memory: 346184 KiB

[startup+6.30035 s]
/proc/loadavg: 4.13 4.13 4.15 5/249 47632
/proc/meminfo: memFree=122649952/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=511724 memory=470612 CPUtime=6.27 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 93490 0 0 0 606 21 0 0 20 0 1 0 47995371 524005376 117653 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 127931 117653 2624 2593 0 124824 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 511724 KiB
Current children cumulated memory: 470612 KiB

[startup+12.7004 s]
/proc/loadavg: 4.20 4.15 4.15 5/249 47632
/proc/meminfo: memFree=122514724/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=513480 memory=473812 CPUtime=12.65 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 94306 0 0 0 1244 21 0 0 20 0 1 0 47995371 525803520 118453 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 128370 118453 2624 2593 0 125263 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 513480 KiB
Current children cumulated memory: 473812 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.14 4.15 5/249 47632
/proc/meminfo: memFree=121904112/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=514952 memory=474452 CPUtime=25.4 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 94472 0 0 0 2519 21 0 0 20 0 1 0 47995371 527310848 118613 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 128738 118613 2624 2593 0 125631 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 514952 KiB
Current children cumulated memory: 474452 KiB

[startup+51.1132 s]
/proc/loadavg: 4.10 4.13 4.14 5/249 47633
/proc/meminfo: memFree=121886208/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=588456 memory=513092 CPUtime=50.93 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 100167 0 0 0 5070 23 0 0 20 0 1 0 47995371 602578944 128273 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 147114 128273 2624 2593 0 144007 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 588456 KiB
Current children cumulated memory: 513092 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.17 4.16 5/250 47685
/proc/meminfo: memFree=123220728/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=771488 memory=564404 CPUtime=101.93 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 111505 0 0 0 10167 26 0 0 20 0 1 0 47995371 790003712 141101 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 192872 141101 2624 2593 0 189765 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 771488 KiB
Current children cumulated memory: 564404 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.17 4.16 5/251 47688
/proc/meminfo: memFree=123141240/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=771488 memory=564404 CPUtime=161.72 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 111515 0 0 0 16145 27 0 0 20 0 1 0 47995371 790003712 141101 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 192872 141101 2624 2593 0 189765 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 771488 KiB
Current children cumulated memory: 564404 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/252 47691
/proc/meminfo: memFree=123118812/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=771488 memory=564404 CPUtime=221.51 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 111525 0 0 0 22123 28 0 0 20 0 1 0 47995371 790003712 141101 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 192872 141101 2624 2593 0 189765 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 771488 KiB
Current children cumulated memory: 564404 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/253 47694
/proc/meminfo: memFree=123110736/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=771488 memory=564404 CPUtime=281.3 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 111525 0 0 0 28101 29 0 0 20 0 1 0 47995371 790003712 141101 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 192872 141101 2624 2593 0 189765 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 771488 KiB
Current children cumulated memory: 564404 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/253 47696
/proc/meminfo: memFree=122960072/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=901648 memory=694452 CPUtime=341.07 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 144039 0 0 0 34072 35 0 0 20 0 1 0 47995371 923287552 173613 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 225412 173613 2624 2593 0 222305 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 901648 KiB
Current children cumulated memory: 694452 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/252 47698
/proc/meminfo: memFree=122961836/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=901648 memory=694452 CPUtime=400.87 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 144039 0 0 0 40051 36 0 0 20 0 1 0 47995371 923287552 173613 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 225412 173613 2624 2593 0 222305 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 901648 KiB
Current children cumulated memory: 694452 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/252 47700
/proc/meminfo: memFree=122930348/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=901648 memory=694452 CPUtime=460.68 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 144047 0 0 0 46030 38 0 0 20 0 1 0 47995371 923287552 173613 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 225412 173613 2624 2593 0 222305 0
Current children cumulated CPU time: 460.68 s

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

Current children cumulated memory: 809292 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/250 47917
/proc/meminfo: memFree=123355844/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=2913.53 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174140 0 0 0 291289 64 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/250 47919
/proc/meminfo: memFree=123357356/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=2973.37 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174181 0 0 0 297272 65 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 2973.37 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/249 47923
/proc/meminfo: memFree=123359624/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3033.21 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174219 0 0 0 303256 65 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/249 47925
/proc/meminfo: memFree=123362492/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3093.04 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174278 0 0 0 309239 65 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 47931
/proc/meminfo: memFree=123364676/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3152.87 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174336 0 0 0 315222 65 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 47933
/proc/meminfo: memFree=123366196/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3212.7 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174442 0 0 0 321205 65 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 47935
/proc/meminfo: memFree=123368228/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3272.54 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174517 0 0 0 327188 66 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.19 4.12 5/251 47938
/proc/meminfo: memFree=123369220/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3332.37 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174564 0 0 0 333171 66 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.52 4.27 4.16 5/251 47940
/proc/meminfo: memFree=123369976/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3392.2 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174622 0 0 0 339154 66 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 47942
/proc/meminfo: memFree=123371000/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3452.03 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174690 0 0 0 345137 66 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/250 47944
/proc/meminfo: memFree=123371756/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3511.86 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174744 0 0 0 351120 66 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.14 5/250 47946
/proc/meminfo: memFree=123373016/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3571.69 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174812 0 0 0 357103 66 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.11 4.18 4.14 5/251 47951
/proc/meminfo: memFree=123373788/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3600.01 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174879 0 0 0 359935 66 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.35 s, system=0.667977 s

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

[startup+3610.7 s]
/proc/loadavg: 4.11 4.18 4.14 5/251 47951
/proc/meminfo: memFree=123373788/131382116 swapFree=33010160/33010684
[pid=47594] ppid=47591 vsize=928796 memory=809292 CPUtime=3600.01 cores=0,2
/proc/47594/stat : 47594 (CASHWMaxSAT-Dis) R 47591 47594 46542 0 -1 4194304 174879 0 0 0 359935 66 0 0 20 0 1 0 47995371 951087104 202323 18446744073709551615 4198400 14817773 140723427796912 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 27430912 140723427801450 140723427801565 140723427801565 140723427807167 0
/proc/47594/statm: 232199 202323 2688 2593 0 229092 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 928796 KiB
Current children cumulated memory: 809292 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.02
CPU user time (s): 3599.35
CPU system time (s): 0.667977
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 1116588
Max. memory (cumulated for all children) (KiB): 877204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.35
system time used= 0.667977
maximum resident set size= 877204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174881
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= 47
involuntary context switches= 8169


# summary of solver processes directly reported to runsolver:
#   pid: 47594
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.35
#   total CPU system time (s): 0.667977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3679 second user time and 32.3066 second system time

The end