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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 4.12 4.11 4.09 5/260 41828
/proc/meminfo: memFree=127514468/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=41568 memory=23040 CPUtime=0.09 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 5147 0 0 0 9 0 0 0 20 0 1 0 45616302 42565632 5760 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 10392 5760 736 2416 0 7494 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41568 KiB
Current children cumulated memory: 23040 KiB

[startup+0.205433 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 41838
/proc/meminfo: memFree=127446224/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=60808 memory=42496 CPUtime=0.2 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 9997 0 0 0 19 1 0 0 20 0 1 0 45616302 62267392 10624 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 15202 10624 736 2416 0 12304 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60808 KiB
Current children cumulated memory: 42496 KiB

[startup+0.305383 s]*
/proc/loadavg: 4.12 4.11 4.09 5/261 41838
/proc/meminfo: memFree=129086488/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=79456 memory=60928 CPUtime=0.3 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 14629 0 0 0 28 2 0 0 20 0 1 0 45616302 81362944 15232 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 19864 15232 736 2416 0 16966 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79456 KiB
Current children cumulated memory: 60928 KiB

[startup+0.700156 s]
/proc/loadavg: 4.12 4.11 4.09 4/259 41846
/proc/meminfo: memFree=128853388/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=211528 memory=200460 CPUtime=0.69 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 47926 0 0 0 62 7 0 0 20 0 1 0 45616302 216604672 50115 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 52882 50115 2336 2416 0 49984 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 211528 KiB
Current children cumulated memory: 200460 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 41852
/proc/meminfo: memFree=128539244/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=367692 memory=334600 CPUtime=1.49 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 63501 0 0 0 139 10 0 0 20 0 1 0 45616302 376516608 83650 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 91923 83650 2400 2416 0 89025 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 367692 KiB
Current children cumulated memory: 334600 KiB

[startup+3.10522 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127496448/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=529816 memory=497444 CPUtime=3.09 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 83777 0 0 0 294 15 0 0 20 0 1 0 45616302 542531584 124361 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 132454 124361 2496 2416 0 129556 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 529816 KiB
Current children cumulated memory: 497444 KiB

[startup+6.3001 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127273596/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=571528 memory=526160 CPUtime=6.27 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 89958 0 0 0 611 16 0 0 20 0 1 0 45616302 585244672 131540 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 142882 131540 2496 2416 0 139984 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 571528 KiB
Current children cumulated memory: 526160 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127265652/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=590380 memory=528208 CPUtime=12.66 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 90479 0 0 0 1249 17 0 0 20 0 1 0 45616302 604549120 132052 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 147595 132052 2496 2416 0 144697 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 590380 KiB
Current children cumulated memory: 528208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 41883
/proc/meminfo: memFree=127225456/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=705068 memory=539116 CPUtime=25.42 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 92168 0 0 0 2525 17 0 0 20 0 1 0 45616302 721989632 134779 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 176267 134779 2496 2416 0 173369 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 705068 KiB
Current children cumulated memory: 539116 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41884
/proc/meminfo: memFree=126766696/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=859420 memory=651884 CPUtime=50.95 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 120370 0 0 0 5073 22 0 0 20 0 1 0 45616302 880046080 162971 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 214855 162971 2496 2416 0 211957 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 859420 KiB
Current children cumulated memory: 651884 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 41885
/proc/meminfo: memFree=126655408/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=859420 memory=652268 CPUtime=101.96 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 120513 0 0 0 10174 22 0 0 20 0 1 0 45616302 880046080 163067 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 214855 163067 2496 2416 0 211957 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 859420 KiB
Current children cumulated memory: 652268 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 41888
/proc/meminfo: memFree=126430488/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=941064 memory=733880 CPUtime=161.77 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 154909 0 0 0 16149 28 0 0 20 0 1 0 45616302 963649536 183470 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 235266 183470 2528 2416 0 232368 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 941064 KiB
Current children cumulated memory: 733880 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 41890
/proc/meminfo: memFree=126220852/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1077572 memory=721152 CPUtime=221.59 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 158245 0 0 0 22131 28 0 0 20 0 1 0 45616302 1103433728 180288 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 269393 180288 2528 2416 0 266495 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1077572 KiB
Current children cumulated memory: 721152 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 41892
/proc/meminfo: memFree=125982108/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1151884 memory=770332 CPUtime=281.43 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 185733 0 0 0 28110 33 0 0 20 0 1 0 45616302 1179529216 192583 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 287971 192583 2528 2416 0 285073 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1151884 KiB
Current children cumulated memory: 770332 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 41894
/proc/meminfo: memFree=125874264/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1219200 memory=813148 CPUtime=341.25 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 187833 0 0 0 34091 34 0 0 20 0 1 0 45616302 1248460800 203287 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 304800 203287 2528 2416 0 301902 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1219200 KiB
Current children cumulated memory: 813148 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 41903
/proc/meminfo: memFree=125651400/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1256048 memory=851748 CPUtime=401.05 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 204227 0 0 0 40068 37 0 0 20 0 1 0 45616302 1286193152 212937 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 314012 212937 2528 2416 0 311114 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 1256048 KiB
Current children cumulated memory: 851748 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 41905
/proc/meminfo: memFree=125563832/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1272588 memory=866628 CPUtime=460.88 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 205383 0 0 0 46050 38 0 0 20 0 1 0 45616302 1303130112 216657 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 318147 216657 2528 2416 0 315249 0
Current children cumulated CPU time: 460.88 s

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

Current children cumulated memory: 1157944 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 42019
/proc/meminfo: memFree=123275772/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1157944 CPUtime=2854.51 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 371080 0 0 0 285381 70 0 0 20 0 1 0 45616302 1497399296 289486 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 289486 2528 2416 0 362678 0
Current children cumulated CPU time: 2854.51 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1157944 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 42021
/proc/meminfo: memFree=123271472/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1173340 CPUtime=2914.35 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 372454 0 0 0 291364 71 0 0 20 0 1 0 45616302 1497399296 293335 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293335 2528 2416 0 362678 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1173340 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 42023
/proc/meminfo: memFree=123239700/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1173340 CPUtime=2974.19 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 372509 0 0 0 297348 71 0 0 20 0 1 0 45616302 1497399296 293335 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293335 2528 2416 0 362678 0
Current children cumulated CPU time: 2974.19 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1173340 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 42025
/proc/meminfo: memFree=124434992/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1173340 CPUtime=3034.03 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 372612 0 0 0 303332 71 0 0 20 0 1 0 45616302 1497399296 293335 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293335 2528 2416 0 362678 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1173340 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 42027
/proc/meminfo: memFree=124422148/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3093.87 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 372648 0 0 0 309316 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 42029
/proc/meminfo: memFree=124445372/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3153.71 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 372785 0 0 0 315300 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 42031
/proc/meminfo: memFree=124429588/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3213.55 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 372827 0 0 0 321284 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 42034
/proc/meminfo: memFree=124376780/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3273.4 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 372939 0 0 0 327269 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 42036
/proc/meminfo: memFree=124369720/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3333.24 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 373007 0 0 0 333253 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 42045
/proc/meminfo: memFree=124363216/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3393.08 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 373095 0 0 0 339237 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 42047
/proc/meminfo: memFree=124375736/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3452.93 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 373150 0 0 0 345222 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 42060
/proc/meminfo: memFree=124363428/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3512.77 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 373245 0 0 0 351206 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 42062
/proc/meminfo: memFree=124365308/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3572.61 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 373310 0 0 0 357190 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.45 4.19 4.12 5/263 42063
/proc/meminfo: memFree=124339652/131250000 swapFree=33010684/33010684
[pid=41821] ppid=41812 vsize=1462304 memory=1175392 CPUtime=3600.04 cores=1,3
/proc/41821/stat : 41821 (CASHWMaxSAT-Dis) R 41812 41821 41087 0 -1 4194304 373381 0 0 0 359933 71 0 0 20 0 1 0 45616302 1497399296 293848 18446744073709551615 4198400 14093885 140736005827888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28135424 140736005835114 140736005835229 140736005835229 140736005840831 0
/proc/41821/statm: 365576 293848 2528 2416 0 362678 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1462304 KiB
Current children cumulated memory: 1175392 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.33 s, system=0.721023 s

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

Child status: 10

Real time (s): 3609.81
CPU time (s): 3600.05
CPU user time (s): 3599.33
CPU system time (s): 0.721023
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 2084488
Max. memory (cumulated for all children) (KiB): 1739576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.33
system time used= 0.721023
maximum resident set size= 1739576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373383
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= 89
involuntary context switches= 5395


# summary of solver processes directly reported to runsolver:
#   pid: 41821
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.33
#   total CPU system time (s): 0.721023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20896 second user time and 14.3336 second system time

The end