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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458863-1721883160/watcher-4458863-1721883160 -o /tmp/evaluation-result-4458863-1721883160/solver-4458863-1721883160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721875931-226578 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4458863-1721883160.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=230862, runsolver pid=230859

[startup+0.101034 s]*
/proc/loadavg: 4.09 4.09 4.09 6/257 230863
/proc/meminfo: memFree=125367552/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=40108 memory=21460 CPUtime=0.09 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 4771 0 0 0 9 0 0 0 20 0 1 0 24844621 41070592 5365 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 10027 5365 750 2417 0 7129 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 21460 KiB

[startup+0.205663 s]*
/proc/loadavg: 4.09 4.09 4.09 5/257 230863
/proc/meminfo: memFree=125349408/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=58308 memory=39704 CPUtime=0.2 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 9293 0 0 0 19 1 0 0 20 0 1 0 24844621 59707392 9926 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 14577 9926 750 2417 0 11679 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58308 KiB
Current children cumulated memory: 39704 KiB

[startup+0.305451 s]*
/proc/loadavg: 4.09 4.09 4.09 5/257 230863
/proc/meminfo: memFree=125331600/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=74968 memory=56336 CPUtime=0.29 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 13440 0 0 0 28 1 0 0 20 0 1 0 24844621 76767232 14084 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 18742 14084 750 2417 0 15844 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74968 KiB
Current children cumulated memory: 56336 KiB

[startup+0.700176 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 230863
/proc/meminfo: memFree=125296656/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=139772 memory=120792 CPUtime=0.68 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 29588 0 0 0 64 4 0 0 20 0 1 0 24844621 143126528 30198 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 34943 30198 750 2417 0 32045 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139772 KiB
Current children cumulated memory: 120792 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 230863
/proc/meminfo: memFree=125220368/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=420432 memory=409420 CPUtime=1.48 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 101520 0 0 0 133 15 0 0 20 0 1 0 24844621 430522368 102355 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 105108 102355 2302 2417 0 102210 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 420432 KiB
Current children cumulated memory: 409420 KiB

[startup+3.10545 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 230863
/proc/meminfo: memFree=124858040/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=550952 memory=534352 CPUtime=3.08 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 130641 0 0 0 288 20 0 0 20 0 1 0 24844621 564174848 133588 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 137738 133588 2414 2417 0 134840 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 550952 KiB
Current children cumulated memory: 534352 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.09 4.09 4/251 230894
/proc/meminfo: memFree=124917300/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1057052 memory=1010032 CPUtime=6.26 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 173325 0 0 0 593 33 0 0 20 0 1 0 24844621 1082421248 252508 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 264263 252508 2494 2417 0 261365 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1057052 KiB
Current children cumulated memory: 1010032 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 230911
/proc/meminfo: memFree=124767676/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1057052 memory=1012512 CPUtime=12.64 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 173433 0 0 0 1229 35 0 0 20 0 1 0 24844621 1082421248 253128 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 264263 253128 2494 2417 0 261365 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1057052 KiB
Current children cumulated memory: 1012512 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 230912
/proc/meminfo: memFree=124718772/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1057504 memory=1013160 CPUtime=25.39 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 173628 0 0 0 2503 36 0 0 20 0 1 0 24844621 1082884096 253290 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 264376 253290 2494 2417 0 261478 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1057504 KiB
Current children cumulated memory: 1013160 KiB

[startup+51.1058 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 230918
/proc/meminfo: memFree=123193332/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1061080 memory=1015948 CPUtime=50.91 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 173870 0 0 0 5054 37 0 0 20 0 1 0 24844621 1086545920 253987 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 265270 253987 2494 2417 0 262372 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1061080 KiB
Current children cumulated memory: 1015948 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 230973
/proc/meminfo: memFree=122220056/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1062464 memory=1017352 CPUtime=101.89 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 174237 0 0 0 10151 38 0 0 20 0 1 0 24844621 1087963136 254338 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 265616 254338 2510 2417 0 262718 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1062464 KiB
Current children cumulated memory: 1017352 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 231366
/proc/meminfo: memFree=122169112/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1066752 memory=1019144 CPUtime=161.66 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 174684 0 0 0 16126 40 0 0 20 0 1 0 24844621 1092354048 254786 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 266688 254786 2526 2417 0 263790 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1066752 KiB
Current children cumulated memory: 1019144 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 231378
/proc/meminfo: memFree=122143964/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1101984 memory=1038444 CPUtime=221.42 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 179028 0 0 0 22100 42 0 0 20 0 1 0 24844621 1128431616 259611 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 275496 259611 2542 2417 0 272598 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 1101984 KiB
Current children cumulated memory: 1038444 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 231390
/proc/meminfo: memFree=122139416/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1101984 memory=1038444 CPUtime=281.19 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 179076 0 0 0 28074 45 0 0 20 0 1 0 24844621 1128431616 259611 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 275496 259611 2542 2417 0 272598 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 1101984 KiB
Current children cumulated memory: 1038444 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 231571
/proc/meminfo: memFree=122125384/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1101984 memory=1038472 CPUtime=340.95 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 179124 0 0 0 34048 47 0 0 20 0 1 0 24844621 1128431616 259618 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 275496 259618 2542 2417 0 272598 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 1101984 KiB
Current children cumulated memory: 1038472 KiB

[startup+402.3 s]
/proc/loadavg: 4.25 4.14 4.10 5/260 231581
/proc/meminfo: memFree=122001036/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1101984 memory=1038472 CPUtime=400.71 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 179160 0 0 0 40023 48 0 0 20 0 1 0 24844621 1128431616 259618 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 275496 259618 2542 2417 0 272598 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 1101984 KiB
Current children cumulated memory: 1038472 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/260 231594
/proc/meminfo: memFree=121849940/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1170944 CPUtime=460.44 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 223455 0 0 0 45988 56 0 0 20 0 1 0 24844621 1264676864 292736 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 292736 2542 2417 0 305861 0

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

Current children cumulated memory: 1180720 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 232763
/proc/meminfo: memFree=119739912/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=2851.42 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 227533 0 0 0 285053 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 2851.42 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/257 232775
/proc/meminfo: memFree=119496792/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=2911.24 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 227619 0 0 0 291035 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 2911.24 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/257 232788
/proc/meminfo: memFree=119285972/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=2971.05 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 227898 0 0 0 297016 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 2971.05 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 232798
/proc/meminfo: memFree=119056448/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3030.86 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 228087 0 0 0 302997 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3030.86 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/257 232809
/proc/meminfo: memFree=118755696/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3090.66 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 228329 0 0 0 308977 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3090.66 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 232822
/proc/meminfo: memFree=118528588/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3150.45 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 228456 0 0 0 314956 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3150.45 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 232832
/proc/meminfo: memFree=118312236/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3210.23 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 228554 0 0 0 320934 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3210.23 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3282.3 s]
/proc/loadavg: 3.99 4.08 4.08 4/249 232873
/proc/meminfo: memFree=124489904/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3270.01 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 228938 0 0 0 326912 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3270.01 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3342.3 s]
/proc/loadavg: 3.42 3.89 4.02 4/249 232883
/proc/meminfo: memFree=124460036/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3329.78 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 229040 0 0 0 332889 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3329.78 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3402.3 s]
/proc/loadavg: 3.20 3.74 3.96 4/249 232895
/proc/meminfo: memFree=124428140/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3389.54 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 229352 0 0 0 338865 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3389.54 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3462.3 s]
/proc/loadavg: 3.18 3.64 3.90 4/250 232909
/proc/meminfo: memFree=124421944/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3449.32 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 229507 0 0 0 344843 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3449.32 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.53 3.85 4/250 232921
/proc/meminfo: memFree=124401336/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3509.09 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 229848 0 0 0 350820 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3509.09 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB

