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: 63968 MiB (59718 MiB free)
  memory of node 1: 64473 MiB (60907 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439555-1721194740/watcher-4439555-1721194740 -o /tmp/evaluation-result-4439555-1721194740/solver-4439555-1721194740 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721194641-894783 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439555-1721194740.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=894956, runsolver pid=894953

[startup+0.100431 s]*
/proc/loadavg: 3.43 1.32 0.54 5/257 894957
/proc/meminfo: memFree=123506680/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=37064 memory=17844 CPUtime=0.09 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 3238 0 0 0 9 0 0 0 20 0 1 0 171644510 37953536 4461 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 9266 4461 794 2550 0 6221 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37064 KiB
Current children cumulated memory: 17844 KiB

[startup+0.205833 s]*
/proc/loadavg: 3.43 1.32 0.54 5/257 894957
/proc/meminfo: memFree=123458504/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=85188 memory=66184 CPUtime=0.2 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 10617 0 0 0 18 2 0 0 20 0 1 0 171644510 87232512 16546 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 21297 16546 842 2550 0 18252 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 85188 KiB
Current children cumulated memory: 66184 KiB

[startup+0.305944 s]*
/proc/loadavg: 3.43 1.32 0.54 5/257 894957
/proc/meminfo: memFree=123458396/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=85188 memory=66184 CPUtime=0.3 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 10618 0 0 0 28 2 0 0 20 0 1 0 171644510 87232512 16546 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 21297 16546 842 2550 0 18252 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85188 KiB
Current children cumulated memory: 66184 KiB

[startup+0.700226 s]
/proc/loadavg: 3.43 1.32 0.54 5/257 894957
/proc/meminfo: memFree=123465768/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=108928 memory=90120 CPUtime=0.68 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 18514 0 0 0 65 3 0 0 20 0 1 0 171644510 111542272 22530 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 27232 22530 922 2550 0 24187 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 90120 KiB

[startup+1.50024 s]
/proc/loadavg: 3.43 1.32 0.54 5/257 894957
/proc/meminfo: memFree=123372412/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=349992 memory=338536 CPUtime=1.48 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 78106 0 0 0 137 11 0 0 20 0 1 0 171644510 358391808 84634 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 87498 84634 2490 2550 0 84453 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 349992 KiB
Current children cumulated memory: 338536 KiB

[startup+3.10592 s]
/proc/loadavg: 3.43 1.32 0.54 5/257 894957
/proc/meminfo: memFree=122964468/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=620364 memory=565496 CPUtime=3.08 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 90338 0 0 0 292 16 0 0 20 0 1 0 171644510 635252736 141374 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 155091 141374 2538 2550 0 152046 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 620364 KiB
Current children cumulated memory: 565496 KiB

[startup+6.30015 s]
/proc/loadavg: 3.48 1.37 0.56 5/257 894957
/proc/meminfo: memFree=122847344/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=752880 memory=683004 CPUtime=6.27 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 118291 0 0 0 607 20 0 0 20 0 1 0 171644510 770949120 170751 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 188220 170751 2650 2550 0 185175 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 752880 KiB
Current children cumulated memory: 683004 KiB

[startup+12.7002 s]
/proc/loadavg: 3.52 1.41 0.58 5/257 894959
/proc/meminfo: memFree=122777316/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=792148 memory=701196 CPUtime=12.65 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 120784 0 0 0 1245 20 0 0 20 0 1 0 171644510 811159552 175299 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 198037 175299 2650 2550 0 194992 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 792148 KiB
Current children cumulated memory: 701196 KiB

[startup+25.5002 s]
/proc/loadavg: 3.63 1.54 0.63 5/257 894960
/proc/meminfo: memFree=122763012/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=815804 memory=701284 CPUtime=25.43 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 120815 0 0 0 2522 21 0 0 20 0 1 0 171644510 835383296 175321 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 203951 175321 2650 2550 0 200906 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 815804 KiB
Current children cumulated memory: 701284 KiB

[startup+51.1057 s]
/proc/loadavg: 3.82 1.75 0.73 5/257 894965
/proc/meminfo: memFree=122701064/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=872008 memory=712292 CPUtime=50.96 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 122069 0 0 0 5075 21 0 0 20 0 1 0 171644510 892936192 178073 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 218002 178073 2650 2550 0 214957 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 872008 KiB
Current children cumulated memory: 712292 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 2.12 0.91 5/261 894980
/proc/meminfo: memFree=122460044/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1209016 memory=866408 CPUtime=102.03 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 168524 0 0 0 10175 28 0 0 20 0 1 0 171644510 1238032384 216602 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 302254 216602 2650 2550 0 299209 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1209016 KiB
Current children cumulated memory: 866408 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 2.48 1.11 5/261 894990
/proc/meminfo: memFree=122288084/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1341616 memory=963896 CPUtime=161.89 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 192936 0 0 0 16157 32 0 0 20 0 1 0 171644510 1373814784 240974 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 335404 240974 2650 2550 0 332359 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1341616 KiB
Current children cumulated memory: 963896 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.77 1.30 5/258 895002
/proc/meminfo: memFree=122197736/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1390296 memory=1012424 CPUtime=221.72 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 205065 0 0 0 22138 34 0 0 20 0 1 0 171644510 1423663104 253106 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 347574 253106 2650 2550 0 344529 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1390296 KiB
Current children cumulated memory: 1012424 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.01 1.48 5/258 895012
/proc/meminfo: memFree=122056520/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1527856 memory=1117112 CPUtime=281.56 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 249258 0 0 0 28115 41 0 0 20 0 1 0 171644510 1564524544 279278 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 381964 279278 2650 2550 0 378919 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 1527856 KiB
Current children cumulated memory: 1117112 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.23 1.65 5/258 895022
/proc/meminfo: memFree=122027928/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1580072 memory=1109016 CPUtime=341.41 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 265757 0 0 0 34097 44 0 0 20 0 1 0 171644510 1617993728 277254 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 395018 277254 2650 2550 0 391973 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1580072 KiB
Current children cumulated memory: 1109016 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.39 1.80 5/258 895034
/proc/meminfo: memFree=121990048/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1617092 memory=1132912 CPUtime=401.26 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 277907 0 0 0 40080 46 0 0 20 0 1 0 171644510 1655902208 283228 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 404273 283228 2650 2550 0 401228 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 1617092 KiB
Current children cumulated memory: 1132912 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 3.50 1.94 5/255 895044
/proc/meminfo: memFree=121943960/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1715024 memory=1158092 CPUtime=461.12 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 278597 0 0 0 46065 47 0 0 20 0 1 0 171644510 1756184576 289523 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 428756 289523 2650 2550 0 425711 0

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

Current children cumulated memory: 1472188 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.01 5/257 896449
/proc/meminfo: memFree=121671984/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=2855.14 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 427299 0 0 0 285429 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 2855.14 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/257 896460
/proc/meminfo: memFree=121666744/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=2914.98 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 427427 0 0 0 291413 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/257 896638
/proc/meminfo: memFree=121665500/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=2974.83 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 427501 0 0 0 297398 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 2974.83 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3042.3 s]
/proc/loadavg: 4.49 4.22 4.06 5/257 896648
/proc/meminfo: memFree=121605468/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3034.68 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 427595 0 0 0 303383 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3102.3 s]
/proc/loadavg: 4.25 4.19 4.06 5/258 896717
/proc/meminfo: memFree=121611588/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3094.53 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 427713 0 0 0 309368 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3094.53 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.18 4.06 5/258 896728
/proc/meminfo: memFree=121661320/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3154.37 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 427842 0 0 0 315352 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.18 4.07 5/258 896739
/proc/meminfo: memFree=121619832/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3214.22 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 427923 0 0 0 321337 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.07 5/259 896751
/proc/meminfo: memFree=121656024/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3274.06 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 428052 0 0 0 327321 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3274.06 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.07 5/259 896762
/proc/meminfo: memFree=121611844/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3333.91 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 428191 0 0 0 333306 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.16 4.08 5/256 896772
/proc/meminfo: memFree=121607380/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3393.75 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 428323 0 0 0 339290 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.08 5/255 896782
/proc/meminfo: memFree=121592168/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3453.59 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 428392 0 0 0 345274 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3453.59 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.08 5/256 896978
/proc/meminfo: memFree=121273512/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3513.43 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 428497 0 0 0 351258 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.08 5/255 896988
/proc/meminfo: memFree=119473168/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3573.23 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 428640 0 0 0 357238 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 896993
/proc/meminfo: memFree=119399564/131524596 swapFree=131071996/131071996
[pid=894956] ppid=894953 vsize=1920564 memory=1472188 CPUtime=3600.04 cores=5,7
/proc/894956/stat : 894956 (CASHWMaxSAT-Dis) R 894953 894956 894770 0 -1 4194304 428656 0 0 0 359919 85 0 0 20 0 1 0 171644510 1966657536 368047 134679101440 4194304 14636349 140722456911680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 31731712 140722456912866 140722456912982 140722456912982 140722456919998 0
/proc/894956/statm: 480141 368047 2650 2550 0 477096 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1920564 KiB
Current children cumulated memory: 1472188 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.2 s, system=0.863794 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.06
CPU user time (s): 3599.2
CPU system time (s): 0.863794
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 2410276
Max. memory (cumulated for all children) (KiB): 1849480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.863794
maximum resident set size= 1849480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428658
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= 81
involuntary context switches= 1441


# summary of solver processes directly reported to runsolver:
#   pid: 894956
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.2
#   total CPU system time (s): 0.863794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08009 second user time and 18.2184 second system time

The end