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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488653-1751339531/watcher-4488653-1751339531 -o /tmp/evaluation-result-4488653-1751339531/solver-4488653-1751339531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751335915-55866 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4488653-1751339531.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=57222, runsolver pid=57216

[startup+0.100067 s]*
/proc/loadavg: 4.10 4.14 4.12 4/259 57227
/proc/meminfo: memFree=127887064/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=43152 memory=34444 CPUtime=0.09 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 6357 0 0 0 8 1 0 0 20 0 1 0 49630692 44187648 8611 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 10788 8611 2624 2593 0 7681 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43152 KiB
Current children cumulated memory: 34444 KiB

[startup+0.205476 s]*
/proc/loadavg: 4.10 4.14 4.12 5/260 57232
/proc/meminfo: memFree=127887016/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=45784 memory=36748 CPUtime=0.19 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 6966 0 0 0 18 1 0 0 20 0 1 0 49630692 46882816 9187 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 11446 9187 2624 2593 0 8339 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 36748 KiB

[startup+0.305322 s]*
/proc/loadavg: 4.10 4.14 4.12 4/262 57236
/proc/meminfo: memFree=127871012/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=46048 memory=37260 CPUtime=0.29 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 7045 0 0 0 28 1 0 0 20 0 1 0 49630692 47153152 9315 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 11512 9315 2656 2593 0 8405 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 37260 KiB

