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: 63931 MiB (60486 MiB free)
  memory of node 1: 64510 MiB (59293 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438691-1721213554/watcher-4438691-1721213554 -o /tmp/evaluation-result-4438691-1721213554/solver-4438691-1721213554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914128 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438691-1721213554.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64

Current StackSize limit: 8192 KiB

solver pid=919912, runsolver pid=919909

[startup+0.100581 s]*
/proc/loadavg: 4.11 4.12 4.09 5/257 919913
/proc/meminfo: memFree=122631220/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=42608 memory=33868 CPUtime=0.09 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 6296 0 0 0 9 0 0 0 20 0 1 0 173525096 43630592 8467 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 10652 8467 2746 2726 0 7400 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42608 KiB
Current children cumulated memory: 33868 KiB

[startup+0.205533 s]*
/proc/loadavg: 4.11 4.12 4.09 5/257 919913
/proc/meminfo: memFree=122630360/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=43308 memory=34392 CPUtime=0.19 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 6488 0 0 0 19 0 0 0 20 0 1 0 173525096 44347392 8598 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 10827 8598 2746 2726 0 7575 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43308 KiB
Current children cumulated memory: 34392 KiB

[startup+0.304764 s]*
/proc/loadavg: 4.11 4.12 4.09 5/257 919913
/proc/meminfo: memFree=122627560/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=46552 memory=37596 CPUtime=0.29 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 7223 0 0 0 29 0 0 0 20 0 1 0 173525096 47669248 9399 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 11638 9399 2762 2726 0 8386 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46552 KiB
Current children cumulated memory: 37596 KiB

[startup+0.700175 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 919913
/proc/meminfo: memFree=122627084/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=48100 memory=38652 CPUtime=0.68 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 7536 0 0 0 68 0 0 0 20 0 1 0 173525096 49254400 9663 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 12025 9663 2762 2726 0 8773 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48100 KiB
Current children cumulated memory: 38652 KiB

[startup+1.50017 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 919913
/proc/meminfo: memFree=122625124/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=50376 memory=40236 CPUtime=1.49 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 7920 0 0 0 148 1 0 0 20 0 1 0 173525096 51585024 10059 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 12594 10059 2762 2726 0 9342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50376 KiB
Current children cumulated memory: 40236 KiB

[startup+3.10541 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 919913
/proc/meminfo: memFree=122605420/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=65556 memory=54756 CPUtime=3.08 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 11567 0 0 0 307 1 0 0 20 0 1 0 173525096 67129344 13689 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 16389 13689 2762 2726 0 13137 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65556 KiB
Current children cumulated memory: 54756 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 919913
/proc/meminfo: memFree=122529848/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=149708 memory=137124 CPUtime=6.27 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 32125 0 0 0 624 3 0 0 20 0 1 0 173525096 153300992 34281 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 37427 34281 2762 2726 0 34175 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149708 KiB
Current children cumulated memory: 137124 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 919915
/proc/meminfo: memFree=122498560/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=155292 memory=141788 CPUtime=12.65 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 34419 0 0 0 1262 3 0 0 20 0 1 0 173525096 159019008 35447 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 38823 35447 2762 2726 0 35571 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 155292 KiB
Current children cumulated memory: 141788 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 919916
/proc/meminfo: memFree=122500632/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=155292 memory=142312 CPUtime=25.42 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 34533 0 0 0 2539 3 0 0 20 0 1 0 173525096 159019008 35578 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 38823 35578 2762 2726 0 35571 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 155292 KiB
Current children cumulated memory: 142312 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 919921
/proc/meminfo: memFree=122434088/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=220712 memory=203136 CPUtime=50.97 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 50611 0 0 0 5089 8 0 0 20 0 1 0 173525096 226009088 50784 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 55178 50784 2762 2726 0 51926 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 220712 KiB
Current children cumulated memory: 203136 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 919931
/proc/meminfo: memFree=122359672/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=266148 memory=246084 CPUtime=102.04 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 65085 0 0 0 10189 15 0 0 20 0 1 0 173525096 272535552 61521 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 66537 61521 2762 2726 0 63285 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 266148 KiB
Current children cumulated memory: 246084 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 919941
/proc/meminfo: memFree=122237016/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=295568 memory=270756 CPUtime=161.9 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 72084 0 0 0 16172 18 0 0 20 0 1 0 173525096 302661632 67689 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 73892 67689 2762 2726 0 70640 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 295568 KiB
Current children cumulated memory: 270756 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 920335
/proc/meminfo: memFree=122130724/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=315836 memory=286724 CPUtime=221.75 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 76093 0 0 0 22157 18 0 0 20 0 1 0 173525096 323416064 71681 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 78959 71681 2762 2726 0 75707 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 315836 KiB
Current children cumulated memory: 286724 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 920345
/proc/meminfo: memFree=122122592/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=321052 memory=291868 CPUtime=281.61 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 78380 0 0 0 28142 19 0 0 20 0 1 0 173525096 328757248 72967 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 80263 72967 2762 2726 0 77011 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 321052 KiB
Current children cumulated memory: 291868 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 920356
/proc/meminfo: memFree=122084540/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=323092 memory=294416 CPUtime=341.47 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 79518 0 0 0 34128 19 0 0 20 0 1 0 173525096 330846208 73604 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 80773 73604 2762 2726 0 77521 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 323092 KiB
Current children cumulated memory: 294416 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/258 920536
/proc/meminfo: memFree=121989792/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=320596 memory=297256 CPUtime=401.32 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 79628 0 0 0 40112 20 0 0 20 0 1 0 173525096 328290304 74314 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 80149 74314 2762 2726 0 76897 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 320596 KiB
Current children cumulated memory: 297256 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 920546
/proc/meminfo: memFree=121935616/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=344716 memory=335136 CPUtime=461.17 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 87151 0 0 0 46096 21 0 0 20 0 1 0 173525096 352989184 83784 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 86179 83784 2762 2726 0 82927 0

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

Current children cumulated memory: 284504 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 921664
/proc/meminfo: memFree=122483996/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=2915.23 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123264 0 0 0 291495 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 2915.23 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 921676
/proc/meminfo: memFree=122483640/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=2975.08 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123330 0 0 0 297480 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 2975.08 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3042.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/256 921686
/proc/meminfo: memFree=122483136/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3034.92 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123395 0 0 0 303464 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3034.92 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 921697
/proc/meminfo: memFree=122482696/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3094.76 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123459 0 0 0 309448 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3094.76 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 921707
/proc/meminfo: memFree=122482248/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3154.61 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123521 0 0 0 315433 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 921717
/proc/meminfo: memFree=122481880/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3214.45 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123584 0 0 0 321417 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3214.45 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 921728
/proc/meminfo: memFree=122481220/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3274.29 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123649 0 0 0 327401 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3274.29 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3342.3 s]
/proc/loadavg: 3.49 3.93 4.03 4/247 921769
/proc/meminfo: memFree=122733252/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3334.14 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123707 0 0 0 333386 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3402.3 s]
/proc/loadavg: 3.18 3.76 3.96 4/247 921779
/proc/meminfo: memFree=122732692/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3393.99 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123766 0 0 0 339371 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3462.3 s]
/proc/loadavg: 3.17 3.65 3.91 4/247 921789
/proc/meminfo: memFree=122727980/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3453.84 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123836 0 0 0 345356 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3453.84 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.54 3.86 4/249 921804
/proc/meminfo: memFree=122727332/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3513.69 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123910 0 0 0 351341 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

[startup+3582.3 s]
/proc/loadavg: 2.69 3.36 3.77 3/243 921847
/proc/meminfo: memFree=123093664/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3573.55 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 123984 0 0 0 357327 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3573.55 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 2.45 3.25 3.72 3/243 921850
/proc/meminfo: memFree=123093632/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3600.09 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 124045 0 0 0 359981 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.82 s, system=0.290173 s

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

[startup+3608.9 s]
/proc/loadavg: 2.45 3.25 3.72 3/243 921850
/proc/meminfo: memFree=123093632/131524600 swapFree=131071996/131071996
[pid=919912] ppid=919909 vsize=291716 memory=284504 CPUtime=3600.09 cores=4,6
/proc/919912/stat : 919912 (CASHWMaxSAT-Dis) R 919909 919912 914117 0 -1 4194304 124045 0 0 0 359981 28 0 0 20 0 1 0 173525096 298717184 71126 134679101440 4194304 15356333 140727302239072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 29679616 140727302247394 140727302247510 140727302247510 140727302254526 0
/proc/919912/statm: 72929 71126 2810 2726 0 69677 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 291716 KiB
Current children cumulated memory: 284504 KiB

Child status: 10

Real time (s): 3608.9
CPU time (s): 3600.11
CPU user time (s): 3599.82
CPU system time (s): 0.290173
CPU usage (%): 99.7563
Max. virtual memory (cumulated for all children) (KiB): 458764
Max. memory (cumulated for all children) (KiB): 448936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.82
system time used= 0.290173
maximum resident set size= 448936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124047
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= 45
involuntary context switches= 1448


# summary of solver processes directly reported to runsolver:
#   pid: 919912
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.82
#   total CPU system time (s): 0.290173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20804 second user time and 16.3731 second system time

The end