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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439553-1721194630/watcher-4439553-1721194630 -o /tmp/evaluation-result-4439553-1721194630/solver-4439553-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721194642-895060 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439553-1721194630.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=895119, runsolver pid=895105
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 0.12 0.11 0.09 8/257 895123
/proc/meminfo: memFree=127753748/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=49532 memory=28964 CPUtime=0.09 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 4518 0 0 0 9 0 0 0 20 0 1 0 171631269 50720768 7241 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 12383 7241 794 2550 0 9338 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49532 KiB
Current children cumulated memory: 28964 KiB

[startup+0.206734 s]*
/proc/loadavg: 0.12 0.11 0.09 9/257 895123
/proc/meminfo: memFree=127707588/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=71448 memory=51060 CPUtime=0.2 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 9292 0 0 0 19 1 0 0 20 0 1 0 171631269 73162752 12765 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 17862 12765 842 2550 0 14817 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71448 KiB
Current children cumulated memory: 51060 KiB

[startup+0.306276 s]*
/proc/loadavg: 0.12 0.11 0.09 5/257 895123
/proc/meminfo: memFree=127631556/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=71448 memory=51060 CPUtime=0.3 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 9292 0 0 0 29 1 0 0 20 0 1 0 171631269 73162752 12765 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 17862 12765 842 2550 0 14817 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71448 KiB
Current children cumulated memory: 51060 KiB

[startup+0.700181 s]
/proc/loadavg: 0.12 0.11 0.09 5/257 895123
/proc/meminfo: memFree=127473300/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=117940 memory=105168 CPUtime=0.69 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 26172 0 0 0 65 4 0 0 20 0 1 0 171631269 120770560 26292 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 29485 26292 1994 2550 0 26440 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 117940 KiB
Current children cumulated memory: 105168 KiB

[startup+1.50024 s]
/proc/loadavg: 0.43 0.18 0.11 8/257 895123
/proc/meminfo: memFree=127255696/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=287216 memory=273348 CPUtime=1.48 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 67801 0 0 0 138 10 0 0 20 0 1 0 171631269 294109184 68337 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 71804 68337 2490 2550 0 68759 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 287216 KiB
Current children cumulated memory: 273348 KiB

[startup+3.10662 s]
/proc/loadavg: 0.43 0.18 0.11 8/257 895123
/proc/meminfo: memFree=126400736/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=561436 memory=526992 CPUtime=3.09 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 92359 0 0 0 292 17 0 0 20 0 1 0 171631269 574910464 131748 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 140359 131748 2634 2550 0 137314 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 561436 KiB
Current children cumulated memory: 526992 KiB

[startup+6.30021 s]
/proc/loadavg: 0.72 0.24 0.13 8/257 895123
/proc/meminfo: memFree=126351804/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=604652 memory=557268 CPUtime=6.27 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 98902 0 0 0 609 18 0 0 20 0 1 0 171631269 619163648 139317 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 151163 139317 2650 2550 0 148118 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 604652 KiB
Current children cumulated memory: 557268 KiB

[startup+12.7002 s]
/proc/loadavg: 1.06 0.32 0.16 8/257 895125
/proc/meminfo: memFree=126336248/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=622320 memory=560844 CPUtime=12.65 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 99298 0 0 0 1247 18 0 0 20 0 1 0 171631269 637255680 140211 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 155580 140211 2650 2550 0 152535 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 622320 KiB
Current children cumulated memory: 560844 KiB

[startup+25.5003 s]
/proc/loadavg: 1.51 0.44 0.20 8/257 895126
/proc/meminfo: memFree=126204392/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=713756 memory=576152 CPUtime=25.41 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 101611 0 0 0 2522 19 0 0 20 0 1 0 171631269 730886144 144038 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 178439 144038 2650 2550 0 175394 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 713756 KiB
Current children cumulated memory: 576152 KiB

[startup+51.1067 s]
/proc/loadavg: 2.55 0.80 0.33 8/257 895131
/proc/meminfo: memFree=126047896/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=892136 memory=690172 CPUtime=50.93 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 130093 0 0 0 5070 23 0 0 20 0 1 0 171631269 913547264 172543 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 223034 172543 2650 2550 0 219989 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 892136 KiB
Current children cumulated memory: 690172 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.31 0.53 8/257 895140
/proc/meminfo: memFree=126010032/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=892136 memory=690576 CPUtime=101.92 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 130247 0 0 0 10169 23 0 0 20 0 1 0 171631269 913547264 172644 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 223034 172644 2650 2550 0 219989 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 892136 KiB
Current children cumulated memory: 690576 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 1.83 0.76 8/257 895151
/proc/meminfo: memFree=125823672/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=985264 memory=783884 CPUtime=161.68 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 153560 0 0 0 16142 26 0 0 20 0 1 0 171631269 1008910336 195971 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 246316 195971 2650 2550 0 243271 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 985264 KiB
Current children cumulated memory: 783884 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.24 0.97 8/260 895166
/proc/meminfo: memFree=125738356/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1131860 memory=830508 CPUtime=221.49 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 170838 0 0 0 22120 29 0 0 20 0 1 0 171631269 1159024640 207627 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 282965 207627 2650 2550 0 279920 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1131860 KiB
Current children cumulated memory: 830508 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.58 1.17 8/260 895176
/proc/meminfo: memFree=125603280/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1215804 memory=903856 CPUtime=281.3 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 185124 0 0 0 28099 31 0 0 20 0 1 0 171631269 1244983296 225964 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 303951 225964 2650 2550 0 300906 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 1215804 KiB
Current children cumulated memory: 903856 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 2.87 1.36 8/258 895189
/proc/meminfo: memFree=125520228/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1258872 memory=932548 CPUtime=341.1 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 185693 0 0 0 34078 32 0 0 20 0 1 0 171631269 1289084928 233137 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 314718 233137 2650 2550 0 311673 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 1258872 KiB
Current children cumulated memory: 932548 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.09 1.53 8/258 895199
/proc/meminfo: memFree=125330160/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1317216 memory=991580 CPUtime=400.88 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 200467 0 0 0 40054 34 0 0 20 0 1 0 171631269 1348829184 247895 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 329304 247895 2650 2550 0 326259 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 1317216 KiB
Current children cumulated memory: 991580 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.29 1.70 8/258 895210
/proc/meminfo: memFree=125285752/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1323264 memory=997552 CPUtime=460.68 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 201987 0 0 0 46033 35 0 0 20 0 1 0 171631269 1355022336 249388 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 330816 249388 2650 2550 0 327771 0

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

