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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457771-1721875936/watcher-4457771-1721875936 -o /tmp/evaluation-result-4457771-1721875936/solver-4457771-1721875936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721875936-269729 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4457771-1721875936.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=269782, runsolver pid=269775

[startup+0.100082 s]*
/proc/loadavg: 3.44 3.98 4.05 6/258 269794
/proc/meminfo: memFree=117363088/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=24472 memory=6084 CPUtime=0.1 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 888 0 0 0 10 0 0 0 20 0 1 0 24116147 25059328 1521 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 6118 1521 782 2417 0 3220 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24472 KiB
Current children cumulated memory: 6084 KiB

[startup+0.20642 s]*
/proc/loadavg: 3.44 3.98 4.05 6/258 269794
/proc/meminfo: memFree=117351136/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=24472 memory=6084 CPUtime=0.2 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 888 0 0 0 20 0 0 0 20 0 1 0 24116147 25059328 1521 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 6118 1521 782 2417 0 3220 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24472 KiB
Current children cumulated memory: 6084 KiB

[startup+0.305566 s]*
/proc/loadavg: 3.44 3.98 4.05 6/258 269794
/proc/meminfo: memFree=117344448/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=33540 memory=13716 CPUtime=0.3 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 3006 0 0 0 30 0 0 0 20 0 1 0 24116147 34344960 3429 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 8385 3429 782 2417 0 5487 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33540 KiB
Current children cumulated memory: 13716 KiB

[startup+0.700204 s]
/proc/loadavg: 3.44 3.98 4.05 6/258 269794
/proc/meminfo: memFree=117210096/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=184936 memory=157320 CPUtime=0.68 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 27506 0 0 0 63 5 0 0 20 0 1 0 24116147 189374464 39330 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 46234 39330 782 2417 0 43336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 184936 KiB
Current children cumulated memory: 157320 KiB

[startup+1.5002 s]
/proc/loadavg: 3.44 3.98 4.05 6/258 269794
/proc/meminfo: memFree=117023756/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=264132 memory=227996 CPUtime=1.48 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 35537 0 0 0 140 8 0 0 20 0 1 0 24116147 270471168 56999 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 66033 56999 782 2417 0 63135 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 264132 KiB
Current children cumulated memory: 227996 KiB

[startup+3.1065 s]
/proc/loadavg: 3.49 3.98 4.05 6/258 269794
/proc/meminfo: memFree=116673000/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=249628 CPUtime=3.08 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 41476 0 0 0 298 10 0 0 20 0 1 0 24116147 300015616 62407 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 62407 782 2417 0 70348 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 249628 KiB

[startup+6.30021 s]
/proc/loadavg: 3.49 3.98 4.05 6/258 269796
/proc/meminfo: memFree=116031204/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=249628 CPUtime=6.27 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 41497 0 0 0 616 11 0 0 20 0 1 0 24116147 300015616 62407 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 62407 782 2417 0 70348 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 249628 KiB

[startup+12.7002 s]
/proc/loadavg: 3.57 3.98 4.04 6/258 269796
/proc/meminfo: memFree=115863568/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=249676 CPUtime=12.65 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 41539 0 0 0 1254 11 0 0 20 0 1 0 24116147 300015616 62419 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 62419 782 2417 0 70348 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 249676 KiB

[startup+25.5002 s]
/proc/loadavg: 3.63 3.98 4.04 6/258 269798
/proc/meminfo: memFree=115863600/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=249676 CPUtime=25.39 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 41581 0 0 0 2528 11 0 0 20 0 1 0 24116147 300015616 62419 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 62419 782 2417 0 70348 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 249676 KiB