[startup+3582.3 s]
/proc/loadavg: 3.23 3.48 3.81 4/250 232932
/proc/meminfo: memFree=124399956/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=1235036 memory=1180720 CPUtime=3568.86 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 229952 0 0 0 356797 89 0 0 20 0 1 0 24844621 1264676864 295180 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 308759 295180 2542 2417 0 305861 0
Current children cumulated CPU time: 3568.86 s
Current children cumulated vsize: 1235036 KiB
Current children cumulated memory: 1180720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.6 s]
/proc/loadavg: 3.14 3.43 3.79 4/250 232937
/proc/meminfo: memFree=124779540/131524600 swapFree=131059368/131071996
[pid=230862] ppid=230859 vsize=826184 memory=802700 CPUtime=3600.04 cores=0,2
/proc/230862/stat : 230862 (CASHWMaxSAT-Dis) R 230859 230862 226568 0 -1 4194304 231299 0 0 0 359914 90 0 0 20 0 1 0 24844621 846012416 200675 134679101440 4194304 14093885 140736709854000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40742912 140736709858277 140736709858392 140736709858392 140736709865407 0
/proc/230862/statm: 206546 200675 2542 2417 0 203648 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 826184 KiB
Current children cumulated memory: 802700 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.14 s, system=0.911905 s

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

Child status: 10

Real time (s): 3613.6
CPU time (s): 3600.06
CPU user time (s): 3599.14
CPU system time (s): 0.911905
CPU usage (%): 99.6251
Max. virtual memory (cumulated for all children) (KiB): 1284328
Max. memory (cumulated for all children) (KiB): 1217264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 0.911905
maximum resident set size= 1217264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231303
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= 22
involuntary context switches= 24673


# summary of solver processes directly reported to runsolver:
#   pid: 230862
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.14
#   total CPU system time (s): 0.911905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55721 second user time and 16.6868 second system time

The end