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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=278208, runsolver pid=278205
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.10 4.09 4.03 5/256 278209
/proc/meminfo: memFree=109777236/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=34220 memory=24880 CPUtime=0.09 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 4530 0 0 0 9 0 0 0 20 0 1 0 24678585 35041280 6220 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 8555 6220 2538 2550 0 5510 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34220 KiB
Current children cumulated memory: 24880 KiB

[startup+0.205541 s]*
/proc/loadavg: 4.10 4.09 4.03 5/256 278209
/proc/meminfo: memFree=109761956/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=49320 memory=38756 CPUtime=0.2 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 7913 0 0 0 19 1 0 0 20 0 1 0 24678585 50503680 9689 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 12330 9689 2650 2550 0 9285 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49320 KiB
Current children cumulated memory: 38756 KiB

[startup+0.305483 s]*
/proc/loadavg: 4.10 4.09 4.03 5/256 278209
/proc/meminfo: memFree=109761816/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=49320 memory=38756 CPUtime=0.3 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 7925 0 0 0 29 1 0 0 20 0 1 0 24678585 50503680 9689 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 12330 9689 2650 2550 0 9285 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49320 KiB
Current children cumulated memory: 38756 KiB

[startup+0.700221 s]
/proc/loadavg: 4.10 4.09 4.03 5/256 278209
/proc/meminfo: memFree=109757644/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=56348 memory=46668 CPUtime=0.69 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 9911 0 0 0 68 1 0 0 20 0 1 0 24678585 57700352 11667 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 14087 11667 2650 2550 0 11042 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56348 KiB
Current children cumulated memory: 46668 KiB

[startup+1.50022 s]
/proc/loadavg: 4.10 4.09 4.03 5/256 278209
/proc/meminfo: memFree=109740668/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=71268 memory=61188 CPUtime=1.48 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 13509 0 0 0 146 2 0 0 20 0 1 0 24678585 72978432 15297 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 17817 15297 2650 2550 0 14772 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71268 KiB
Current children cumulated memory: 61188 KiB

[startup+3.10533 s]
/proc/loadavg: 4.10 4.09 4.03 5/256 278209
/proc/meminfo: memFree=109711680/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=89104 memory=78084 CPUtime=3.09 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 17736 0 0 0 306 3 0 0 20 0 1 0 24678585 91242496 19521 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 22276 19521 2650 2550 0 19231 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89104 KiB
Current children cumulated memory: 78084 KiB

[startup+6.30021 s]
/proc/loadavg: 4.09 4.09 4.03 5/256 278209
/proc/meminfo: memFree=109694304/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=103572 memory=93660 CPUtime=6.27 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 21639 0 0 0 624 3 0 0 20 0 1 0 24678585 106057728 23415 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 25893 23415 2650 2550 0 22848 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103572 KiB
Current children cumulated memory: 93660 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.03 5/256 278211
/proc/meminfo: memFree=109675016/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=114860 memory=104484 CPUtime=12.65 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 24359 0 0 0 1262 3 0 0 20 0 1 0 24678585 117616640 26121 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 28715 26121 2650 2550 0 25670 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 114860 KiB
Current children cumulated memory: 104484 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.04 5/256 278212
/proc/meminfo: memFree=109610744/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=149544 memory=139624 CPUtime=25.41 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 32986 0 0 0 2536 5 0 0 20 0 1 0 24678585 153133056 34906 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 37386 34906 2920 2550 0 34341 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 149544 KiB
Current children cumulated memory: 139624 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.11 4.04 5/258 278601
/proc/meminfo: memFree=109560796/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=161692 memory=151868 CPUtime=50.93 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 35546 0 0 0 5088 5 0 0 20 0 1 0 24678585 165572608 37967 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 40423 37967 2920 2550 0 37378 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 161692 KiB
Current children cumulated memory: 151868 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/256 278609
/proc/meminfo: memFree=109488604/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=193520 memory=182872 CPUtime=101.97 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 41855 0 0 0 10190 7 0 0 20 0 1 0 24678585 198164480 45718 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 48380 45718 2920 2550 0 45335 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 193520 KiB
Current children cumulated memory: 182872 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/256 278619
/proc/meminfo: memFree=109414380/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=228204 memory=216384 CPUtime=161.76 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 48941 0 0 0 16167 9 0 0 20 0 1 0 24678585 233680896 54096 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 57051 54096 2920 2550 0 54006 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 228204 KiB
Current children cumulated memory: 216384 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/258 278847
/proc/meminfo: memFree=109260284/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=265884 memory=255520 CPUtime=221.53 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 57737 0 0 0 22143 10 0 0 20 0 1 0 24678585 272265216 63880 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 66471 63880 2920 2550 0 63426 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 265884 KiB
Current children cumulated memory: 255520 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/258 278857
/proc/meminfo: memFree=106981764/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=298196 memory=286352 CPUtime=281.3 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 63688 0 0 0 28118 12 0 0 20 0 1 0 24678585 305352704 71588 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 74549 71588 2920 2550 0 71504 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 298196 KiB
Current children cumulated memory: 286352 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/260 278926
/proc/meminfo: memFree=106885184/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=321088 memory=308216 CPUtime=341.09 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 68966 0 0 0 34097 12 0 0 20 0 1 0 24678585 328794112 77054 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 80272 77054 2920 2550 0 77227 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 321088 KiB
Current children cumulated memory: 308216 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/259 278936
/proc/meminfo: memFree=106806632/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=349444 memory=339848 CPUtime=400.9 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 76810 0 0 0 40077 13 0 0 20 0 1 0 24678585 357830656 84962 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 87361 84962 2920 2550 0 84316 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 349444 KiB
Current children cumulated memory: 339848 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/259 278948
/proc/meminfo: memFree=106753892/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=378724 memory=367980 CPUtime=460.73 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 83348 0 0 0 46058 15 0 0 20 0 1 0 24678585 387813376 91995 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 94681 91995 2920 2550 0 91636 0

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