[startup+0.700179 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 57241
/proc/meminfo: memFree=127863996/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=50612 memory=41484 CPUtime=0.68 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 8122 0 0 0 66 2 0 0 20 0 1 0 49630692 51826688 10371 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 12653 10371 2656 2593 0 9546 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50612 KiB
Current children cumulated memory: 41484 KiB

[startup+1.50018 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 57241
/proc/meminfo: memFree=127860148/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=53348 memory=43404 CPUtime=1.47 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 8588 0 0 0 145 2 0 0 20 0 1 0 49630692 54628352 10851 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 13337 10851 2656 2593 0 10230 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 53348 KiB
Current children cumulated memory: 43404 KiB

[startup+3.10531 s]
/proc/loadavg: 4.09 4.14 4.12 5/264 57241
/proc/meminfo: memFree=127828144/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=65960 memory=55436 CPUtime=3.08 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 11614 0 0 0 305 3 0 0 20 0 1 0 49630692 67543040 13859 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 16490 13859 2656 2593 0 13383 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65960 KiB
Current children cumulated memory: 55436 KiB

[startup+6.30016 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 57242
/proc/meminfo: memFree=127755964/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=108804 memory=96652 CPUtime=6.26 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 22522 0 0 0 622 4 0 0 20 0 1 0 49630692 111415296 24163 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 27201 24163 2656 2593 0 24094 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108804 KiB
Current children cumulated memory: 96652 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.14 4.11 5/265 57243
/proc/meminfo: memFree=127668024/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=147796 memory=134012 CPUtime=12.64 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 32391 0 0 0 1258 6 0 0 20 0 1 0 49630692 151343104 33503 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 36949 33503 2656 2593 0 33842 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 147796 KiB
Current children cumulated memory: 134012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.12 5/265 57243
/proc/meminfo: memFree=127670140/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=147796 memory=134140 CPUtime=25.4 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 32423 0 0 0 2534 6 0 0 20 0 1 0 49630692 151343104 33535 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 36949 33535 2656 2593 0 33842 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 147796 KiB
Current children cumulated memory: 134140 KiB

[startup+51.1052 s]
/proc/loadavg: 4.09 4.14 4.11 5/265 57288
/proc/meminfo: memFree=128182256/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=196368 memory=176252 CPUtime=50.93 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 42963 0 0 0 5085 8 0 0 20 0 1 0 49630692 201080832 44063 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 49092 44063 2656 2593 0 45985 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 196368 KiB
Current children cumulated memory: 176252 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 57290
/proc/meminfo: memFree=127975680/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=225424 memory=205056 CPUtime=101.99 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 52974 0 0 0 10189 10 0 0 20 0 1 0 49630692 230834176 51264 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 56356 51264 2656 2593 0 53249 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 225424 KiB
Current children cumulated memory: 205056 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/264 57293
/proc/meminfo: memFree=127861096/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=273076 memory=247552 CPUtime=161.83 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 63626 0 0 0 16171 12 0 0 20 0 1 0 49630692 279629824 61888 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 68269 61888 2656 2593 0 65162 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 247552 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/264 57295
/proc/meminfo: memFree=127795296/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=285332 memory=259200 CPUtime=221.66 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 65991 0 0 0 22153 13 0 0 20 0 1 0 49630692 292179968 64800 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 71333 64800 2656 2593 0 68226 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 285332 KiB
Current children cumulated memory: 259200 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 57341
/proc/meminfo: memFree=127770152/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=296312 memory=276276 CPUtime=281.49 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 70406 0 0 0 28135 14 0 0 20 0 1 0 49630692 303423488 69069 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 74078 69069 2656 2593 0 70971 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 296312 KiB
Current children cumulated memory: 276276 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/263 57343
/proc/meminfo: memFree=127694776/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=303320 memory=292768 CPUtime=341.32 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 73040 0 0 0 34117 15 0 0 20 0 1 0 49630692 310599680 73192 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 75830 73192 2656 2593 0 72723 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 303320 KiB
Current children cumulated memory: 292768 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 57353
/proc/meminfo: memFree=127642772/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=308652 memory=299296 CPUtime=401.17 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 74163 0 0 0 40101 16 0 0 20 0 1 0 49630692 316059648 74824 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 77163 74824 2656 2593 0 74056 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 308652 KiB
Current children cumulated memory: 299296 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 57355
/proc/meminfo: memFree=127604824/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=317876 memory=304288 CPUtime=461 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 75439 0 0 0 46084 16 0 0 20 0 1 0 49630692 325505024 76072 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 79469 76072 2656 2593 0 76362 0

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

Current children cumulated memory: 590056 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 57475
/proc/meminfo: memFree=126696040/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=602272 memory=590312 CPUtime=2854.65 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 143299 0 0 0 285421 44 0 0 20 0 1 0 49630692 616726528 147578 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 150568 147578 2656 2593 0 147461 0
Current children cumulated CPU time: 2854.65 s
Current children cumulated vsize: 602272 KiB
Current children cumulated memory: 590312 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 57477
/proc/meminfo: memFree=126697692/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=602272 memory=590824 CPUtime=2914.5 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 143658 0 0 0 291405 45 0 0 20 0 1 0 49630692 616726528 147706 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 150568 147706 2656 2593 0 147461 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 602272 KiB
Current children cumulated memory: 590824 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 57491
/proc/meminfo: memFree=126680536/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=602272 memory=591208 CPUtime=2974.35 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 143964 0 0 0 297389 46 0 0 20 0 1 0 49630692 616726528 147802 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 150568 147802 2656 2593 0 147461 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 602272 KiB
Current children cumulated memory: 591208 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 57493
/proc/meminfo: memFree=126848304/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=603292 memory=592360 CPUtime=3034.19 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 144420 0 0 0 303373 46 0 0 20 0 1 0 49630692 617771008 148090 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 150823 148090 2656 2593 0 147716 0
Current children cumulated CPU time: 3034.19 s
Current children cumulated vsize: 603292 KiB
Current children cumulated memory: 592360 KiB

[startup+3102.3 s]
/proc/loadavg: 4.36 4.17 4.12 5/263 57495
/proc/meminfo: memFree=126820836/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=621676 memory=611560 CPUtime=3094.03 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 149349 0 0 0 309355 48 0 0 20 0 1 0 49630692 636596224 152890 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 155419 152890 2656 2593 0 152312 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 621676 KiB
Current children cumulated memory: 611560 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.18 4.12 5/263 57497
/proc/meminfo: memFree=126821080/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=621676 memory=612200 CPUtime=3153.88 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 149761 0 0 0 315340 48 0 0 20 0 1 0 49630692 636596224 153050 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 155419 153050 2656 2593 0 152312 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 621676 KiB
Current children cumulated memory: 612200 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/263 57499
/proc/meminfo: memFree=126820496/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=621676 memory=612328 CPUtime=3213.71 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 149916 0 0 0 321323 48 0 0 20 0 1 0 49630692 636596224 153082 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 155419 153082 2656 2593 0 152312 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 621676 KiB
Current children cumulated memory: 612328 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/262 57501
/proc/meminfo: memFree=126820388/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=621676 memory=612584 CPUtime=3273.56 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 150109 0 0 0 327307 49 0 0 20 0 1 0 49630692 636596224 153146 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 155419 153146 2656 2593 0 152312 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 621676 KiB
Current children cumulated memory: 612584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 57504
/proc/meminfo: memFree=126792360/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=621676 memory=612712 CPUtime=3333.4 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 150128 0 0 0 333291 49 0 0 20 0 1 0 49630692 636596224 153178 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 155419 153178 2656 2593 0 152312 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 621676 KiB
Current children cumulated memory: 612712 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 57514
/proc/meminfo: memFree=126801988/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=621676 memory=612968 CPUtime=3393.25 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 150185 0 0 0 339275 50 0 0 20 0 1 0 49630692 636596224 153242 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 155419 153242 2656 2593 0 152312 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 621676 KiB
Current children cumulated memory: 612968 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 57516
/proc/meminfo: memFree=126817540/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=621676 memory=613096 CPUtime=3453.09 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 150225 0 0 0 345259 50 0 0 20 0 1 0 49630692 636596224 153274 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 155419 153274 2656 2593 0 152312 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 621676 KiB
Current children cumulated memory: 613096 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 57519
/proc/meminfo: memFree=126817192/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=621676 memory=613096 CPUtime=3512.93 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 150466 0 0 0 351243 50 0 0 20 0 1 0 49630692 636596224 153274 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 155419 153274 2656 2593 0 152312 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 621676 KiB
Current children cumulated memory: 613096 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 57521
/proc/meminfo: memFree=126816092/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=624108 memory=613992 CPUtime=3572.78 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 150720 0 0 0 357228 50 0 0 20 0 1 0 49630692 639086592 153498 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 156027 153498 2656 2593 0 152920 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 624108 KiB
Current children cumulated memory: 613992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 57522
/proc/meminfo: memFree=126956684/131250000 swapFree=33010684/33010684
[pid=57222] ppid=57216 vsize=478924 memory=472024 CPUtime=3600 cores=0,2
/proc/57222/stat : 57222 (CASHWMaxSAT-Dis) R 57216 57222 55856 0 -1 4194304 150855 0 0 0 359948 52 0 0 20 0 1 0 49630692 490418176 118006 18446744073709551615 4198400 14817773 140722400030992 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47824896 140722400037226 140722400037341 140722400037341 140722400042943 0
/proc/57222/statm: 119731 118006 2688 2593 0 116624 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 478924 KiB
Current children cumulated memory: 472024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.49 s, system=0.530608 s

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

Child status: 10

Real time (s): 3609.6
CPU time (s): 3600.02
CPU user time (s): 3599.49
CPU system time (s): 0.530608
CPU usage (%): 99.7345
Max. virtual memory (cumulated for all children) (KiB): 624108
Max. memory (cumulated for all children) (KiB): 613992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.530608
maximum resident set size= 613992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150858
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= 7962


# summary of solver processes directly reported to runsolver:
#   pid: 57222
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.49
#   total CPU system time (s): 0.530608

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80437 second user time and 14.4296 second system time

The end