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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=893092, runsolver pid=893079

[startup+0.100931 s]*
/proc/loadavg: 0.38 0.15 0.11 8/257 893095
/proc/meminfo: memFree=126110072/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=55912 memory=36692 CPUtime=0.09 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 8408 0 0 0 8 1 0 0 20 0 1 0 171626813 57253888 9173 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 13978 9173 970 2550 0 10933 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55912 KiB
Current children cumulated memory: 36692 KiB

[startup+0.206139 s]*
/proc/loadavg: 0.38 0.15 0.11 8/257 893095
/proc/meminfo: memFree=125975380/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=79164 memory=59800 CPUtime=0.2 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 15019 0 0 0 18 2 0 0 20 0 1 0 171626813 81063936 14950 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 19791 14950 970 2550 0 16746 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79164 KiB
Current children cumulated memory: 59800 KiB

[startup+0.306317 s]*
/proc/loadavg: 0.38 0.15 0.11 8/257 893095
/proc/meminfo: memFree=125953292/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=86768 memory=64020 CPUtime=0.3 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 16080 0 0 0 28 2 0 0 20 0 1 0 171626813 88850432 16005 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 21692 16005 970 2550 0 18647 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86768 KiB
Current children cumulated memory: 64020 KiB

[startup+0.70023 s]
/proc/loadavg: 0.38 0.15 0.11 9/257 893095
/proc/meminfo: memFree=125773344/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=206740 memory=190368 CPUtime=0.68 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 47532 0 0 0 62 6 0 0 20 0 1 0 171626813 211701760 47592 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 51685 47592 2282 2550 0 48640 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 206740 KiB
Current children cumulated memory: 190368 KiB

[startup+1.50023 s]
/proc/loadavg: 0.38 0.15 0.11 9/257 893095
/proc/meminfo: memFree=125256240/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=505324 memory=486948 CPUtime=1.49 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 118409 0 0 0 131 18 0 0 20 0 1 0 171626813 517451776 121737 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 126331 121737 2490 2550 0 123286 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 505324 KiB
Current children cumulated memory: 486948 KiB

[startup+3.10635 s]
/proc/loadavg: 0.38 0.15 0.11 9/257 893097
/proc/meminfo: memFree=124421628/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=642848 memory=623896 CPUtime=3.09 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 152156 0 0 0 286 23 0 0 20 0 1 0 171626813 658276352 155974 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 160712 155974 2490 2550 0 157667 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 642848 KiB
Current children cumulated memory: 623896 KiB

[startup+6.30021 s]
/proc/loadavg: 0.67 0.21 0.13 8/257 893097
/proc/meminfo: memFree=123601512/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=642848 memory=623896 CPUtime=6.27 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 152162 0 0 0 604 23 0 0 20 0 1 0 171626813 658276352 155974 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 160712 155974 2490 2550 0 157667 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 642848 KiB
Current children cumulated memory: 623896 KiB

[startup+12.7002 s]
/proc/loadavg: 0.94 0.27 0.15 8/257 893097
/proc/meminfo: memFree=123182004/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=642848 memory=623896 CPUtime=12.65 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 152165 0 0 0 1241 24 0 0 20 0 1 0 171626813 658276352 155974 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 160712 155974 2490 2550 0 157667 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 642848 KiB
Current children cumulated memory: 623896 KiB

[startup+25.5002 s]
/proc/loadavg: 1.41 0.40 0.19 8/257 893100
/proc/meminfo: memFree=121974184/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1320140 memory=1241312 CPUtime=25.41 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 213308 0 0 0 2502 39 0 0 20 0 1 0 171626813 1351823360 310328 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 330035 310328 2586 2550 0 326990 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1320140 KiB
Current children cumulated memory: 1241312 KiB

