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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=907879, runsolver pid=907871

[startup+0.100141 s]*
/proc/loadavg: 0.08 0.08 0.09 6/256 907890
/proc/meminfo: memFree=123914388/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=61488 memory=38004 CPUtime=0.1 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 8042 0 0 0 9 1 0 0 20 0 1 0 171632699 62963712 9501 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 15372 9501 842 2550 0 12327 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 38004 KiB

[startup+0.216672 s]*
/proc/loadavg: 0.08 0.08 0.09 5/256 907890
/proc/meminfo: memFree=123845320/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=71472 memory=50540 CPUtime=0.21 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 10182 0 0 0 20 1 0 0 20 0 1 0 171632699 73187328 12635 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 17868 12635 842 2550 0 14823 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 71472 KiB
Current children cumulated memory: 50540 KiB

[startup+0.305937 s]*
/proc/loadavg: 0.08 0.08 0.09 5/256 907890
/proc/meminfo: memFree=123806800/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=71472 memory=50540 CPUtime=0.3 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 10182 0 0 0 29 1 0 0 20 0 1 0 171632699 73187328 12635 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 17868 12635 842 2550 0 14823 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71472 KiB
Current children cumulated memory: 50540 KiB

[startup+0.700177 s]
/proc/loadavg: 0.08 0.08 0.09 5/256 907890
/proc/meminfo: memFree=123721352/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=119920 memory=107324 CPUtime=0.68 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 27362 0 0 0 65 3 0 0 20 0 1 0 171632699 122798080 26831 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 29980 26831 2282 2550 0 26935 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119920 KiB
Current children cumulated memory: 107324 KiB

[startup+1.50018 s]
/proc/loadavg: 0.08 0.08 0.09 6/256 907890
/proc/meminfo: memFree=123190108/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=286276 memory=271784 CPUtime=1.49 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 68274 0 0 0 140 9 0 0 20 0 1 0 171632699 293146624 67946 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 71569 67946 2490 2550 0 68524 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 286276 KiB
Current children cumulated memory: 271784 KiB

[startup+3.10663 s]
/proc/loadavg: 0.39 0.15 0.11 6/256 907890
/proc/meminfo: memFree=122494944/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=581504 memory=525596 CPUtime=3.08 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 92310 0 0 0 293 15 0 0 20 0 1 0 171632699 595460096 131399 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 145376 131399 2634 2550 0 142331 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 581504 KiB
Current children cumulated memory: 525596 KiB

[startup+6.30017 s]
/proc/loadavg: 0.39 0.15 0.11 6/256 907892
/proc/meminfo: memFree=121763008/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=624056 memory=561728 CPUtime=6.28 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 98836 0 0 0 611 17 0 0 20 0 1 0 171632699 639033344 140432 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 156014 140432 2650 2550 0 152969 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 624056 KiB
Current children cumulated memory: 561728 KiB

[startup+12.7002 s]
/proc/loadavg: 1.02 0.29 0.16 6/256 907892
/proc/meminfo: memFree=121518476/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=644392 memory=563040 CPUtime=12.66 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 99173 0 0 0 1249 17 0 0 20 0 1 0 171632699 659857408 140760 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 161098 140760 2650 2550 0 158053 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 644392 KiB
Current children cumulated memory: 563040 KiB

[startup+25.5002 s]
/proc/loadavg: 1.48 0.41 0.20 6/256 907895
/proc/meminfo: memFree=121475448/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=696572 memory=575172 CPUtime=25.43 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 100747 0 0 0 2525 18 0 0 20 0 1 0 171632699 713289728 143793 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 174143 143793 2650 2550 0 171098 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 696572 KiB
Current children cumulated memory: 575172 KiB