[startup+51.1065 s]
/proc/loadavg: 3.82 4.00 4.05 6/258 269803
/proc/meminfo: memFree=115833340/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=249676 CPUtime=50.9 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 41644 0 0 0 5077 13 0 0 20 0 1 0 24116147 300015616 62419 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 62419 782 2417 0 70348 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 249676 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.03 4.05 6/258 269812
/proc/meminfo: memFree=115724980/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=250360 CPUtime=101.89 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 41860 0 0 0 10175 14 0 0 20 0 1 0 24116147 300015616 62590 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 62590 782 2417 0 70348 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 250360 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.04 4.05 6/258 269824
/proc/meminfo: memFree=115666536/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=250516 CPUtime=161.65 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 41955 0 0 0 16149 16 0 0 20 0 1 0 24116147 300015616 62629 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 62629 782 2417 0 70348 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 250516 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.04 4.05 6/258 270218
/proc/meminfo: memFree=115586568/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=250672 CPUtime=221.4 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 42054 0 0 0 22123 17 0 0 20 0 1 0 24116147 300015616 62668 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 62668 782 2417 0 70348 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 250672 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.05 4.05 6/258 270228
/proc/meminfo: memFree=115513440/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=252868 CPUtime=281.16 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 42106 0 0 0 28097 19 0 0 20 0 1 0 24116147 300015616 63217 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 63217 782 2417 0 70348 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 252868 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.07 4.06 6/256 270239
/proc/meminfo: memFree=115399376/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=253024 CPUtime=340.92 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 42182 0 0 0 34070 22 0 0 20 0 1 0 24116147 300015616 63256 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 63256 782 2417 0 70348 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 253024 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.07 4.06 6/258 270419
/proc/meminfo: memFree=115318820/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=253156 CPUtime=400.67 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 42241 0 0 0 40044 23 0 0 20 0 1 0 24116147 300015616 63289 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 63289 782 2417 0 70348 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 253156 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.07 4.06 6/258 270429
/proc/meminfo: memFree=115249552/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=292984 memory=253296 CPUtime=460.43 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 42305 0 0 0 46018 25 0 0 20 0 1 0 24116147 300015616 63324 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 73246 63324 782 2417 0 70348 0

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

