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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457770-1721875936/watcher-4457770-1721875936 -o /tmp/evaluation-result-4457770-1721875936/solver-4457770-1721875936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721875935-220242 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4457770-1721875936.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=220303, runsolver pid=220291
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 3.55 4.04 4.09 8/260 220307
/proc/meminfo: memFree=119667832/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=25812 memory=7536 CPUtime=0.1 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 1097 0 0 0 10 0 0 0 20 0 1 0 24122608 26431488 1884 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 6453 1884 954 2550 0 3408 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25812 KiB
Current children cumulated memory: 7536 KiB

[startup+0.206627 s]*
/proc/loadavg: 3.55 4.04 4.09 8/260 220307
/proc/meminfo: memFree=119656116/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=25812 memory=7536 CPUtime=0.2 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 1097 0 0 0 20 0 0 0 20 0 1 0 24122608 26431488 1884 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 6453 1884 954 2550 0 3408 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25812 KiB
Current children cumulated memory: 7536 KiB

[startup+0.306406 s]*
/proc/loadavg: 3.55 4.04 4.09 8/260 220307
/proc/meminfo: memFree=119649760/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=34868 memory=15432 CPUtime=0.3 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 2801 0 0 0 30 0 0 0 20 0 1 0 24122608 35704832 3858 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 8717 3858 970 2550 0 5672 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34868 KiB
Current children cumulated memory: 15432 KiB

[startup+0.700217 s]
/proc/loadavg: 3.55 4.04 4.09 8/260 220307
/proc/meminfo: memFree=119517856/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=185148 memory=160948 CPUtime=0.69 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 25672 0 0 0 64 5 0 0 20 0 1 0 24122608 189591552 40237 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 46287 40237 970 2550 0 43242 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 185148 KiB
Current children cumulated memory: 160948 KiB

[startup+1.50023 s]
/proc/loadavg: 3.55 4.04 4.09 8/260 220307
/proc/meminfo: memFree=119325388/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=265480 memory=232248 CPUtime=1.49 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 33317 0 0 0 141 8 0 0 20 0 1 0 24122608 271851520 58062 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 66370 58062 970 2550 0 63325 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 265480 KiB
Current children cumulated memory: 232248 KiB

[startup+3.10693 s]
/proc/loadavg: 3.58 4.04 4.09 8/260 220307
/proc/meminfo: memFree=118996016/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=255908 CPUtime=3.08 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 38468 0 0 0 298 10 0 0 20 0 1 0 24122608 301404160 63977 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 63977 970 2550 0 70540 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 255908 KiB

[startup+6.30021 s]
/proc/loadavg: 3.58 4.04 4.09 9/260 220307
/proc/meminfo: memFree=118336404/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=255908 CPUtime=6.27 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 38495 0 0 0 616 11 0 0 20 0 1 0 24122608 301404160 63977 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 63977 970 2550 0 70540 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 255908 KiB

[startup+12.7002 s]
/proc/loadavg: 3.62 4.04 4.09 8/260 220309
/proc/meminfo: memFree=118152660/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=256028 CPUtime=12.65 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 38551 0 0 0 1254 11 0 0 20 0 1 0 24122608 301404160 64007 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64007 970 2550 0 70540 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 256028 KiB

[startup+25.5002 s]
/proc/loadavg: 3.70 4.04 4.09 8/260 220310
/proc/meminfo: memFree=118151356/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=256028 CPUtime=25.41 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 38607 0 0 0 2530 11 0 0 20 0 1 0 24122608 301404160 64007 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64007 970 2550 0 70540 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 256028 KiB

[startup+51.1069 s]
/proc/loadavg: 3.81 4.03 4.08 8/260 220315
/proc/meminfo: memFree=118115580/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=256028 CPUtime=50.95 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 38689 0 0 0 5083 12 0 0 20 0 1 0 24122608 301404160 64007 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64007 970 2550 0 70540 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 256028 KiB

[startup+102.3 s]
/proc/loadavg: 3.97 4.04 4.08 8/260 220323
/proc/meminfo: memFree=118064552/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=256700 CPUtime=102 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 38918 0 0 0 10187 13 0 0 20 0 1 0 24122608 301404160 64175 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64175 970 2550 0 70540 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 256700 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 4.04 4.08 9/260 220336
/proc/meminfo: memFree=117991680/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=256892 CPUtime=161.82 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 39044 0 0 0 16168 14 0 0 20 0 1 0 24122608 301404160 64223 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64223 970 2550 0 70540 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 256892 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.07 4.09 8/260 220731
/proc/meminfo: memFree=117894180/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=257024 CPUtime=221.65 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 39109 0 0 0 22150 15 0 0 20 0 1 0 24122608 301404160 64256 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64256 970 2550 0 70540 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 257024 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.05 4.08 8/260 220741
/proc/meminfo: memFree=117804820/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=257160 CPUtime=281.48 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 39181 0 0 0 28131 17 0 0 20 0 1 0 24122608 301404160 64290 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64290 970 2550 0 70540 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 257160 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.07 4.09 8/256 220752
/proc/meminfo: memFree=117728324/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=257160 CPUtime=341.3 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 39225 0 0 0 34112 18 0 0 20 0 1 0 24122608 301404160 64290 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64290 970 2550 0 70540 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 257160 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.07 4.09 8/258 220932
/proc/meminfo: memFree=117654424/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=257364 CPUtime=401.13 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 39309 0 0 0 40094 19 0 0 20 0 1 0 24122608 301404160 64341 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64341 970 2550 0 70540 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 257364 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.07 4.09 8/258 220942
/proc/meminfo: memFree=117576680/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=294340 memory=257464 CPUtime=460.95 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 39374 0 0 0 46075 20 0 0 20 0 1 0 24122608 301404160 64366 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 73585 64366 970 2550 0 70540 0

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