Current children cumulated memory: 1173716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.21 4.04 8/257 896632
/proc/meminfo: memFree=125206844/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1173716 CPUtime=2913.62 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 336477 0 0 0 291294 68 0 0 20 0 1 0 171631269 1397305344 293429 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 293429 2650 2550 0 338094 0
Current children cumulated CPU time: 2913.62 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1173716 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.19 4.04 8/257 896642
/proc/meminfo: memFree=125207864/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1173716 CPUtime=2973.44 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 336625 0 0 0 297276 68 0 0 20 0 1 0 171631269 1397305344 293429 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 293429 2650 2550 0 338094 0
Current children cumulated CPU time: 2973.44 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1173716 KiB

[startup+3042.3 s]
/proc/loadavg: 4.36 4.24 4.07 8/257 896655
/proc/meminfo: memFree=125186360/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1173716 CPUtime=3033.27 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 336729 0 0 0 303259 68 0 0 20 0 1 0 171631269 1397305344 293429 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 293429 2650 2550 0 338094 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1173716 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.21 4.07 8/258 896834
/proc/meminfo: memFree=125150528/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1173716 CPUtime=3093.1 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 336847 0 0 0 309242 68 0 0 20 0 1 0 171631269 1397305344 293429 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 293429 2650 2550 0 338094 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1173716 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.20 4.08 8/258 896844
/proc/meminfo: memFree=125147188/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1173716 CPUtime=3152.93 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 336978 0 0 0 315225 68 0 0 20 0 1 0 171631269 1397305344 293429 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 293429 2650 2550 0 338094 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1173716 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.08 8/259 896912
/proc/meminfo: memFree=125150580/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1173716 CPUtime=3212.75 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337112 0 0 0 321207 68 0 0 20 0 1 0 171631269 1397305344 293429 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 293429 2650 2550 0 338094 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1173716 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.08 8/258 896922
/proc/meminfo: memFree=125147796/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1173716 CPUtime=3272.58 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337225 0 0 0 327190 68 0 0 20 0 1 0 171631269 1397305344 293429 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 293429 2650 2550 0 338094 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1173716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.18 4.09 8/258 896933
/proc/meminfo: memFree=125126424/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1192148 CPUtime=3332.4 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337379 0 0 0 333172 68 0 0 20 0 1 0 171631269 1397305344 298037 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 298037 2650 2550 0 338094 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1192148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.09 8/257 896944
/proc/meminfo: memFree=125125964/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1192148 CPUtime=3392.23 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337482 0 0 0 339155 68 0 0 20 0 1 0 171631269 1397305344 298037 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 298037 2650 2550 0 338094 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1192148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.09 8/257 896956
/proc/meminfo: memFree=125118840/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1192148 CPUtime=3452.06 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337624 0 0 0 345138 68 0 0 20 0 1 0 171631269 1397305344 298037 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 298037 2650 2550 0 338094 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1192148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.09 8/255 896967
/proc/meminfo: memFree=125118272/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1192148 CPUtime=3511.88 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337761 0 0 0 351120 68 0 0 20 0 1 0 171631269 1397305344 298037 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 298037 2650 2550 0 338094 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1192148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.09 8/255 896977
/proc/meminfo: memFree=125108988/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1192148 CPUtime=3571.7 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337904 0 0 0 357102 68 0 0 20 0 1 0 171631269 1397305344 298037 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 298037 2650 2550 0 338094 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1192148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.13 4.14 4.09 7/252 897069
/proc/meminfo: memFree=126334104/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1194196 CPUtime=3600.02 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337941 0 0 0 359934 68 0 0 20 0 1 0 171631269 1397305344 298549 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 298549 2650 2550 0 338094 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1194196 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.35 s, system=0.693802 s

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

[startup+3610.7 s]
/proc/loadavg: 4.13 4.14 4.09 7/252 897069
/proc/meminfo: memFree=126334104/131524600 swapFree=131071996/131071996
[pid=895119] ppid=895105 vsize=1364556 memory=1194196 CPUtime=3600.02 cores=1,3
/proc/895119/stat : 895119 (CASHWMaxSAT-Dis) R 895105 895119 895048 0 -1 4194304 337941 0 0 0 359934 68 0 0 20 0 1 0 171631269 1397305344 298549 134679101440 4194304 14636349 140725853025680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 27922432 140725853033442 140725853033558 140725853033558 140725853040574 0
/proc/895119/statm: 341139 298549 2650 2550 0 338094 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1364556 KiB
Current children cumulated memory: 1194196 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.04
CPU user time (s): 3599.35
CPU system time (s): 0.693802
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 1891524
Max. memory (cumulated for all children) (KiB): 1598660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.35
system time used= 0.693802
maximum resident set size= 1598660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337943
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= 106
involuntary context switches= 1726


# summary of solver processes directly reported to runsolver:
#   pid: 895119
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.35
#   total CPU system time (s): 0.693802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95906 second user time and 21.6806 second system time

The end