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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523538-1751601757/watcher-4523538-1751601757 -o /tmp/evaluation-result-4523538-1751601757/solver-4523538-1751601757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84716 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4523538-1751601757.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
solver pid=85098, runsolver pid=85095
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.08 4.13 4.11 5/250 85104
/proc/meminfo: memFree=128613864/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=25448 memory=7040 CPUtime=0.1 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 1134 0 0 0 10 0 0 0 20 0 1 0 75854599 26058752 1760 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 6362 1760 736 2416 0 3464 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25448 KiB
Current children cumulated memory: 7040 KiB

[startup+0.212556 s]*
/proc/loadavg: 4.08 4.13 4.11 6/250 85104
/proc/meminfo: memFree=128611344/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=28700 memory=10112 CPUtime=0.21 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 1924 0 0 0 21 0 0 0 20 0 1 0 75854599 29388800 2528 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 7175 2528 736 2416 0 4277 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28700 KiB
Current children cumulated memory: 10112 KiB

[startup+0.31301 s]*
/proc/loadavg: 4.08 4.13 4.11 5/250 85104
/proc/meminfo: memFree=128606304/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=31408 memory=12800 CPUtime=0.31 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 2594 0 0 0 31 0 0 0 20 0 1 0 75854599 32161792 3200 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 7852 3200 736 2416 0 4954 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31408 KiB
Current children cumulated memory: 12800 KiB

[startup+0.700265 s]
/proc/loadavg: 4.08 4.13 4.11 5/250 85104
/proc/meminfo: memFree=128584392/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=46408 memory=27520 CPUtime=0.69 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 6273 0 0 0 66 3 0 0 20 0 1 0 75854599 47521792 6880 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 11602 6880 736 2416 0 8704 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46408 KiB
Current children cumulated memory: 27520 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 4.12 4.11 5/250 85104
/proc/meminfo: memFree=128521896/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=89700 memory=67584 CPUtime=1.49 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 16251 0 0 0 143 6 0 0 20 0 1 0 75854599 91852800 16896 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 22425 16896 768 2416 0 19527 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 89700 KiB
Current children cumulated memory: 67584 KiB

[startup+3.11284 s]
/proc/loadavg: 4.08 4.12 4.11 5/251 85135
/proc/meminfo: memFree=128010184/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=281084 memory=235280 CPUtime=3.09 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 38056 0 0 0 295 14 0 0 20 0 1 0 75854599 287830016 58820 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 70271 58820 992 2416 0 67373 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 281084 KiB
Current children cumulated memory: 235280 KiB

[startup+6.3003 s]
/proc/loadavg: 4.07 4.12 4.10 5/251 85135
/proc/meminfo: memFree=126596320/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=595696 memory=534724 CPUtime=6.27 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 58723 0 0 0 603 24 0 0 20 0 1 0 75854599 609992704 133681 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 148924 133681 992 2416 0 146026 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 595696 KiB
Current children cumulated memory: 534724 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.12 4.10 5/251 85135
/proc/meminfo: memFree=124517952/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=1148304 memory=998596 CPUtime=12.65 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 90728 0 0 0 1225 40 0 0 20 0 1 0 75854599 1175863296 249649 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 287076 249649 992 2416 0 284178 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1148304 KiB
Current children cumulated memory: 998596 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.13 4.11 5/252 85137
/proc/meminfo: memFree=112865972/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=4493908 memory=3817020 CPUtime=25.42 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 255356 0 0 0 2422 120 0 0 20 0 1 0 75854599 4601761792 954255 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1123477 954255 992 2416 0 1120579 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4493908 KiB
Current children cumulated memory: 3817020 KiB

[startup+51.113 s]
/proc/loadavg: 4.14 4.13 4.11 5/252 85137
/proc/meminfo: memFree=111476028/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5447644 memory=4670520 CPUtime=50.96 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 317100 0 0 0 4945 151 0 0 20 0 1 0 75854599 5578387456 1167630 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1361911 1167630 992 2416 0 1359013 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 5447644 KiB
Current children cumulated memory: 4670520 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/252 85139
/proc/meminfo: memFree=111462036/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4420196 CPUtime=102 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 339599 0 0 0 10018 182 0 0 20 0 1 0 75854599 5133443072 1105049 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1105049 1024 2416 0 1250384 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4420196 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/252 85141
/proc/meminfo: memFree=111241628/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4420196 CPUtime=161.83 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 339819 0 0 0 16001 182 0 0 20 0 1 0 75854599 5133443072 1105049 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1105049 1024 2416 0 1250384 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4420196 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/252 85147
/proc/meminfo: memFree=111185164/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4422388 CPUtime=221.65 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 340031 0 0 0 21983 182 0 0 20 0 1 0 75854599 5133443072 1105597 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1105597 1024 2416 0 1250384 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4422388 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/252 85194
/proc/meminfo: memFree=114510004/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4424464 CPUtime=281.48 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 340335 0 0 0 27966 182 0 0 20 0 1 0 75854599 5133443072 1106116 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1106116 1024 2416 0 1250384 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4424464 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 85196
/proc/meminfo: memFree=110801552/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4424464 CPUtime=341.3 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 340639 0 0 0 33948 182 0 0 20 0 1 0 75854599 5133443072 1106116 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1106116 1024 2416 0 1250384 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4424464 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/251 85199
/proc/meminfo: memFree=110712368/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4316244 CPUtime=401.12 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 341346 0 0 0 39923 189 0 0 20 0 1 0 75854599 5133443072 1079061 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1079061 1024 2416 0 1250384 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4316244 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 85203
/proc/meminfo: memFree=110700364/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4322576 CPUtime=460.94 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 341709 0 0 0 45905 189 0 0 20 0 1 0 75854599 5133443072 1080644 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1080644 1024 2416 0 1250384 0
Current children cumulated CPU time: 460.94 s

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