Current children cumulated memory: 1071060 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.15 4.11 8/254 222012
/proc/meminfo: memFree=115723020/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1161408 memory=1111736 CPUtime=2854.73 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 226602 0 0 0 285361 112 0 0 20 0 1 0 24122608 1189281792 277934 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 290352 277934 986 2550 0 287307 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 1161408 KiB
Current children cumulated memory: 1111736 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.10 8/257 222027
/proc/meminfo: memFree=115665856/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1192560 memory=1146904 CPUtime=2914.57 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 234752 0 0 0 291343 114 0 0 20 0 1 0 24122608 1221181440 286726 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 298140 286726 986 2550 0 295095 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 1192560 KiB
Current children cumulated memory: 1146904 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.10 8/257 222039
/proc/meminfo: memFree=115631500/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1227980 memory=1184708 CPUtime=2974.42 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 244071 0 0 0 297325 117 0 0 20 0 1 0 24122608 1257451520 296177 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 306995 296177 986 2550 0 303950 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 1227980 KiB
Current children cumulated memory: 1184708 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.10 8/260 222054
/proc/meminfo: memFree=115585072/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1250584 memory=1215468 CPUtime=3034.25 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 250005 0 0 0 303307 118 0 0 20 0 1 0 24122608 1280598016 303867 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 312646 303867 986 2550 0 309601 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 1250584 KiB
Current children cumulated memory: 1215468 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.10 8/261 222065
/proc/meminfo: memFree=115576232/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1258016 memory=1235184 CPUtime=3094.1 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 251777 0 0 0 309290 120 0 0 20 0 1 0 24122608 1288208384 308796 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 314504 308796 986 2550 0 311459 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 1258016 KiB
Current children cumulated memory: 1235184 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.09 8/261 222076
/proc/meminfo: memFree=115577744/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1274452 memory=1230264 CPUtime=3153.93 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 256238 0 0 0 315269 124 0 0 20 0 1 0 24122608 1305038848 307566 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 318613 307566 986 2550 0 315568 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 1274452 KiB
Current children cumulated memory: 1230264 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.09 8/261 222087
/proc/meminfo: memFree=115537636/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1288740 memory=1252780 CPUtime=3213.78 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 260171 0 0 0 321252 126 0 0 20 0 1 0 24122608 1319669760 313195 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 322185 313195 986 2550 0 319140 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 1288740 KiB
Current children cumulated memory: 1252780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 9/258 222098
/proc/meminfo: memFree=115415436/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1318528 memory=1286612 CPUtime=3273.59 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 268011 0 0 0 327231 128 0 0 20 0 1 0 24122608 1350172672 321653 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 329632 321653 986 2550 0 326587 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 1318528 KiB
Current children cumulated memory: 1286612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.08 8/257 222108
/proc/meminfo: memFree=115350452/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1357716 memory=1328028 CPUtime=3333.39 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 278216 0 0 0 333209 130 0 0 20 0 1 0 24122608 1390301184 332007 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 339429 332007 986 2550 0 336384 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 1357716 KiB
Current children cumulated memory: 1328028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 8/254 222118
/proc/meminfo: memFree=115290268/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1380004 memory=1354360 CPUtime=3393.21 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 284334 0 0 0 339189 132 0 0 20 0 1 0 24122608 1413124096 338590 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 345001 338590 986 2550 0 341956 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 1380004 KiB
Current children cumulated memory: 1354360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 8/254 222129
/proc/meminfo: memFree=115281400/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1406740 memory=1385364 CPUtime=3453.02 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 291475 0 0 0 345167 135 0 0 20 0 1 0 24122608 1440501760 346341 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 351685 346341 986 2550 0 348640 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 1406740 KiB
Current children cumulated memory: 1385364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 8/257 222145
/proc/meminfo: memFree=115242896/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1520616 memory=1421248 CPUtime=3512.84 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 300546 0 0 0 351147 137 0 0 20 0 1 0 24122608 1557110784 355312 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 380154 355312 986 2550 0 377109 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 1520616 KiB
Current children cumulated memory: 1421248 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 8/257 222156
/proc/meminfo: memFree=115242092/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1458192 memory=1419812 CPUtime=3572.66 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 306934 0 0 0 357125 141 0 0 20 0 1 0 24122608 1493188608 354953 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 364548 354953 986 2550 0 361503 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 1458192 KiB
Current children cumulated memory: 1419812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.12 4.10 4.09 8/257 222162
/proc/meminfo: memFree=115229468/131524600 swapFree=131069668/131071996
[pid=220303] ppid=220291 vsize=1474620 memory=1438448 CPUtime=3600.07 cores=1,3
/proc/220303/stat : 220303 (CASHWMaxSAT-Dis) R 220291 220303 220230 0 -1 4194304 311455 0 0 0 359865 142 0 0 20 0 1 0 24122608 1510010880 359612 134679101440 4194304 14636349 140733820177808 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 49750016 140733820179427 140733820179543 140733820179543 140733820186558 0
/proc/220303/statm: 368655 359612 986 2550 0 365610 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1474620 KiB
Current children cumulated memory: 1438448 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.66 s, system=1.43999 s

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

Child status: 10

Real time (s): 3609.82
CPU time (s): 3600.1
CPU user time (s): 3598.66
CPU system time (s): 1.43999
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (KiB): 1659648
Max. memory (cumulated for all children) (KiB): 1510472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.43999
maximum resident set size= 1543240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311458
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= 323
involuntary context switches= 4077


# summary of solver processes directly reported to runsolver:
#   pid: 220303
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.66
#   total CPU system time (s): 1.43999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2373 second user time and 17.321 second system time

The end