[startup+51.1064 s]
/proc/loadavg: 2.49 0.76 0.32 9/257 893103
/proc/meminfo: memFree=121902600/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1380276 memory=1297668 CPUtime=50.95 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 226394 0 0 0 5053 42 0 0 20 0 1 0 171626813 1413402624 324417 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 345069 324417 2650 2550 0 342024 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1380276 KiB
Current children cumulated memory: 1297668 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.28 0.52 9/257 893112
/proc/meminfo: memFree=121883128/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1387944 memory=1303084 CPUtime=101.99 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 227319 0 0 0 10156 43 0 0 20 0 1 0 171626813 1421254656 325771 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 346986 325771 2650 2550 0 343941 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1387944 KiB
Current children cumulated memory: 1303084 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.80 0.75 9/259 893127
/proc/meminfo: memFree=121827440/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1391500 memory=1306968 CPUtime=161.82 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 228339 0 0 0 16137 45 0 0 20 0 1 0 171626813 1424896000 326742 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 347875 326742 2650 2550 0 344830 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1391500 KiB
Current children cumulated memory: 1306968 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.22 0.96 9/259 893137
/proc/meminfo: memFree=121771728/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1391632 memory=1307176 CPUtime=221.65 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 228461 0 0 0 22118 47 0 0 20 0 1 0 171626813 1425031168 326794 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 347908 326794 2650 2550 0 344863 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1391632 KiB
Current children cumulated memory: 1307176 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.56 1.16 9/259 893147
/proc/meminfo: memFree=121770048/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1391900 memory=1307344 CPUtime=281.48 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 228592 0 0 0 28100 48 0 0 20 0 1 0 171626813 1425305600 326836 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 347975 326836 2650 2550 0 344930 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 1391900 KiB
Current children cumulated memory: 1307344 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 2.86 1.35 8/256 893158
/proc/meminfo: memFree=121757176/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1398552 memory=1313716 CPUtime=341.34 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 230284 0 0 0 34084 50 0 0 20 0 1 0 171626813 1432117248 328429 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 349638 328429 2650 2550 0 346593 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1398552 KiB
Current children cumulated memory: 1313716 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.08 1.53 9/256 893170
/proc/meminfo: memFree=121746744/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1399708 memory=1315096 CPUtime=401.16 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 230672 0 0 0 40065 51 0 0 20 0 1 0 171626813 1433300992 328774 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 349927 328774 2650 2550 0 346882 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1399708 KiB
Current children cumulated memory: 1315096 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.27 1.69 9/256 893180
/proc/meminfo: memFree=121661740/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1399708 memory=1315140 CPUtime=460.99 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 230781 0 0 0 46046 53 0 0 20 0 1 0 171626813 1433300992 328785 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 349927 328785 2650 2550 0 346882 0

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

Current children cumulated memory: 992544 KiB

[startup+2862.3 s]
/proc/loadavg: 4.04 4.09 3.97 10/259 894404
/proc/meminfo: memFree=121672276/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=2854.3 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 237313 0 0 0 285342 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 2854.3 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 3.99 7/258 894640
/proc/meminfo: memFree=121636908/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=2914.12 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 237455 0 0 0 291324 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.00 8/258 894650
/proc/meminfo: memFree=121636088/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=2973.94 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 237609 0 0 0 297306 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.00 8/262 894819
/proc/meminfo: memFree=121664536/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3033.76 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 237760 0 0 0 303288 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3102.3 s]
/proc/loadavg: 4.41 4.20 4.05 8/259 894841
/proc/meminfo: memFree=121665176/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3093.58 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 237888 0 0 0 309270 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.18 4.05 7/261 894910
/proc/meminfo: memFree=121662096/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3153.41 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 238024 0 0 0 315253 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.18 4.05 7/259 894921
/proc/meminfo: memFree=121624572/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3213.23 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 238174 0 0 0 321235 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.05 8/259 894931
/proc/meminfo: memFree=121652932/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3273.05 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 238296 0 0 0 327217 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.05 8/259 894941
/proc/meminfo: memFree=121619420/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3332.88 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 238416 0 0 0 333200 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.06 8/257 894952
/proc/meminfo: memFree=121614480/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3392.7 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 238558 0 0 0 339182 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.06 8/257 894963
/proc/meminfo: memFree=121615416/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3452.53 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 238695 0 0 0 345165 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.06 7/254 894973
/proc/meminfo: memFree=121651344/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3512.35 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 238823 0 0 0 351147 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.06 8/254 894983
/proc/meminfo: memFree=121615528/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3572.18 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 238950 0 0 0 357130 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.14 4.12 4.06 6/254 895036
/proc/meminfo: memFree=123643408/131524600 swapFree=131071996/131071996
[pid=893092] ppid=893079 vsize=1002172 memory=992544 CPUtime=3600 cores=5,7
/proc/893092/stat : 893092 (CASHWMaxSAT-Dis) R 893079 893092 893019 0 -1 4194304 239018 0 0 0 359912 88 0 0 20 0 1 0 171626813 1026224128 248136 134679101440 4194304 14636349 140724033336560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 50876416 140724033340386 140724033340502 140724033340502 140724033347518 0
/proc/893092/statm: 250543 248136 2650 2550 0 247498 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1002172 KiB
Current children cumulated memory: 992544 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.12 s, system=0.887605 s

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

Child status: 10

Real time (s): 3610.2
CPU time (s): 3600.01
CPU user time (s): 3599.12
CPU system time (s): 0.887605
CPU usage (%): 99.7176
Max. virtual memory (cumulated for all children) (KiB): 1413280
Max. memory (cumulated for all children) (KiB): 1335608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.887605
maximum resident set size= 1335608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239023
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= 25
involuntary context switches= 1572


# summary of solver processes directly reported to runsolver:
#   pid: 893092
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 0.887605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88514 second user time and 18.4265 second system time

The end