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: 63931 MiB (59738 MiB free)
  memory of node 1: 64510 MiB (60785 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438684-1721210925/watcher-4438684-1721210925 -o /tmp/evaluation-result-4438684-1721210925/solver-4438684-1721210925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721207325-923715 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438684-1721210925.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
solver pid=925828, runsolver pid=925825
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.13 4.15 4.09 5/256 925829
/proc/meminfo: memFree=123392056/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=43372 memory=34556 CPUtime=0.1 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 6473 0 0 0 9 1 0 0 20 0 1 0 173257816 44412928 8639 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 10843 8639 2746 2726 0 7591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43372 KiB
Current children cumulated memory: 34556 KiB

[startup+0.205791 s]*
/proc/loadavg: 4.13 4.15 4.09 5/256 925829
/proc/meminfo: memFree=123391188/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=44060 memory=35076 CPUtime=0.2 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 6658 0 0 0 19 1 0 0 20 0 1 0 173257816 45117440 8769 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 11015 8769 2746 2726 0 7763 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44060 KiB
Current children cumulated memory: 35076 KiB

[startup+0.305819 s]*
/proc/loadavg: 4.13 4.15 4.09 5/256 925829
/proc/meminfo: memFree=123388360/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=45308 memory=36192 CPUtime=0.3 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 6906 0 0 0 29 1 0 0 20 0 1 0 173257816 46395392 9048 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 11327 9048 2762 2726 0 8075 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45308 KiB
Current children cumulated memory: 36192 KiB

[startup+0.700215 s]
/proc/loadavg: 4.13 4.15 4.09 5/256 925829
/proc/meminfo: memFree=123384860/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=48644 memory=39324 CPUtime=0.69 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 7720 0 0 0 68 1 0 0 20 0 1 0 173257816 49811456 9831 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 12161 9831 2762 2726 0 8909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48644 KiB
Current children cumulated memory: 39324 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.15 4.09 5/256 925829
/proc/meminfo: memFree=123365912/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=62776 memory=52524 CPUtime=1.49 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 10989 0 0 0 147 2 0 0 20 0 1 0 173257816 64282624 13131 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 15694 13131 2762 2726 0 12442 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 62776 KiB
Current children cumulated memory: 52524 KiB

[startup+3.10546 s]
/proc/loadavg: 4.13 4.15 4.09 5/256 925829
/proc/meminfo: memFree=123294996/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=74176 memory=63084 CPUtime=3.08 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 13614 0 0 0 306 2 0 0 20 0 1 0 173257816 75956224 15771 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 18544 15771 2762 2726 0 15292 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 63084 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.15 4.09 5/256 925875
/proc/meminfo: memFree=123529084/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=105496 memory=91332 CPUtime=6.27 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 20697 0 0 0 624 3 0 0 20 0 1 0 173257816 108027904 22833 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 26374 22833 2762 2726 0 23122 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105496 KiB
Current children cumulated memory: 91332 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.09 5/256 925876
/proc/meminfo: memFree=123432480/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=111460 memory=96056 CPUtime=12.66 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 23016 0 0 0 1262 4 0 0 20 0 1 0 173257816 114135040 24014 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 27865 24014 2762 2726 0 24613 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 111460 KiB
Current children cumulated memory: 96056 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.14 4.09 5/256 925878
/proc/meminfo: memFree=123393144/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=128552 memory=113740 CPUtime=25.42 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 27417 0 0 0 2538 4 0 0 20 0 1 0 173257816 131637248 28435 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 32138 28435 2762 2726 0 28886 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 128552 KiB
Current children cumulated memory: 113740 KiB

[startup+51.1058 s]
/proc/loadavg: 4.11 4.14 4.09 5/256 925883
/proc/meminfo: memFree=123152152/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=202800 memory=182828 CPUtime=50.97 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 46467 0 0 0 5088 9 0 0 20 0 1 0 173257816 207667200 45707 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 50700 45707 2778 2726 0 47448 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 202800 KiB
Current children cumulated memory: 182828 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/257 925896
/proc/meminfo: memFree=123033420/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=207500 memory=187076 CPUtime=102.03 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 49178 0 0 0 10189 14 0 0 20 0 1 0 173257816 212480000 46769 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 51875 46769 2778 2726 0 48623 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 207500 KiB
Current children cumulated memory: 187076 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/258 925908
/proc/meminfo: memFree=122657928/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=402292 memory=372024 CPUtime=161.85 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 97134 0 0 0 16158 27 0 0 20 0 1 0 173257816 411947008 93006 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 100573 93006 2778 2726 0 97321 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 402292 KiB
Current children cumulated memory: 372024 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 925918
/proc/meminfo: memFree=122555776/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=403732 memory=373040 CPUtime=221.66 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 98038 0 0 0 22136 30 0 0 20 0 1 0 173257816 413421568 93260 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 100933 93260 2778 2726 0 97681 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 403732 KiB
Current children cumulated memory: 373040 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 925930
/proc/meminfo: memFree=122489008/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=404388 memory=373544 CPUtime=281.47 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 98422 0 0 0 28116 31 0 0 20 0 1 0 173257816 414093312 93386 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 101097 93386 2778 2726 0 97845 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 404388 KiB
Current children cumulated memory: 373544 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 925941
/proc/meminfo: memFree=122460124/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=404388 memory=385824 CPUtime=341.3 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 99063 0 0 0 34099 31 0 0 20 0 1 0 173257816 414093312 96456 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 101097 96456 2778 2726 0 97845 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 404388 KiB
Current children cumulated memory: 385824 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 925951
/proc/meminfo: memFree=122452116/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=401116 memory=387912 CPUtime=401.15 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 99574 0 0 0 40084 31 0 0 20 0 1 0 173257816 410742784 96978 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 100279 96978 2778 2726 0 97027 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 401116 KiB
Current children cumulated memory: 387912 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 925962
/proc/meminfo: memFree=122443580/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=401116 memory=391416 CPUtime=460.99 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 99791 0 0 0 46068 31 0 0 20 0 1 0 173257816 410742784 97854 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 100279 97854 2778 2726 0 97027 0

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

Current children cumulated memory: 425012 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 927423
/proc/meminfo: memFree=122397932/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=2914.72 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157418 0 0 0 291429 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 927602
/proc/meminfo: memFree=122397032/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=2974.56 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157482 0 0 0 297413 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 927612
/proc/meminfo: memFree=122396288/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3034.4 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157544 0 0 0 303397 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/257 927626
/proc/meminfo: memFree=122395752/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3094.24 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157609 0 0 0 309381 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 927648
/proc/meminfo: memFree=122394992/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3154.08 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157674 0 0 0 315365 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/257 927658
/proc/meminfo: memFree=122394672/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3213.92 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157741 0 0 0 321349 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 927669
/proc/meminfo: memFree=122393792/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3273.76 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157809 0 0 0 327333 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 927680
/proc/meminfo: memFree=122393124/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3333.6 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157878 0 0 0 333317 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 927691
/proc/meminfo: memFree=122392188/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3393.44 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 157950 0 0 0 339301 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 927701
/proc/meminfo: memFree=122391596/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3453.28 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 158020 0 0 0 345285 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/255 927713
/proc/meminfo: memFree=122390864/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3513.12 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 158094 0 0 0 351269 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 927723
/proc/meminfo: memFree=122390168/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3572.96 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 158164 0 0 0 357253 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.45 4.20 4.12 5/255 927819
/proc/meminfo: memFree=122905508/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3600.09 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 158214 0 0 0 359966 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.67 s, system=0.435723 s

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

[startup+3609.5 s]
/proc/loadavg: 4.45 4.20 4.12 5/255 927819
/proc/meminfo: memFree=122905508/131524600 swapFree=131071996/131071996
[pid=925828] ppid=925825 vsize=431944 memory=425012 CPUtime=3600.09 cores=5,7
/proc/925828/stat : 925828 (CASHWMaxSAT-Dis) R 925825 925828 923702 0 -1 4194304 158214 0 0 0 359966 43 0 0 20 0 1 0 173257816 442310656 106253 134679101440 4194304 15356333 140728436147552 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 34635776 140728436151266 140728436151382 140728436151382 140728436158398 0
/proc/925828/statm: 107986 106253 2826 2726 0 104734 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 431944 KiB
Current children cumulated memory: 425012 KiB

Child status: 10

Real time (s): 3609.5
CPU time (s): 3600.1
CPU user time (s): 3599.67
CPU system time (s): 0.435723
CPU usage (%): 99.7396
Max. virtual memory (cumulated for all children) (KiB): 604724
Max. memory (cumulated for all children) (KiB): 594760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.67
system time used= 0.435723
maximum resident set size= 594760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158216
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= 65
involuntary context switches= 3026


# summary of solver processes directly reported to runsolver:
#   pid: 925828
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.67
#   total CPU system time (s): 0.435723

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97063 second user time and 17.7166 second system time

The end