runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62696 MiB free)
  memory of node 1: 64507 MiB (63918 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488884-1751349176/watcher-4488884-1751349176 -o /tmp/evaluation-result-4488884-1751349176/solver-4488884-1751349176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751349176-54353 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4488884-1751349176.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=54400, runsolver pid=54394

[startup+0.100065 s]*
/proc/loadavg: 0.86 1.13 2.03 5/265 54413
/proc/meminfo: memFree=129589132/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=43196 memory=34304 CPUtime=0.1 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 6357 0 0 0 9 1 0 0 20 0 1 0 50597897 44232704 8576 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 10799 8576 2464 2416 0 7901 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 34304 KiB

[startup+0.205467 s]*
/proc/loadavg: 0.86 1.13 2.03 5/265 54413
/proc/meminfo: memFree=129571244/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=45224 memory=36224 CPUtime=0.2 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 6865 0 0 0 19 1 0 0 20 0 1 0 50597897 46309376 9056 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 11306 9056 2464 2416 0 8408 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45224 KiB
Current children cumulated memory: 36224 KiB

[startup+0.305342 s]*
/proc/loadavg: 0.86 1.13 2.03 5/265 54413
/proc/meminfo: memFree=129478508/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=45564 memory=36864 CPUtime=0.3 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 6969 0 0 0 29 1 0 0 20 0 1 0 50597897 46657536 9216 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 11391 9216 2496 2416 0 8493 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45564 KiB
Current children cumulated memory: 36864 KiB

[startup+0.700131 s]
/proc/loadavg: 0.86 1.13 2.03 5/265 54413
/proc/meminfo: memFree=129438440/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=50076 memory=40704 CPUtime=0.69 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 7938 0 0 0 68 1 0 0 20 0 1 0 50597897 51277824 10176 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 12519 10176 2496 2416 0 9621 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50076 KiB
Current children cumulated memory: 40704 KiB

[startup+1.5001 s]
/proc/loadavg: 0.86 1.13 2.03 5/265 54413
/proc/meminfo: memFree=129292024/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=52284 memory=42624 CPUtime=1.48 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 8433 0 0 0 147 1 0 0 20 0 1 0 50597897 53538816 10656 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 13071 10656 2496 2416 0 10173 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52284 KiB
Current children cumulated memory: 42624 KiB

[startup+3.10523 s]
/proc/loadavg: 1.11 1.17 2.04 5/265 54413
/proc/meminfo: memFree=129212040/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=74228 memory=63872 CPUtime=3.08 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 13723 0 0 0 306 2 0 0 20 0 1 0 50597897 76009472 15968 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 18557 15968 2496 2416 0 15659 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74228 KiB
Current children cumulated memory: 63872 KiB

[startup+6.30015 s]
/proc/loadavg: 1.11 1.17 2.04 5/265 54414
/proc/meminfo: memFree=129131904/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=122268 memory=110336 CPUtime=6.27 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 25343 0 0 0 623 4 0 0 20 0 1 0 50597897 125202432 27584 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 30567 27584 2496 2416 0 27669 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 122268 KiB
Current children cumulated memory: 110336 KiB

[startup+12.7001 s]
/proc/loadavg: 1.35 1.22 2.05 5/265 54414
/proc/meminfo: memFree=128958544/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=156204 memory=140416 CPUtime=12.65 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 32883 0 0 0 1261 4 0 0 20 0 1 0 50597897 159952896 35104 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 39051 35104 2496 2416 0 36153 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 156204 KiB
Current children cumulated memory: 140416 KiB

[startup+25.5001 s]
/proc/loadavg: 2.00 1.37 2.09 5/265 54414
/proc/meminfo: memFree=128829664/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=159996 memory=144512 CPUtime=25.42 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 33888 0 0 0 2537 5 0 0 20 0 1 0 50597897 163835904 36128 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 39999 36128 2496 2416 0 37101 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 159996 KiB
Current children cumulated memory: 144512 KiB

[startup+51.1052 s]
/proc/loadavg: 2.69 1.59 2.14 5/265 54414
/proc/meminfo: memFree=128619652/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=205048 memory=189056 CPUtime=50.96 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 45063 0 0 0 5090 6 0 0 20 0 1 0 50597897 209969152 47264 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 51262 47264 2496 2416 0 48364 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 205048 KiB
Current children cumulated memory: 189056 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 1.98 2.25 5/264 54418
/proc/meminfo: memFree=128608476/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=205048 memory=189952 CPUtime=102.03 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 45398 0 0 0 10196 7 0 0 20 0 1 0 50597897 209969152 47488 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 51262 47488 2496 2416 0 48364 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 205048 KiB
Current children cumulated memory: 189952 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.36 2.37 5/264 54420
/proc/meminfo: memFree=128544324/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=214316 memory=201984 CPUtime=161.86 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 47676 0 0 0 16179 7 0 0 20 0 1 0 50597897 219459584 50496 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 53579 50496 2496 2416 0 50681 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 214316 KiB
Current children cumulated memory: 201984 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.68 2.48 5/264 54422
/proc/meminfo: memFree=128476556/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=262812 memory=253696 CPUtime=221.71 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 59855 0 0 0 22162 9 0 0 20 0 1 0 50597897 269119488 63424 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 65703 63424 2496 2416 0 62805 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 262812 KiB
Current children cumulated memory: 253696 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 2.93 2.58 5/265 54430
/proc/meminfo: memFree=128400376/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=306592 memory=299264 CPUtime=281.55 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 70577 0 0 0 28145 10 0 0 20 0 1 0 50597897 313950208 74816 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 76648 74816 2496 2416 0 73750 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 306592 KiB
Current children cumulated memory: 299264 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.68 5/265 54433
/proc/meminfo: memFree=128355992/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=314052 memory=305920 CPUtime=341.41 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 72379 0 0 0 34130 11 0 0 20 0 1 0 50597897 321589248 76480 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 78513 76480 2496 2416 0 75615 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 314052 KiB
Current children cumulated memory: 305920 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.34 2.77 5/265 54435
/proc/meminfo: memFree=128302816/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=314052 memory=305920 CPUtime=401.26 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 72533 0 0 0 40115 11 0 0 20 0 1 0 50597897 321589248 76480 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 78513 76480 2496 2416 0 75615 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 314052 KiB
Current children cumulated memory: 305920 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.48 2.86 5/265 54437
/proc/meminfo: memFree=128248248/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=331008 memory=322068 CPUtime=461.11 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 75546 0 0 0 46100 11 0 0 20 0 1 0 50597897 338952192 80517 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 82752 80517 2496 2416 0 79854 0
Current children cumulated CPU time: 461.11 s

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

Current children cumulated memory: 585832 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/264 54561
/proc/meminfo: memFree=127323764/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=595184 memory=585832 CPUtime=2855.15 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 138153 0 0 0 285493 22 0 0 20 0 1 0 50597897 609468416 146458 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 148796 146458 2496 2416 0 145898 0
Current children cumulated CPU time: 2855.15 s
Current children cumulated vsize: 595184 KiB
Current children cumulated memory: 585832 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/264 54563
/proc/meminfo: memFree=127323820/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=595184 memory=585832 CPUtime=2915 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 138283 0 0 0 291478 22 0 0 20 0 1 0 50597897 609468416 146458 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 148796 146458 2496 2416 0 145898 0
Current children cumulated CPU time: 2915 s
Current children cumulated vsize: 595184 KiB
Current children cumulated memory: 585832 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/264 54565
/proc/meminfo: memFree=127323816/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=595184 memory=585832 CPUtime=2974.85 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 138401 0 0 0 297463 22 0 0 20 0 1 0 50597897 609468416 146458 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 148796 146458 2496 2416 0 145898 0
Current children cumulated CPU time: 2974.85 s
Current children cumulated vsize: 595184 KiB
Current children cumulated memory: 585832 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/264 54567
/proc/meminfo: memFree=127323592/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=595184 memory=585832 CPUtime=3034.7 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 138402 0 0 0 303448 22 0 0 20 0 1 0 50597897 609468416 146458 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 148796 146458 2496 2416 0 145898 0
Current children cumulated CPU time: 3034.7 s
Current children cumulated vsize: 595184 KiB
Current children cumulated memory: 585832 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/263 54571
/proc/meminfo: memFree=127324196/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=595184 memory=585832 CPUtime=3094.55 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 138645 0 0 0 309433 22 0 0 20 0 1 0 50597897 609468416 146458 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 148796 146458 2496 2416 0 145898 0
Current children cumulated CPU time: 3094.55 s
Current children cumulated vsize: 595184 KiB
Current children cumulated memory: 585832 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.08 4.01 5/262 54573
/proc/meminfo: memFree=127323404/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=595184 memory=585832 CPUtime=3154.41 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 138646 0 0 0 315419 22 0 0 20 0 1 0 50597897 609468416 146458 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 148796 146458 2496 2416 0 145898 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 595184 KiB
Current children cumulated memory: 585832 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/262 54575
/proc/meminfo: memFree=127272028/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=600396 memory=589236 CPUtime=3214.26 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 139233 0 0 0 321403 23 0 0 20 0 1 0 50597897 614805504 147309 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 150099 147309 2496 2416 0 147201 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 600396 KiB
Current children cumulated memory: 589236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/263 54582
/proc/meminfo: memFree=127265816/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=600396 memory=589748 CPUtime=3274.12 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 139364 0 0 0 327389 23 0 0 20 0 1 0 50597897 614805504 147437 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 150099 147437 2496 2416 0 147201 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 600396 KiB
Current children cumulated memory: 589748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/264 54585
/proc/meminfo: memFree=127258492/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=600396 memory=592308 CPUtime=3333.97 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 139501 0 0 0 333374 23 0 0 20 0 1 0 50597897 614805504 148077 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 150099 148077 2496 2416 0 147201 0
Current children cumulated CPU time: 3333.97 s
Current children cumulated vsize: 600396 KiB
Current children cumulated memory: 592308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/264 54587
/proc/meminfo: memFree=127258824/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=600396 memory=592308 CPUtime=3393.82 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 139752 0 0 0 339359 23 0 0 20 0 1 0 50597897 614805504 148077 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 150099 148077 2496 2416 0 147201 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 600396 KiB
Current children cumulated memory: 592308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 54589
/proc/meminfo: memFree=127258580/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=600396 memory=592308 CPUtime=3453.67 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 139763 0 0 0 345344 23 0 0 20 0 1 0 50597897 614805504 148077 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 150099 148077 2496 2416 0 147201 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 600396 KiB
Current children cumulated memory: 592308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 54591
/proc/meminfo: memFree=127259264/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=600396 memory=592308 CPUtime=3513.52 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 139905 0 0 0 351329 23 0 0 20 0 1 0 50597897 614805504 148077 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 150099 148077 2496 2416 0 147201 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 600396 KiB
Current children cumulated memory: 592308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/263 54593
/proc/meminfo: memFree=127258708/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=600396 memory=592308 CPUtime=3573.38 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 140040 0 0 0 357315 23 0 0 20 0 1 0 50597897 614805504 148077 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 150099 148077 2496 2416 0 147201 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 600396 KiB
Current children cumulated memory: 592308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.07 4.08 4.01 4/259 54602
/proc/meminfo: memFree=127893232/131250000 swapFree=33010684/33010684
[pid=54400] ppid=54394 vsize=542964 memory=536072 CPUtime=3600.01 cores=0,2
/proc/54400/stat : 54400 (CASHWMaxSAT-Dis) R 54394 54400 54343 0 -1 4194304 140170 0 0 0 359978 23 0 0 20 0 1 0 50597897 555995136 134018 18446744073709551615 4198400 14093885 140727654392576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 26460160 140727654398314 140727654398429 140727654398429 140727654404031 0
/proc/54400/statm: 135741 134018 2496 2416 0 132843 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 542964 KiB
Current children cumulated memory: 536072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.79 s, system=0.237207 s

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

Child status: 10

Real time (s): 3609.01
CPU time (s): 3600.03
CPU user time (s): 3599.79
CPU system time (s): 0.237207
CPU usage (%): 99.7511
Max. virtual memory (cumulated for all children) (KiB): 600396
Max. memory (cumulated for all children) (KiB): 592308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.79
system time used= 0.237207
maximum resident set size= 592308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140173
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= 62
involuntary context switches= 4616


# summary of solver processes directly reported to runsolver:
#   pid: 54400
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.79
#   total CPU system time (s): 0.237207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17249 second user time and 14.7545 second system time

The end