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: 63794 MiB (62849 MiB free)
  memory of node 1: 64507 MiB (61260 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488608-1751332484/watcher-4488608-1751332484 -o /tmp/evaluation-result-4488608-1751332484/solver-4488608-1751332484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751327994-48434 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4488608-1751332484.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=50632, runsolver pid=50629

[startup+0.100071 s]*
/proc/loadavg: 4.17 4.23 4.16 5/252 50633
/proc/meminfo: memFree=127088552/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=29980 memory=21888 CPUtime=0.09 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 3451 0 0 0 8 1 0 0 20 0 1 0 48928180 30699520 5472 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 7495 5472 2272 2416 0 4597 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29980 KiB
Current children cumulated memory: 21888 KiB

[startup+0.213573 s]*
/proc/loadavg: 4.17 4.23 4.16 5/252 50633
/proc/meminfo: memFree=127088552/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=38744 memory=29824 CPUtime=0.2 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 5318 0 0 0 19 1 0 0 20 0 1 0 48928180 39673856 7456 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 9686 7456 2400 2416 0 6788 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38744 KiB
Current children cumulated memory: 29824 KiB

[startup+0.313474 s]*
/proc/loadavg: 4.17 4.23 4.16 5/252 50633
/proc/meminfo: memFree=127084812/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=44152 memory=35584 CPUtime=0.3 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 6658 0 0 0 28 2 0 0 20 0 1 0 48928180 45211648 8896 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 11038 8896 2496 2416 0 8140 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44152 KiB
Current children cumulated memory: 35584 KiB

[startup+0.700311 s]
/proc/loadavg: 4.17 4.23 4.16 5/252 50633
/proc/meminfo: memFree=127084812/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=45000 memory=36480 CPUtime=0.67 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 6884 0 0 0 65 2 0 0 20 0 1 0 48928180 46080000 9120 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 11250 9120 2496 2416 0 8352 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 45000 KiB
Current children cumulated memory: 36480 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.23 4.16 5/252 50633
/proc/meminfo: memFree=127080780/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=49864 memory=40832 CPUtime=1.47 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 8005 0 0 0 145 2 0 0 20 0 1 0 48928180 51060736 10208 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 12466 10208 2496 2416 0 9568 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 49864 KiB
Current children cumulated memory: 40832 KiB

[startup+3.11324 s]
/proc/loadavg: 4.15 4.23 4.15 5/252 50633
/proc/meminfo: memFree=127072880/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=55080 memory=45184 CPUtime=3.08 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 9091 0 0 0 306 2 0 0 20 0 1 0 48928180 56401920 11296 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 13770 11296 2496 2416 0 10872 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 55080 KiB
Current children cumulated memory: 45184 KiB

[startup+6.30031 s]
/proc/loadavg: 4.15 4.23 4.15 5/252 50633
/proc/meminfo: memFree=127040720/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=85728 memory=74624 CPUtime=6.26 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 16429 0 0 0 622 4 0 0 20 0 1 0 48928180 87785472 18656 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 21432 18656 2496 2416 0 18534 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 85728 KiB
Current children cumulated memory: 74624 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.22 4.15 5/252 50633
/proc/meminfo: memFree=126982856/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=120596 memory=105344 CPUtime=12.64 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 24133 0 0 0 1259 5 0 0 20 0 1 0 48928180 123490304 26336 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 30149 26336 2496 2416 0 27251 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 120596 KiB
Current children cumulated memory: 105344 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.21 4.15 5/252 50633
/proc/meminfo: memFree=126958636/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=120596 memory=105472 CPUtime=25.41 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 24298 0 0 0 2536 5 0 0 20 0 1 0 48928180 123490304 26368 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 30149 26368 2496 2416 0 27251 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 120596 KiB
Current children cumulated memory: 105472 KiB

[startup+51.1133 s]
/proc/loadavg: 4.18 4.22 4.16 5/253 50634
/proc/meminfo: memFree=126826944/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=172564 memory=156544 CPUtime=50.96 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 37257 0 0 0 5088 8 0 0 20 0 1 0 48928180 176705536 39136 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 43141 39136 2496 2416 0 40243 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 172564 KiB
Current children cumulated memory: 156544 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.18 4.15 5/252 50636
/proc/meminfo: memFree=126805456/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=182176 memory=165760 CPUtime=102 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 39581 0 0 0 10192 8 0 0 20 0 1 0 48928180 186548224 41440 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 45544 41440 2496 2416 0 42646 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 182176 KiB
Current children cumulated memory: 165760 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/252 50638
/proc/meminfo: memFree=126753168/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=244848 memory=226176 CPUtime=161.85 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 54703 0 0 0 16173 12 0 0 20 0 1 0 48928180 250724352 56544 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 61212 56544 2496 2416 0 58314 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 244848 KiB
Current children cumulated memory: 226176 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/253 50641
/proc/meminfo: memFree=126587536/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=301664 memory=280960 CPUtime=221.7 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 68419 0 0 0 22155 15 0 0 20 0 1 0 48928180 308903936 70240 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 75416 70240 2496 2416 0 72518 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 301664 KiB
Current children cumulated memory: 280960 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/252 50643
/proc/meminfo: memFree=126503076/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=311784 memory=290176 CPUtime=281.54 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 70756 0 0 0 28139 15 0 0 20 0 1 0 48928180 319266816 72544 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 77946 72544 2496 2416 0 75048 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 311784 KiB
Current children cumulated memory: 290176 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/253 50647
/proc/meminfo: memFree=126362424/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=322144 memory=301056 CPUtime=341.38 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 73525 0 0 0 34123 15 0 0 20 0 1 0 48928180 329875456 75264 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 80536 75264 2496 2416 0 77638 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 322144 KiB
Current children cumulated memory: 301056 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/252 50649
/proc/meminfo: memFree=126371972/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=343936 memory=322816 CPUtime=401.23 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 78969 0 0 0 40107 16 0 0 20 0 1 0 48928180 352190464 80704 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 85984 80704 2496 2416 0 83086 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 343936 KiB
Current children cumulated memory: 322816 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/253 50652
/proc/meminfo: memFree=126210300/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=355132 memory=334336 CPUtime=461.08 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 81886 0 0 0 46091 17 0 0 20 0 1 0 48928180 363655168 83584 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 88783 83584 2496 2416 0 85885 0
Current children cumulated CPU time: 461.08 s

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

Current children cumulated memory: 656872 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/251 50827
/proc/meminfo: memFree=127994508/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=668712 memory=661480 CPUtime=2854.57 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 157427 0 0 0 285424 33 0 0 20 0 1 0 48928180 684761088 165370 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 167178 165370 2496 2416 0 164280 0
Current children cumulated CPU time: 2854.57 s
Current children cumulated vsize: 668712 KiB
Current children cumulated memory: 661480 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.13 4.13 5/252 50830
/proc/meminfo: memFree=127973056/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=668712 memory=661480 CPUtime=2914.42 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 157429 0 0 0 291409 33 0 0 20 0 1 0 48928180 684761088 165370 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 167178 165370 2496 2416 0 164280 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 668712 KiB
Current children cumulated memory: 661480 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/252 50834
/proc/meminfo: memFree=127957208/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=668712 memory=661480 CPUtime=2974.27 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 157728 0 0 0 297393 34 0 0 20 0 1 0 48928180 684761088 165370 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 167178 165370 2496 2416 0 164280 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 668712 KiB
Current children cumulated memory: 661480 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/252 50880
/proc/meminfo: memFree=128352764/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=668712 memory=661480 CPUtime=3034.12 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 157729 0 0 0 303378 34 0 0 20 0 1 0 48928180 684761088 165370 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 167178 165370 2496 2416 0 164280 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 668712 KiB
Current children cumulated memory: 661480 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/252 50887
/proc/meminfo: memFree=128324100/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=668712 memory=661480 CPUtime=3093.97 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 158034 0 0 0 309363 34 0 0 20 0 1 0 48928180 684761088 165370 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 167178 165370 2496 2416 0 164280 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 668712 KiB
Current children cumulated memory: 661480 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/251 50889
/proc/meminfo: memFree=128284580/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=668712 memory=661480 CPUtime=3153.82 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 158037 0 0 0 315348 34 0 0 20 0 1 0 48928180 684761088 165370 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 167178 165370 2496 2416 0 164280 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 668712 KiB
Current children cumulated memory: 661480 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/252 50892
/proc/meminfo: memFree=128247688/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=672792 memory=665576 CPUtime=3213.67 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 159354 0 0 0 321333 34 0 0 20 0 1 0 48928180 688939008 166394 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 168198 166394 2496 2416 0 165300 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 672792 KiB
Current children cumulated memory: 665576 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/252 50939
/proc/meminfo: memFree=128543452/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=673816 memory=666600 CPUtime=3273.52 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 159621 0 0 0 327318 34 0 0 20 0 1 0 48928180 689987584 166650 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 168454 166650 2496 2416 0 165556 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 673816 KiB
Current children cumulated memory: 666600 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/252 50941
/proc/meminfo: memFree=128373404/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=673816 memory=666600 CPUtime=3333.37 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 159922 0 0 0 333303 34 0 0 20 0 1 0 48928180 689987584 166650 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 168454 166650 2496 2416 0 165556 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 673816 KiB
Current children cumulated memory: 666600 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 50945
/proc/meminfo: memFree=128240488/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=673816 memory=666600 CPUtime=3393.23 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 159922 0 0 0 339289 34 0 0 20 0 1 0 48928180 689987584 166650 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 168454 166650 2496 2416 0 165556 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 673816 KiB
Current children cumulated memory: 666600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/252 50947
/proc/meminfo: memFree=128205712/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=673816 memory=666600 CPUtime=3453.08 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 160223 0 0 0 345274 34 0 0 20 0 1 0 48928180 689987584 166650 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 168454 166650 2496 2416 0 165556 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 673816 KiB
Current children cumulated memory: 666600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 50949
/proc/meminfo: memFree=128129520/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=673816 memory=666600 CPUtime=3512.94 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 160226 0 0 0 351260 34 0 0 20 0 1 0 48928180 689987584 166650 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 168454 166650 2496 2416 0 165556 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 673816 KiB
Current children cumulated memory: 666600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/250 50953
/proc/meminfo: memFree=128058860/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=673816 memory=666600 CPUtime=3572.79 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 160526 0 0 0 357245 34 0 0 20 0 1 0 48928180 689987584 166650 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 168454 166650 2496 2416 0 165556 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 673816 KiB
Current children cumulated memory: 666600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 50954
/proc/meminfo: memFree=128033040/131382116 swapFree=33010684/33010684
[pid=50632] ppid=50629 vsize=659240 memory=652124 CPUtime=3600.02 cores=4,6
/proc/50632/stat : 50632 (CASHWMaxSAT-Dis) R 50629 50632 48423 0 -1 4194304 160533 0 0 0 359968 34 0 0 20 0 1 0 48928180 675061760 163031 18446744073709551615 4198400 14093885 140727736268560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 44331008 140727736273258 140727736273373 140727736273373 140727736278975 0
/proc/50632/statm: 164810 163031 2496 2416 0 161912 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 659240 KiB
Current children cumulated memory: 652124 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.69 s, system=0.350816 s

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

Child status: 10

Real time (s): 3609.6
CPU time (s): 3600.04
CPU user time (s): 3599.69
CPU system time (s): 0.350816
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 673816
Max. memory (cumulated for all children) (KiB): 666600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.69
system time used= 0.350816
maximum resident set size= 666600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160536
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= 76
involuntary context switches= 1778


# summary of solver processes directly reported to runsolver:
#   pid: 50632
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.69
#   total CPU system time (s): 0.350816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3882 second user time and 34.5064 second system time

The end