Current children cumulated memory: 4449784 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/251 85363
/proc/meminfo: memFree=108603404/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4492792 CPUtime=2913.87 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 353288 0 0 0 291121 266 0 0 20 0 1 0 75854599 5133443072 1123198 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1123198 1024 2416 0 1250384 0
Current children cumulated CPU time: 2913.87 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4492792 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/251 85365
/proc/meminfo: memFree=108373656/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5362376 memory=4512016 CPUtime=2973.71 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 354364 0 0 0 297103 268 0 0 20 0 1 0 75854599 5491073024 1128004 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1340594 1128004 1024 2416 0 1337696 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 5362376 KiB
Current children cumulated memory: 4512016 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/251 85367
/proc/meminfo: memFree=108906456/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4390404 CPUtime=3033.54 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 354768 0 0 0 303076 278 0 0 20 0 1 0 75854599 5133443072 1097601 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1097601 1024 2416 0 1250384 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4390404 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 85369
/proc/meminfo: memFree=109150280/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4434052 CPUtime=3093.38 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 355116 0 0 0 309059 279 0 0 20 0 1 0 75854599 5133443072 1108513 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1108513 1024 2416 0 1250384 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4434052 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 85371
/proc/meminfo: memFree=108858512/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4481156 CPUtime=3153.2 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 355497 0 0 0 315041 279 0 0 20 0 1 0 75854599 5133443072 1120289 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1120289 1024 2416 0 1250384 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4481156 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 85373
/proc/meminfo: memFree=108503572/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5362376 memory=4529044 CPUtime=3213.03 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 356497 0 0 0 321022 281 0 0 20 0 1 0 75854599 5491073024 1132261 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1340594 1132261 1024 2416 0 1337696 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 5362376 KiB
Current children cumulated memory: 4529044 KiB

[startup+3282.3 s]
/proc/loadavg: 4.59 4.22 4.14 5/251 85379
/proc/meminfo: memFree=108500488/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5362376 memory=4574100 CPUtime=3272.85 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 358546 0 0 0 327003 282 0 0 20 0 1 0 75854599 5491073024 1143525 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1340594 1143525 1024 2416 0 1337696 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 5362376 KiB
Current children cumulated memory: 4574100 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.27 4.16 5/250 85381
/proc/meminfo: memFree=108210964/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5362376 memory=4594580 CPUtime=3332.67 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 358638 0 0 0 332985 282 0 0 20 0 1 0 75854599 5491073024 1148645 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1340594 1148645 1024 2416 0 1337696 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 5362376 KiB
Current children cumulated memory: 4594580 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 85383
/proc/meminfo: memFree=108146740/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4411524 CPUtime=3392.49 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 359023 0 0 0 338957 292 0 0 20 0 1 0 75854599 5133443072 1102881 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1102881 1024 2416 0 1250384 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4411524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.22 4.15 5/250 85385
/proc/meminfo: memFree=107879776/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4429972 CPUtime=3452.3 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 359324 0 0 0 344938 292 0 0 20 0 1 0 75854599 5133443072 1107493 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1107493 1024 2416 0 1250384 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4429972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.19 4.15 5/251 85401
/proc/meminfo: memFree=108532228/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4450452 CPUtime=3512.14 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 359400 0 0 0 350921 293 0 0 20 0 1 0 75854599 5133443072 1112613 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1112613 1024 2416 0 1250384 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4450452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/250 85403
/proc/meminfo: memFree=108547500/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4472980 CPUtime=3571.97 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 359466 0 0 0 356904 293 0 0 20 0 1 0 75854599 5133443072 1118245 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1118245 1024 2416 0 1250384 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4472980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.13 4.17 4.14 4/248 85404
/proc/meminfo: memFree=114468228/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4483220 CPUtime=3600.09 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 359488 0 0 0 359716 293 0 0 20 0 1 0 75854599 5133443072 1120805 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1120805 1024 2416 0 1250384 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4483220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.16 s, system=2.99043 s

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

[startup+3610.5 s]
/proc/loadavg: 4.13 4.17 4.14 4/248 85404
/proc/meminfo: memFree=114468228/131382112 swapFree=33009904/33010684
[pid=85098] ppid=85095 vsize=5013128 memory=4483220 CPUtime=3600.09 cores=0,2
/proc/85098/stat : 85098 (CASHWMaxSAT-Dis) R 85095 85098 84706 0 -1 4194304 359488 0 0 0 359716 293 0 0 20 0 1 0 75854599 5133443072 1120805 18446744073709551615 4198400 14093885 140724157861680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 29741056 140724157868394 140724157868509 140724157868509 140724157874111 0
/proc/85098/statm: 1253282 1120805 1024 2416 0 1250384 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5013128 KiB
Current children cumulated memory: 4483220 KiB

Child status: 10

Real time (s): 3610.55
CPU time (s): 3600.15
CPU user time (s): 3597.16
CPU system time (s): 2.99043
CPU usage (%): 99.712
Max. virtual memory (cumulated for all children) (KiB): 6133272
Max. memory (cumulated for all children) (KiB): 5436556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.16
system time used= 2.99043
maximum resident set size= 5436556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359490
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= 48
involuntary context switches= 7857


# summary of solver processes directly reported to runsolver:
#   pid: 85098
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3597.16
#   total CPU system time (s): 2.99043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4071 second user time and 35.5569 second system time

The end