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: 63665 MiB (62710 MiB free)
  memory of node 1: 64507 MiB (63143 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484697-1751293748/watcher-4484697-1751293748 -o /tmp/evaluation-result-4484697-1751293748/solver-4484697-1751293748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751290134-45269 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484697-1751293748.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=45702, runsolver pid=45699
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.10 4.09 4.09 5/265 45703
/proc/meminfo: memFree=128834608/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=37924 memory=23424 CPUtime=0.09 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 5129 0 0 0 9 0 0 0 20 0 1 0 45052676 38834176 5856 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 9481 5856 864 2593 0 6374 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37924 KiB
Current children cumulated memory: 23424 KiB

[startup+0.20565 s]*
/proc/loadavg: 4.10 4.09 4.09 5/265 45703
/proc/meminfo: memFree=128810416/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=57028 memory=42624 CPUtime=0.2 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 9937 0 0 0 19 1 0 0 20 0 1 0 45052676 58396672 10656 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 14257 10656 864 2593 0 11150 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57028 KiB
Current children cumulated memory: 42624 KiB

[startup+0.305571 s]*
/proc/loadavg: 4.10 4.09 4.09 5/265 45703
/proc/meminfo: memFree=128790508/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=75340 memory=60928 CPUtime=0.3 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 14501 0 0 0 28 2 0 0 20 0 1 0 45052676 77148160 15232 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 18835 15232 864 2593 0 15728 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75340 KiB
Current children cumulated memory: 60928 KiB

[startup+0.700176 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 45703
/proc/meminfo: memFree=128712388/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=236156 memory=225752 CPUtime=0.69 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 54699 0 0 0 61 8 0 0 20 0 1 0 45052676 241823744 56438 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 59039 56438 2496 2593 0 55932 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 236156 KiB
Current children cumulated memory: 225752 KiB

[startup+1.50018 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 45703
/proc/meminfo: memFree=128527924/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=272320 memory=259784 CPUtime=1.48 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 72279 0 0 0 138 10 0 0 20 0 1 0 45052676 278855680 64946 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 68080 64946 2528 2593 0 64973 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 272320 KiB
Current children cumulated memory: 259784 KiB

[startup+3.10552 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 45703
/proc/meminfo: memFree=128187972/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=597208 memory=550140 CPUtime=3.08 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 108056 0 0 0 290 18 0 0 20 0 1 0 45052676 611540992 137535 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 149302 137535 2624 2593 0 146195 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 597208 KiB
Current children cumulated memory: 550140 KiB

[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 45703
/proc/meminfo: memFree=127895940/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=630292 memory=573692 CPUtime=6.28 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 113910 0 0 0 609 19 0 0 20 0 1 0 45052676 645419008 143423 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 157573 143423 2656 2593 0 154466 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 630292 KiB
Current children cumulated memory: 573692 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 45703
/proc/meminfo: memFree=127855468/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=669672 memory=585932 CPUtime=12.65 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 116947 0 0 0 1246 19 0 0 20 0 1 0 45052676 685744128 146483 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 167418 146483 2656 2593 0 164311 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 669672 KiB
Current children cumulated memory: 585932 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 45703
/proc/meminfo: memFree=127829444/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=706312 memory=591420 CPUtime=25.41 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 119390 0 0 0 2522 19 0 0 20 0 1 0 45052676 723263488 147855 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 176578 147855 2656 2593 0 173471 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 706312 KiB
Current children cumulated memory: 591420 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 45705
/proc/meminfo: memFree=127693088/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=938656 memory=691820 CPUtime=50.94 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 151476 0 0 0 5070 24 0 0 20 0 1 0 45052676 961183744 172955 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 234664 172955 2656 2593 0 231557 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 938656 KiB
Current children cumulated memory: 691820 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 45708
/proc/meminfo: memFree=127591964/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1018992 memory=771188 CPUtime=101.97 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 180785 0 0 0 10169 28 0 0 20 0 1 0 45052676 1043447808 192797 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 254748 192797 2656 2593 0 251641 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1018992 KiB
Current children cumulated memory: 771188 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 45710
/proc/meminfo: memFree=127526308/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1058668 memory=812672 CPUtime=161.76 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 200918 0 0 0 16144 32 0 0 20 0 1 0 45052676 1084076032 203168 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 264667 203168 2656 2593 0 261560 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1058668 KiB
Current children cumulated memory: 812672 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 45712
/proc/meminfo: memFree=127443772/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1134132 memory=887596 CPUtime=221.53 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 230525 0 0 0 22118 35 0 0 20 0 1 0 45052676 1161351168 221899 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 283533 221899 2656 2593 0 280426 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 1134132 KiB
Current children cumulated memory: 887596 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 45714
/proc/meminfo: memFree=127399976/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1179432 memory=932268 CPUtime=281.31 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 241703 0 0 0 28094 37 0 0 20 0 1 0 45052676 1207738368 233067 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 294858 233067 2656 2593 0 291751 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1179432 KiB
Current children cumulated memory: 932268 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 45717
/proc/meminfo: memFree=127322004/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1202780 memory=955864 CPUtime=341.08 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 255969 0 0 0 34070 38 0 0 20 0 1 0 45052676 1231646720 238966 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 300695 238966 2656 2593 0 297588 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 1202780 KiB
Current children cumulated memory: 955864 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 45719
/proc/meminfo: memFree=127238864/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1286356 memory=1032664 CPUtime=400.86 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 275165 0 0 0 40044 42 0 0 20 0 1 0 45052676 1317228544 258166 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 321589 258166 2656 2593 0 318482 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 1286356 KiB
Current children cumulated memory: 1032664 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 45721
/proc/meminfo: memFree=127243992/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1287572 memory=1034328 CPUtime=460.64 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 275586 0 0 0 46022 42 0 0 20 0 1 0 45052676 1318473728 258582 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 321893 258582 2656 2593 0 318786 0
Current children cumulated CPU time: 460.64 s

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

Current children cumulated memory: 2114016 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 45856
/proc/meminfo: memFree=125791824/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=2453012 memory=2121440 CPUtime=2853.52 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 628679 0 0 0 285248 104 0 0 20 0 1 0 45052676 2511884288 530360 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 613253 530360 2912 2593 0 610146 0
Current children cumulated CPU time: 2853.52 s
Current children cumulated vsize: 2453012 KiB
Current children cumulated memory: 2121440 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 45858
/proc/meminfo: memFree=125721132/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=2497916 memory=2130736 CPUtime=2913.37 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 629496 0 0 0 291232 105 0 0 20 0 1 0 45052676 2557865984 532684 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 624479 532684 2912 2593 0 621372 0
Current children cumulated CPU time: 2913.37 s
Current children cumulated vsize: 2497916 KiB
Current children cumulated memory: 2130736 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 45859
/proc/meminfo: memFree=125731380/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=2497916 memory=2143196 CPUtime=2973.21 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 629647 0 0 0 297216 105 0 0 20 0 1 0 45052676 2557865984 535799 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 624479 535799 2912 2593 0 621372 0
Current children cumulated CPU time: 2973.21 s
Current children cumulated vsize: 2497916 KiB
Current children cumulated memory: 2143196 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 45869
/proc/meminfo: memFree=126469940/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3033.05 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 629879 0 0 0 303196 109 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3102.3 s]
/proc/loadavg: 4.36 4.17 4.12 5/265 45872
/proc/meminfo: memFree=126387704/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3092.89 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 629962 0 0 0 309180 109 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3092.89 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/266 45875
/proc/meminfo: memFree=126435564/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3152.73 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630053 0 0 0 315164 109 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3152.73 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/266 45877
/proc/meminfo: memFree=126509352/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3212.57 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630115 0 0 0 321148 109 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/266 45879
/proc/meminfo: memFree=126456112/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3272.41 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630180 0 0 0 327132 109 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3272.41 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.18 4.11 5/265 45882
/proc/meminfo: memFree=126480420/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3332.27 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630268 0 0 0 333117 110 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.12 5/264 45884
/proc/meminfo: memFree=126448612/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3392.11 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630319 0 0 0 339101 110 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/264 45886
/proc/meminfo: memFree=126387380/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3451.95 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630359 0 0 0 345085 110 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 45888
/proc/meminfo: memFree=126447324/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3511.79 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630440 0 0 0 351069 110 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 45890
/proc/meminfo: memFree=126481208/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3571.63 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630453 0 0 0 357053 110 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.12 4.15 4.11 5/265 46034
/proc/meminfo: memFree=127849364/131249996 swapFree=33010684/33010684
[pid=45702] ppid=45699 vsize=1707444 memory=1422760 CPUtime=3600.05 cores=0,2
/proc/45702/stat : 45702 (CASHWMaxSAT-Dis) R 45699 45702 45252 0 -1 4194304 630511 0 0 0 359895 110 0 0 20 0 1 0 45052676 1748422656 355690 18446744073709551615 4198400 14817773 140737423777968 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 35065856 140737423784298 140737423784413 140737423784413 140737423790015 0
/proc/45702/statm: 426861 355690 2976 2593 0 423754 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1707444 KiB
Current children cumulated memory: 1422760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.95 s, system=1.12256 s

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

Child status: 10

Real time (s): 3610.82
CPU time (s): 3600.08
CPU user time (s): 3598.95
CPU system time (s): 1.12256
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 2497916
Max. memory (cumulated for all children) (KiB): 2145780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.95
system time used= 1.12256
maximum resident set size= 2145780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630513
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= 95
involuntary context switches= 8232


# summary of solver processes directly reported to runsolver:
#   pid: 45702
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.95
#   total CPU system time (s): 1.12256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04818 second user time and 15.8507 second system time

The end