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: 63708 MiB (62516 MiB free)
  memory of node 1: 64465 MiB (61946 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484882-1751299397/watcher-4484882-1751299397 -o /tmp/evaluation-result-4484882-1751299397/solver-4484882-1751299397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751292174-41097 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484882-1751299397.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41837, runsolver pid=41834
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.12 4.11 4.09 4/261 41838
/proc/meminfo: memFree=129086488/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=41548 memory=23040 CPUtime=0.1 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 5130 0 0 0 9 1 0 0 20 0 1 0 45616322 42545152 5760 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 10387 5760 736 2416 0 7489 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 23040 KiB

[startup+0.204913 s]*
/proc/loadavg: 4.12 4.11 4.09 5/259 41846
/proc/meminfo: memFree=129023724/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=60920 memory=42496 CPUtime=0.2 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 9992 0 0 0 19 1 0 0 20 0 1 0 45616322 62382080 10624 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 15230 10624 736 2416 0 12332 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60920 KiB
Current children cumulated memory: 42496 KiB

[startup+0.305573 s]*
/proc/loadavg: 4.12 4.11 4.09 6/259 41846
/proc/meminfo: memFree=128853388/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=76884 memory=60116 CPUtime=0.3 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 14548 0 0 0 28 2 0 0 20 0 1 0 45616322 78729216 15029 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 19221 15029 768 2416 0 16323 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76884 KiB
Current children cumulated memory: 60116 KiB

[startup+0.700188 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 41846
/proc/meminfo: memFree=128676232/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=207540 memory=197044 CPUtime=0.68 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 47821 0 0 0 61 7 0 0 20 0 1 0 45616322 212520960 49261 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 51885 49261 2336 2416 0 48987 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 207540 KiB
Current children cumulated memory: 197044 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.11 4.09 4/259 41859
/proc/meminfo: memFree=128539020/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=347080 memory=304984 CPUtime=1.48 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 56450 0 0 0 138 10 0 0 20 0 1 0 45616322 355409920 76246 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 86770 76246 2400 2416 0 83872 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 347080 KiB
Current children cumulated memory: 304984 KiB

[startup+3.1052 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127451392/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=486112 memory=445328 CPUtime=3.08 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 74740 0 0 0 293 15 0 0 20 0 1 0 45616322 497778688 111332 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 121528 111332 2496 2416 0 118630 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 486112 KiB
Current children cumulated memory: 445328 KiB

[startup+6.30011 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127273596/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=528816 memory=468160 CPUtime=6.27 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 79927 0 0 0 611 16 0 0 20 0 1 0 45616322 541507584 117040 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 132204 117040 2496 2416 0 129306 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 528816 KiB
Current children cumulated memory: 468160 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127265652/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=538732 memory=469312 CPUtime=12.64 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 80218 0 0 0 1248 16 0 0 20 0 1 0 45616322 551661568 117328 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 134683 117328 2496 2416 0 131785 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 538732 KiB
Current children cumulated memory: 469312 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 41883
/proc/meminfo: memFree=127225456/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=644148 memory=485452 CPUtime=25.41 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 83230 0 0 0 2524 17 0 0 20 0 1 0 45616322 659607552 121363 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 161037 121363 2496 2416 0 158139 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 644148 KiB
Current children cumulated memory: 485452 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41884
/proc/meminfo: memFree=126766696/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=757272 memory=563388 CPUtime=50.92 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 107881 0 0 0 5071 21 0 0 20 0 1 0 45616322 775446528 140847 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 189318 140847 2496 2416 0 186420 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 757272 KiB
Current children cumulated memory: 563388 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 41885
/proc/meminfo: memFree=126655408/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=859444 memory=642700 CPUtime=101.9 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 127182 0 0 0 10166 24 0 0 20 0 1 0 45616322 880070656 160675 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 214861 160675 2528 2416 0 211963 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 859444 KiB
Current children cumulated memory: 642700 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 41888
/proc/meminfo: memFree=126430488/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=904084 memory=687108 CPUtime=161.68 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 143205 0 0 0 16141 27 0 0 20 0 1 0 45616322 925782016 171777 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 226021 171777 2528 2416 0 223123 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 904084 KiB
Current children cumulated memory: 687108 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 41890
/proc/meminfo: memFree=126220852/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=993556 memory=735852 CPUtime=221.45 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 168516 0 0 0 22114 31 0 0 20 0 1 0 45616322 1017401344 183963 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 248389 183963 2528 2416 0 245491 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 993556 KiB
Current children cumulated memory: 735852 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 41892
/proc/meminfo: memFree=125982108/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1051960 memory=794160 CPUtime=281.23 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 192965 0 0 0 28088 35 0 0 20 0 1 0 45616322 1077207040 198540 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 262990 198540 2528 2416 0 260092 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 1051960 KiB
Current children cumulated memory: 794160 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 41894
/proc/meminfo: memFree=125849688/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1091224 memory=808764 CPUtime=341.01 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 193577 0 0 0 34066 35 0 0 20 0 1 0 45616322 1117413376 202191 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 272806 202191 2528 2416 0 269908 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 1091224 KiB
Current children cumulated memory: 808764 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 41903
/proc/meminfo: memFree=125651400/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1140612 memory=854800 CPUtime=400.79 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 196463 0 0 0 40043 36 0 0 20 0 1 0 45616322 1167986688 213700 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 285153 213700 2528 2416 0 282255 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 1140612 KiB
Current children cumulated memory: 854800 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 41905
/proc/meminfo: memFree=125563832/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1188956 memory=901940 CPUtime=460.59 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 207223 0 0 0 46021 38 0 0 20 0 1 0 45616322 1217490944 225485 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 297239 225485 2528 2416 0 294341 0
Current children cumulated CPU time: 460.59 s

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

Current children cumulated memory: 1712908 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 42019
/proc/meminfo: memFree=123275772/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=2069492 memory=1725248 CPUtime=2852.61 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 432771 0 0 0 285179 82 0 0 20 0 1 0 45616322 2119159808 431312 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 517373 431312 2784 2416 0 514475 0
Current children cumulated CPU time: 2852.61 s
Current children cumulated vsize: 2069492 KiB
Current children cumulated memory: 1725248 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 42021
/proc/meminfo: memFree=123271472/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=2069492 memory=1725376 CPUtime=2912.44 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 433210 0 0 0 291162 82 0 0 20 0 1 0 45616322 2119159808 431344 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 517373 431344 2784 2416 0 514475 0
Current children cumulated CPU time: 2912.44 s
Current children cumulated vsize: 2069492 KiB
Current children cumulated memory: 1725376 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 42023
/proc/meminfo: memFree=123239700/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=2069492 memory=1735688 CPUtime=2972.27 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 433476 0 0 0 297145 82 0 0 20 0 1 0 45616322 2119159808 433922 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 517373 433922 2784 2416 0 514475 0
Current children cumulated CPU time: 2972.27 s
Current children cumulated vsize: 2069492 KiB
Current children cumulated memory: 1735688 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 42025
/proc/meminfo: memFree=124434992/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1128380 CPUtime=3032.08 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 434912 0 0 0 303125 83 0 0 20 0 1 0 45616322 1428086784 282095 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 282095 2784 2416 0 345756 0
Current children cumulated CPU time: 3032.08 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1128380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 42027
/proc/meminfo: memFree=124420236/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1128380 CPUtime=3091.9 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435058 0 0 0 309107 83 0 0 20 0 1 0 45616322 1428086784 282095 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 282095 2784 2416 0 345756 0
Current children cumulated CPU time: 3091.9 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1128380 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 42029
/proc/meminfo: memFree=124445372/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1128380 CPUtime=3151.72 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435111 0 0 0 315089 83 0 0 20 0 1 0 45616322 1428086784 282095 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 282095 2784 2416 0 345756 0
Current children cumulated CPU time: 3151.72 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1128380 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 42031
/proc/meminfo: memFree=124429588/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1128380 CPUtime=3211.53 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435225 0 0 0 321070 83 0 0 20 0 1 0 45616322 1428086784 282095 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 282095 2784 2416 0 345756 0
Current children cumulated CPU time: 3211.53 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1128380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 42034
/proc/meminfo: memFree=124376780/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1128380 CPUtime=3271.35 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435281 0 0 0 327052 83 0 0 20 0 1 0 45616322 1428086784 282095 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 282095 2784 2416 0 345756 0
Current children cumulated CPU time: 3271.35 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1128380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 42036
/proc/meminfo: memFree=124369720/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1134536 CPUtime=3331.17 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435386 0 0 0 333033 84 0 0 20 0 1 0 45616322 1428086784 283634 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 283634 2784 2416 0 345756 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1134536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 42045
/proc/meminfo: memFree=124363216/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1134536 CPUtime=3390.98 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435466 0 0 0 339014 84 0 0 20 0 1 0 45616322 1428086784 283634 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 283634 2784 2416 0 345756 0
Current children cumulated CPU time: 3390.98 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1134536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 42047
/proc/meminfo: memFree=124375736/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1134536 CPUtime=3450.79 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435540 0 0 0 344995 84 0 0 20 0 1 0 45616322 1428086784 283634 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 283634 2784 2416 0 345756 0
Current children cumulated CPU time: 3450.79 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1134536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 42060
/proc/meminfo: memFree=124363428/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1134536 CPUtime=3510.61 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435664 0 0 0 350977 84 0 0 20 0 1 0 45616322 1428086784 283634 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 283634 2784 2416 0 345756 0
Current children cumulated CPU time: 3510.61 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1134536 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 42062
/proc/meminfo: memFree=124365308/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1134536 CPUtime=3570.42 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435694 0 0 0 356958 84 0 0 20 0 1 0 45616322 1428086784 283634 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 283634 2784 2416 0 345756 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1134536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.45 4.19 4.12 3/251 42125
/proc/meminfo: memFree=126716408/131250000 swapFree=33010684/33010684
[pid=41837] ppid=41834 vsize=1394616 memory=1134536 CPUtime=3600.04 cores=0,2
/proc/41837/stat : 41837 (CASHWMaxSAT-Dis) R 41834 41837 41087 0 -1 4194304 435741 0 0 0 359920 84 0 0 20 0 1 0 45616322 1428086784 283634 18446744073709551615 4198400 14093885 140728239416496 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 25460736 140728239421802 140728239421917 140728239421917 140728239427519 0
/proc/41837/statm: 348654 283634 2784 2416 0 345756 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1394616 KiB
Current children cumulated memory: 1134536 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.2 s, system=0.853359 s

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

Child status: 10

Real time (s): 3612.01
CPU time (s): 3600.05
CPU user time (s): 3599.2
CPU system time (s): 0.853359
CPU usage (%): 99.669
Max. virtual memory (cumulated for all children) (KiB): 2069492
Max. memory (cumulated for all children) (KiB): 1741832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.853359
maximum resident set size= 1741832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435743
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= 102
involuntary context switches= 4666


# summary of solver processes directly reported to runsolver:
#   pid: 41837
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.2
#   total CPU system time (s): 0.853359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87817 second user time and 15.5465 second system time

The end