Current children cumulated memory: 997916 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.10 4.12 6/255 271491
/proc/meminfo: memFree=113314824/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1078396 memory=1036532 CPUtime=2850.83 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 210039 0 0 0 284951 132 0 0 20 0 1 0 24116147 1104277504 259133 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 269599 259133 814 2417 0 266701 0
Current children cumulated CPU time: 2850.83 s
Current children cumulated vsize: 1078396 KiB
Current children cumulated memory: 1036532 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.12 6/257 271505
/proc/meminfo: memFree=113283640/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1089116 memory=1055544 CPUtime=2910.58 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 213080 0 0 0 290925 133 0 0 20 0 1 0 24116147 1115254784 263886 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 272279 263886 814 2417 0 269381 0
Current children cumulated CPU time: 2910.58 s
Current children cumulated vsize: 1089116 KiB
Current children cumulated memory: 1055544 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.12 6/257 271516
/proc/meminfo: memFree=113279224/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1118232 memory=1065176 CPUtime=2970.35 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 221171 0 0 0 296897 138 0 0 20 0 1 0 24116147 1145069568 266294 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 279558 266294 814 2417 0 276660 0
Current children cumulated CPU time: 2970.35 s
Current children cumulated vsize: 1118232 KiB
Current children cumulated memory: 1065176 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.11 6/256 271527
/proc/meminfo: memFree=113206296/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1153496 memory=1102764 CPUtime=3030.11 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 230541 0 0 0 302869 142 0 0 20 0 1 0 24116147 1181179904 275691 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 288374 275691 814 2417 0 285476 0
Current children cumulated CPU time: 3030.11 s
Current children cumulated vsize: 1153496 KiB
Current children cumulated memory: 1102764 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.11 6/256 271537
/proc/meminfo: memFree=113054292/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1187848 memory=1141388 CPUtime=3089.87 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 239674 0 0 0 308842 145 0 0 20 0 1 0 24116147 1216356352 285347 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 296962 285347 814 2417 0 294064 0
Current children cumulated CPU time: 3089.87 s
Current children cumulated vsize: 1187848 KiB
Current children cumulated memory: 1141388 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.10 6/257 271549
/proc/meminfo: memFree=112992288/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1221632 memory=1177028 CPUtime=3149.63 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 248614 0 0 0 314813 150 0 0 20 0 1 0 24116147 1250951168 294257 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 305408 294257 814 2417 0 302510 0
Current children cumulated CPU time: 3149.63 s
Current children cumulated vsize: 1221632 KiB
Current children cumulated memory: 1177028 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.10 6/255 271559
/proc/meminfo: memFree=112971872/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1248816 memory=1210516 CPUtime=3209.37 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 255852 0 0 0 320785 152 0 0 20 0 1 0 24116147 1278787584 302629 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 312204 302629 814 2417 0 309306 0
Current children cumulated CPU time: 3209.37 s
Current children cumulated vsize: 1248816 KiB
Current children cumulated memory: 1210516 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/255 271570
/proc/meminfo: memFree=112918428/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1256576 memory=1229840 CPUtime=3269.11 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 257568 0 0 0 326757 154 0 0 20 0 1 0 24116147 1286733824 307460 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 314144 307460 814 2417 0 311246 0
Current children cumulated CPU time: 3269.11 s
Current children cumulated vsize: 1256576 KiB
Current children cumulated memory: 1229840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/255 271580
/proc/meminfo: memFree=112915164/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1273012 memory=1226652 CPUtime=3328.85 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 262234 0 0 0 332727 158 0 0 20 0 1 0 24116147 1303564288 306663 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 318253 306663 814 2417 0 315355 0
Current children cumulated CPU time: 3328.85 s
Current children cumulated vsize: 1273012 KiB
Current children cumulated memory: 1226652 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/255 271590
/proc/meminfo: memFree=112897664/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1287296 memory=1249420 CPUtime=3388.6 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 266277 0 0 0 338700 160 0 0 20 0 1 0 24116147 1318191104 312355 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 321824 312355 814 2417 0 318926 0
Current children cumulated CPU time: 3388.6 s
Current children cumulated vsize: 1287296 KiB
Current children cumulated memory: 1249420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/254 271601
/proc/meminfo: memFree=112860712/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1318696 memory=1284872 CPUtime=3448.35 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 274507 0 0 0 344673 162 0 0 20 0 1 0 24116147 1350344704 321218 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 329674 321218 814 2417 0 326776 0
Current children cumulated CPU time: 3448.35 s
Current children cumulated vsize: 1318696 KiB
Current children cumulated memory: 1284872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/257 271616
/proc/meminfo: memFree=112826604/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1356948 memory=1325384 CPUtime=3508.1 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 284574 0 0 0 350645 165 0 0 20 0 1 0 24116147 1389514752 331346 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 339237 331346 814 2417 0 336339 0
Current children cumulated CPU time: 3508.1 s
Current children cumulated vsize: 1356948 KiB
Current children cumulated memory: 1325384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/257 271626
/proc/meminfo: memFree=112766112/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1380356 memory=1354732 CPUtime=3567.85 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 290935 0 0 0 356617 168 0 0 20 0 1 0 24116147 1413484544 338683 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 345089 338683 814 2417 0 342191 0
Current children cumulated CPU time: 3567.85 s
Current children cumulated vsize: 1380356 KiB
Current children cumulated memory: 1354732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 271770
/proc/meminfo: memFree=115859060/131524600 swapFree=131071216/131071996
[pid=269782] ppid=269775 vsize=1393268 memory=1369836 CPUtime=3600.02 cores=0,2
/proc/269782/stat : 269782 (CASHWMaxSAT-Dis) R 269775 269782 269719 0 -1 4194304 294472 0 0 0 359833 169 0 0 20 0 1 0 24116147 1426706432 342459 134679101440 4194304 14093885 140734924445952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28479488 140734924452837 140734924452952 140734924452952 140734924459967 0
/proc/269782/statm: 348317 342459 814 2417 0 345419 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1393268 KiB
Current children cumulated memory: 1369836 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.33 s, system=1.70572 s

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

Child status: 10

Real time (s): 3614.61
CPU time (s): 3600.04
CPU user time (s): 3598.33
CPU system time (s): 1.70572
CPU usage (%): 99.5968
Max. virtual memory (cumulated for all children) (KiB): 1475628
Max. memory (cumulated for all children) (KiB): 1369836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.33
system time used= 1.70572
maximum resident set size= 1369896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294476
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= 299
involuntary context switches= 25268


# summary of solver processes directly reported to runsolver:
#   pid: 269782
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.33
#   total CPU system time (s): 1.70572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12979 second user time and 19.9351 second system time

The end