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 (62441 MiB free)
  memory of node 1: 64507 MiB (63406 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=78164, runsolver pid=78161

[startup+0.100066 s]*
/proc/loadavg: 4.08 4.09 4.05 5/263 78165
/proc/meminfo: memFree=128853332/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=45900 memory=36764 CPUtime=0.09 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 7312 0 0 0 8 1 0 0 20 0 1 0 70471972 47001600 9191 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 11475 9191 2368 2416 0 8577 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45900 KiB
Current children cumulated memory: 36764 KiB

[startup+0.205454 s]*
/proc/loadavg: 4.08 4.09 4.05 5/263 78165
/proc/meminfo: memFree=128853332/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=53716 memory=44444 CPUtime=0.19 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 9142 0 0 0 18 1 0 0 20 0 1 0 70471972 55005184 11111 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 13429 11111 2496 2416 0 10531 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53716 KiB
Current children cumulated memory: 44444 KiB

[startup+0.305312 s]*
/proc/loadavg: 4.08 4.09 4.05 5/263 78165
/proc/meminfo: memFree=128853332/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=63424 memory=54172 CPUtime=0.29 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 11555 0 0 0 28 1 0 0 20 0 1 0 70471972 64946176 13543 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 15856 13543 2496 2416 0 12958 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63424 KiB
Current children cumulated memory: 54172 KiB

[startup+0.700168 s]
/proc/loadavg: 4.08 4.09 4.05 5/263 78165
/proc/meminfo: memFree=128845520/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=85436 memory=75292 CPUtime=0.68 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 16857 0 0 0 66 2 0 0 20 0 1 0 70471972 87486464 18823 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 21359 18823 2496 2416 0 18461 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 85436 KiB
Current children cumulated memory: 75292 KiB

[startup+1.50016 s]
/proc/loadavg: 4.08 4.09 4.05 5/263 78165
/proc/meminfo: memFree=128837456/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=100104 memory=87964 CPUtime=1.48 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 20028 0 0 0 146 2 0 0 20 0 1 0 70471972 102506496 21991 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 25026 21991 2496 2416 0 22128 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100104 KiB
Current children cumulated memory: 87964 KiB

[startup+3.10528 s]
/proc/loadavg: 4.07 4.09 4.05 5/263 78165
/proc/meminfo: memFree=128809264/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=124236 memory=106012 CPUtime=3.08 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 24536 0 0 0 305 3 0 0 20 0 1 0 70471972 127217664 26503 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 31059 26503 2496 2416 0 28161 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 124236 KiB
Current children cumulated memory: 106012 KiB

[startup+6.3001 s]
/proc/loadavg: 4.07 4.09 4.05 5/263 78165
/proc/meminfo: memFree=128805696/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=125828 memory=106524 CPUtime=6.27 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 24666 0 0 0 624 3 0 0 20 0 1 0 70471972 128847872 26631 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 31457 26631 2496 2416 0 28559 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125828 KiB
Current children cumulated memory: 106524 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.10 4.06 5/263 78165
/proc/meminfo: memFree=128768636/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=138760 memory=118044 CPUtime=12.66 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 27544 0 0 0 1262 4 0 0 20 0 1 0 70471972 142090240 29511 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 34690 29511 2496 2416 0 31792 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 138760 KiB
Current children cumulated memory: 118044 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.06 5/263 78166
/proc/meminfo: memFree=128752508/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=150252 memory=131612 CPUtime=25.42 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 30954 0 0 0 2538 4 0 0 20 0 1 0 70471972 153858048 32903 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 37563 32903 2496 2416 0 34665 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 150252 KiB
Current children cumulated memory: 131612 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 4.09 4.06 5/264 78167
/proc/meminfo: memFree=128694016/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=170512 memory=151196 CPUtime=50.96 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 35849 0 0 0 5091 5 0 0 20 0 1 0 70471972 174604288 37799 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 42628 37799 2496 2416 0 39730 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 170512 KiB
Current children cumulated memory: 151196 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/264 78169
/proc/meminfo: memFree=128559168/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=222732 memory=191644 CPUtime=102.04 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 45976 0 0 0 10196 8 0 0 20 0 1 0 70471972 228077568 47911 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 55683 47911 2496 2416 0 52785 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 222732 KiB
Current children cumulated memory: 191644 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/264 78171
/proc/meminfo: memFree=128497544/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=252796 memory=217372 CPUtime=161.89 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 52534 0 0 0 16179 10 0 0 20 0 1 0 70471972 258863104 54343 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 63199 54343 2496 2416 0 60301 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 252796 KiB
Current children cumulated memory: 217372 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/265 78178
/proc/meminfo: memFree=128466584/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=272280 memory=237724 CPUtime=221.73 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 57646 0 0 0 22161 12 0 0 20 0 1 0 70471972 278814720 59431 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 68070 59431 2496 2416 0 65172 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 272280 KiB
Current children cumulated memory: 237724 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.07 5/265 78180
/proc/meminfo: memFree=128391984/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=281296 memory=248220 CPUtime=281.54 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 59921 0 0 0 28140 14 0 0 20 0 1 0 70471972 288047104 62055 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 70324 62055 2496 2416 0 67426 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 281296 KiB
Current children cumulated memory: 248220 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 4.08 4.06 5/264 78184
/proc/meminfo: memFree=128368608/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=283256 memory=259356 CPUtime=341.38 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 60516 0 0 0 34124 14 0 0 20 0 1 0 70471972 290054144 64839 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 70814 64839 2496 2416 0 67916 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 283256 KiB
Current children cumulated memory: 259356 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/263 78186
/proc/meminfo: memFree=128354524/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=286208 memory=278940 CPUtime=401.24 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 61356 0 0 0 40109 15 0 0 20 0 1 0 70471972 293076992 69735 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 71552 69735 2496 2416 0 68654 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 286208 KiB
Current children cumulated memory: 278940 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/263 78188
/proc/meminfo: memFree=128348816/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=294616 memory=287260 CPUtime=461.08 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 63216 0 0 0 46093 15 0 0 20 0 1 0 70471972 301686784 71815 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 73654 71815 2496 2416 0 70756 0

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

Current children cumulated memory: 427552 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/265 78306
/proc/meminfo: memFree=128042244/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=2855.09 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102540 0 0 0 285488 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 2855.09 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 78308
/proc/meminfo: memFree=128046204/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=2914.93 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102662 0 0 0 291472 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 2914.93 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/265 78313
/proc/meminfo: memFree=128045580/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=2974.79 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102662 0 0 0 297458 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 2974.79 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 78315
/proc/meminfo: memFree=128046172/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=3034.63 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102662 0 0 0 303442 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 78320
/proc/meminfo: memFree=128021572/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=3094.48 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102784 0 0 0 309427 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/266 78323
/proc/meminfo: memFree=128021740/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=3154.33 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102784 0 0 0 315412 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 78329
/proc/meminfo: memFree=128021636/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=3214.17 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102784 0 0 0 321396 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 78331
/proc/meminfo: memFree=128021516/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=3274.02 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102906 0 0 0 327381 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 78344
/proc/meminfo: memFree=128028756/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=3333.87 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102906 0 0 0 333366 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/266 78348
/proc/meminfo: memFree=128024328/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=3393.71 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 102906 0 0 0 339350 21 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 78349
/proc/meminfo: memFree=128016272/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=434804 memory=427552 CPUtime=3453.55 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 103624 0 0 0 345333 22 0 0 20 0 1 0 70471972 445239296 106888 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 108701 106888 2496 2416 0 105803 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 434804 KiB
Current children cumulated memory: 427552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78351
/proc/meminfo: memFree=128016416/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=453060 memory=445708 CPUtime=3513.4 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 104098 0 0 0 351317 23 0 0 20 0 1 0 70471972 463933440 111427 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 113265 111427 2496 2416 0 110367 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 453060 KiB
Current children cumulated memory: 445708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 78355
/proc/meminfo: memFree=128016328/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=453060 memory=445708 CPUtime=3573.25 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 104172 0 0 0 357302 23 0 0 20 0 1 0 70471972 463933440 111427 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 113265 111427 2496 2416 0 110367 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 453060 KiB
Current children cumulated memory: 445708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 78537
/proc/meminfo: memFree=128392952/131249996 swapFree=33010416/33010684
[pid=78164] ppid=78161 vsize=453060 memory=445708 CPUtime=3600.08 cores=5,7
/proc/78164/stat : 78164 (CASHWMaxSAT-Dis) R 78161 78164 77638 0 -1 4194304 104196 0 0 0 359985 23 0 0 20 0 1 0 70471972 463933440 111427 18446744073709551615 4198400 14093885 140721400782992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33656832 140721400785258 140721400785373 140721400785373 140721400790975 0
/proc/78164/statm: 113265 111427 2496 2416 0 110367 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 453060 KiB
Current children cumulated memory: 445708 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.85 s, system=0.234323 s

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

Child status: 10

Real time (s): 3609.2
CPU time (s): 3600.09
CPU user time (s): 3599.85
CPU system time (s): 0.234323
CPU usage (%): 99.7475
Max. virtual memory (cumulated for all children) (KiB): 465156
Max. memory (cumulated for all children) (KiB): 446276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 0.234323
maximum resident set size= 446276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104199
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= 49
involuntary context switches= 1658


# summary of solver processes directly reported to runsolver:
#   pid: 78164
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.85
#   total CPU system time (s): 0.234323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67091 second user time and 15.4072 second system time

The end