Current children cumulated memory: 670212 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/257 279959
/proc/meminfo: memFree=104588744/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=670212 CPUtime=2853.96 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188144 0 0 0 285361 35 0 0 20 0 1 0 24678585 697757696 167553 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 167553 2936 2550 0 167306 0
Current children cumulated CPU time: 2853.96 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 670212 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.13 4.13 5/257 279970
/proc/meminfo: memFree=104282772/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=670212 CPUtime=2913.79 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188210 0 0 0 291344 35 0 0 20 0 1 0 24678585 697757696 167553 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 167553 2936 2550 0 167306 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 670212 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/257 279980
/proc/meminfo: memFree=103963308/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=670212 CPUtime=2973.62 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188276 0 0 0 297327 35 0 0 20 0 1 0 24678585 697757696 167553 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 167553 2936 2550 0 167306 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 670212 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/257 279992
/proc/meminfo: memFree=103686184/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=670212 CPUtime=3033.46 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188342 0 0 0 303311 35 0 0 20 0 1 0 24678585 697757696 167553 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 167553 2936 2550 0 167306 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 670212 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/255 280002
/proc/meminfo: memFree=103454920/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=671920 CPUtime=3093.28 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188415 0 0 0 309293 35 0 0 20 0 1 0 24678585 697757696 167980 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 167980 2936 2550 0 167306 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 671920 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/255 280014
/proc/meminfo: memFree=103237660/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=672108 CPUtime=3153.11 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188497 0 0 0 315276 35 0 0 20 0 1 0 24678585 697757696 168027 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168027 2936 2550 0 167306 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 672108 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/255 280025
/proc/meminfo: memFree=103036452/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=672704 CPUtime=3212.95 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188591 0 0 0 321260 35 0 0 20 0 1 0 24678585 697757696 168176 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168176 2936 2550 0 167306 0
Current children cumulated CPU time: 3212.95 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 672704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.15 4.12 5/255 280035
/proc/meminfo: memFree=102763888/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=674648 CPUtime=3272.78 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188703 0 0 0 327243 35 0 0 20 0 1 0 24678585 697757696 168662 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168662 2936 2550 0 167306 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 674648 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.13 5/257 280051
/proc/meminfo: memFree=102503208/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=675096 CPUtime=3332.62 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188816 0 0 0 333227 35 0 0 20 0 1 0 24678585 697757696 168774 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168774 2936 2550 0 167306 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 675096 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/257 280061
/proc/meminfo: memFree=102303036/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=675096 CPUtime=3392.45 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 188929 0 0 0 339210 35 0 0 20 0 1 0 24678585 697757696 168774 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168774 2936 2550 0 167306 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 675096 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/257 280072
/proc/meminfo: memFree=102146192/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=675096 CPUtime=3452.29 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 189042 0 0 0 345194 35 0 0 20 0 1 0 24678585 697757696 168774 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168774 2936 2550 0 167306 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 675096 KiB

[startup+3522.3 s]
/proc/loadavg: 4.57 4.27 4.16 5/257 280128
/proc/meminfo: memFree=102213176/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=675096 CPUtime=3512.14 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 189155 0 0 0 351179 35 0 0 20 0 1 0 24678585 697757696 168774 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168774 2936 2550 0 167306 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 675096 KiB

[startup+3582.3 s]
/proc/loadavg: 4.58 4.33 4.19 5/257 280138
/proc/meminfo: memFree=102268616/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=675096 CPUtime=3571.98 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 189268 0 0 0 357163 35 0 0 20 0 1 0 24678585 697757696 168774 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168774 2936 2550 0 167306 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 675096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.54 4.35 4.20 5/257 280235
/proc/meminfo: memFree=102374960/131524600 swapFree=131071728/131071996
[pid=278208] ppid=278205 vsize=681404 memory=675096 CPUtime=3600.01 cores=1,3
/proc/278208/stat : 278208 (CASHWMaxSAT-Dis) R 278205 278208 276050 0 -1 4194304 189368 0 0 0 359966 35 0 0 20 0 1 0 24678585 697757696 168774 134679101440 4194304 14636349 140735784373472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 22724608 140735784379363 140735784379479 140735784379479 140735784386494 0
/proc/278208/statm: 170351 168774 2936 2550 0 167306 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 681404 KiB
Current children cumulated memory: 675096 KiB

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

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

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

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

Child status: 10

Real time (s): 3610.4
CPU time (s): 3600.02
CPU user time (s): 3599.67
CPU system time (s): 0.358958
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 841892
Max. memory (cumulated for all children) (KiB): 820524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.67
system time used= 0.358958
maximum resident set size= 820524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189371
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= 95
involuntary context switches= 2655


# summary of solver processes directly reported to runsolver:
#   pid: 278208
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.67
#   total CPU system time (s): 0.358958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41039 second user time and 15.2005 second system time

The end