[startup+51.1067 s]
/proc/loadavg: 2.34 0.70 0.30 6/256 907898
/proc/meminfo: memFree=121201772/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=931912 memory=709088 CPUtime=50.96 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 133698 0 0 0 5074 22 0 0 20 0 1 0 171632699 954277888 177272 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 232978 177272 2650 2550 0 229933 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 931912 KiB
Current children cumulated memory: 709088 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.29 0.53 6/256 907907
/proc/meminfo: memFree=121186344/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=966200 memory=709472 CPUtime=102.02 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 133840 0 0 0 10179 23 0 0 20 0 1 0 171632699 989388800 177368 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 241550 177368 2650 2550 0 238505 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 966200 KiB
Current children cumulated memory: 709472 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.80 0.75 6/256 907918
/proc/meminfo: memFree=120868888/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1113512 memory=829988 CPUtime=161.84 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 174426 0 0 0 16156 28 0 0 20 0 1 0 171632699 1140236288 207497 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 278378 207497 2650 2550 0 275333 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1113512 KiB
Current children cumulated memory: 829988 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.24 0.97 6/258 907933
/proc/meminfo: memFree=120774628/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1099780 memory=818368 CPUtime=221.66 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 180162 0 0 0 22136 30 0 0 20 0 1 0 171632699 1126174720 204592 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 274945 204592 2920 2550 0 271900 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1099780 KiB
Current children cumulated memory: 818368 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.58 1.17 6/258 907944
/proc/meminfo: memFree=120632916/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1177476 memory=896344 CPUtime=281.47 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 199317 0 0 0 28115 32 0 0 20 0 1 0 171632699 1205735424 224086 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 294369 224086 2920 2550 0 291324 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1177476 KiB
Current children cumulated memory: 896344 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.85 1.35 6/256 907956
/proc/meminfo: memFree=120601172/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1181520 memory=903744 CPUtime=341.3 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 206655 0 0 0 34096 34 0 0 20 0 1 0 171632699 1209876480 225936 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 295380 225936 2920 2550 0 292335 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1181520 KiB
Current children cumulated memory: 903744 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.09 1.53 6/256 907967
/proc/meminfo: memFree=120496944/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1188372 memory=911120 CPUtime=401.12 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 221980 0 0 0 40076 36 0 0 20 0 1 0 171632699 1216892928 227780 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 297093 227780 2920 2550 0 294048 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1188372 KiB
Current children cumulated memory: 911120 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.28 1.69 6/256 907978
/proc/meminfo: memFree=120413324/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1233160 memory=963628 CPUtime=460.95 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 223921 0 0 0 46058 37 0 0 20 0 1 0 171632699 1262755840 240907 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0

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

Current children cumulated memory: 1503204 KiB

[startup+2862.3 s]
/proc/loadavg: 4.19 4.11 3.98 6/256 908988
/proc/meminfo: memFree=120224444/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=2854.03 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 489713 0 0 0 285314 89 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 2854.03 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 3.98 6/256 909381
/proc/meminfo: memFree=120202184/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=2913.87 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 489844 0 0 0 291297 90 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 2913.87 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.00 6/256 909391
/proc/meminfo: memFree=120219340/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=2973.71 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 489977 0 0 0 297281 90 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.01 6/256 909402
/proc/meminfo: memFree=120214964/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3033.54 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 490109 0 0 0 303264 90 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.01 6/257 909581
/proc/meminfo: memFree=120216044/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3093.37 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 490240 0 0 0 309247 90 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3093.37 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.01 6/257 909591
/proc/meminfo: memFree=120207908/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3153.2 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 490373 0 0 0 315230 90 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.01 6/258 909660
/proc/meminfo: memFree=120211004/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3213.04 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 490507 0 0 0 321213 91 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.02 6/258 909670
/proc/meminfo: memFree=120189036/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3272.87 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 490640 0 0 0 327196 91 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.01 6/258 909681
/proc/meminfo: memFree=120210012/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3332.71 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 490775 0 0 0 333180 91 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/256 909691
/proc/meminfo: memFree=120211988/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3392.54 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 490909 0 0 0 339163 91 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/256 909702
/proc/meminfo: memFree=120211220/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3452.37 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 491036 0 0 0 345146 91 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.02 6/256 909712
/proc/meminfo: memFree=120193184/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3512.21 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 491171 0 0 0 351129 92 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/254 909722
/proc/meminfo: memFree=120198244/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3572.04 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 491338 0 0 0 357112 92 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.08 4.09 4.02 5/247 909777
/proc/meminfo: memFree=121792068/131524600 swapFree=131071996/131071996
[pid=907879] ppid=907871 vsize=1736132 memory=1503204 CPUtime=3600.06 cores=4,6
/proc/907879/stat : 907879 (CASHWMaxSAT-Dis) R 907871 907879 907815 0 -1 4194304 491386 0 0 0 359914 92 0 0 20 0 1 0 171632699 1777799168 375801 134679101440 4194304 14636349 140733683701808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28332032 140733683704802 140733683704918 140733683704918 140733683711934 0
/proc/907879/statm: 434033 375801 2920 2550 0 430988 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1736132 KiB
Current children cumulated memory: 1503204 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.14 s, system=0.944324 s

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

Child status: 10

Real time (s): 3610.42
CPU time (s): 3600.09
CPU user time (s): 3599.14
CPU system time (s): 0.944324
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 2086512
Max. memory (cumulated for all children) (KiB): 1787400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 0.944324
maximum resident set size= 1787400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491388
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= 72
involuntary context switches= 2193


# summary of solver processes directly reported to runsolver:
#   pid: 907879
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.14
#   total CPU system time (s): 0.944324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6421 second user time and 19.7193 second system time

The end